Photo of Prof Michael Fisher

Prof Michael Fisher Ph.D. FBCS FIET

Professor of Computer Science Computer Science

Publications

2019

Certification of Safe and Trusted Robotic Inspection of Assets (Conference Paper)

Dinmohammadi, F., Page, V., Flynn, D., Robu, V., Fisher, M., Patchett, C., . . . Webster, M. (2018). Certification of Safe and Trusted Robotic Inspection of Assets. In 2018 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE (PHM-CHONGQING 2018) (pp. 276-284). doi:10.1109/PHM-Chongqing.2018.00054

DOI: 10.1109/PHM-Chongqing.2018.00054

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks (Journal article)

Webster, M. P., Breza, M., Dixon, C., Fisher, M., & McCann, J. (2019). Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electronic Communications of the EASST.

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots (Journal article)

Bremner, P., Dennis, L. A., Fisher, M., & Winfield, A. F. (2019). On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. PROCEEDINGS OF THE IEEE, 107(3), 541-561. doi:10.1109/JPROC.2019.2898267

DOI: 10.1109/JPROC.2019.2898267

2018

Autonomous Nuclear Waste Management (Journal article)

Aitken, J. M., Veres, S. M., Shaukat, A., Gao, Y., Cucco, E., Dennis, L. A., . . . Mort, P. E. (2018). Autonomous Nuclear Waste Management. IEEE INTELLIGENT SYSTEMS, 33(6), 47-55. doi:10.1109/MIS.2018.111144814

DOI: 10.1109/MIS.2018.111144814

Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems (Conference Paper)

Webster, M. P., Breza, M., Dixon, C., Fisher, M., & McCann, J. (2018, July 18). Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems. In International Workshop on Automated Verification of Critical Systems (AVoCS). Oxford University.

Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent (Conference Paper)

Alves, G., Dennis, L. A., & Fisher, M. (2018, July 18). Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent. In Workshop on Verification and Validation of Autonomous Systems. Oxford UK.

Making sense of the world: Framing models for trustworthy sensor-driven systems (Journal article)

Calder, M., Dobson, S., Fisher, M., & McCann, J. (2018). Making sense of the world: Framing models for trustworthy sensor-driven systems. Computers, 7(4). doi:10.3390/computers7040062

DOI: 10.3390/computers7040062

Moral Permissability of Actions in Smart Home Systems (Conference Paper)

Bentzen, M. M., Lindner, F., Dennis, L. A., & Fisher, M. (2018, July 19). Moral Permissability of Actions in Smart Home Systems. In Workshop on Robots, Morality, and Trust through the Verification Lens. Oxford, UK.

Recognising Assumption Violations in Autonomous Systems Verification (Conference Paper)

Ferrando, A., Dennis, L. A., Ancona, D., Fisher, M., & Mascardi, V. (2018). Recognising Assumption Violations in Autonomous Systems Verification. In Autonomous Agents and Multi-agent Systems (pp. 1933-1936). Stockholm, Sweden.

Slicing Agent Programs for more Efficient Verification (Conference Paper)

Winikoff, M., Dennis, L. A., & Fisher, M. (2018, July 14). Slicing Agent Programs for more Efficient Verification. In Engineering Multi-Agent Systems. Stockholm, Sweden.

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators (Journal article)

Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2018). The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Quantitative Evaluation of Systems. Retrieved from http://arxiv.org/abs/1709.04385v3

Verifying and Validating Autonomous Systems: an Integrated Approach (Conference Paper)

Ferrando, A., Dennis, L. A., Ancona, D., Fisher, M., & Mascardi, V. (2018, November 10). Verifying and Validating Autonomous Systems: an Integrated Approach. In Runtime Verification. Limassol, Cyprus.

2017

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks (Conference Paper)

Dennis, L. A., Slavkovik, M., & Fisher, M. (2016, August 30). "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. In Coordination, Organizations, Institutions and Norms in Agent Systems XII. The Hague, The Netherlands.

A General Architecture for Flexible Autonomous Systems (Conference Paper)

Dennis, L., Cucco, E., & Fisher, M. (2017, August 19). A General Architecture for Flexible Autonomous Systems. In IJCAI Workshop on Architectures for Generality and Autonomy. Melbourne, Australia.

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification (Conference Paper)

Fernandes, L. E. R., Custodio, V., Alves, G. V., & Fisher, M. (2017). A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. In L. Bulwahn, M. Kamali, & S. Linker (Eds.), Electronic Proceedings in Theoretical Computer Science Vol. 257 (pp. 35-42). doi:10.4204/EPTCS.257.5

DOI: 10.4204/EPTCS.257.5

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours (Conference Paper)

Gainer, P., Dixon, C. L., Dautenhahn, K., Fisher, M., Hustadt, U., Saunders, J., & Webster, M. (2017). CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. In Lecture Notes in Computer Science Vol. 10471 (pp. 119-133). Torino, Italy: Springer Nature. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-67113-0_8

Formal verification of autonomous vehicle platooning (Journal article)

Kamali, M., Dennis, L. A., McAree, O., Fisher, M., & Veres, S. M. (2017). Formal verification of autonomous vehicle platooning. SCIENCE OF COMPUTER PROGRAMMING, 148, 88-106. doi:10.1016/j.scico.2017.05.006

DOI: 10.1016/j.scico.2017.05.006

Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking (Conference Paper)

Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2017). Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking. In Springer LNCS. Berlin, Germany.

Towards Robots for Social Engagement (Conference Paper)

Cucco, E., Fisher, M. D., Dennis, L. A., Dixon, C. L., Webster, M., Broecker, B., . . . Tuyls, K. (n.d.). Towards Robots for Social Engagement. In Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces.

2013

Verifying Autonomous Systems (Journal article)

Fisher, M., Dennis, L., & Webster, M. (2013). Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56(9), 84-93. doi:10.1145/2494558

DOI: 10.1145/2494558

2011

An Introduction to Practical Formal Methods Using Temporal Logic (Book)

Fisher, M. (2011). An Introduction to Practical Formal Methods Using Temporal Logic. doi:10.1002/9781119991472

DOI: 10.1002/9781119991472

2004

Untitled (Journal article)

Heller, J. (2004). Untitled. JOURNAL OF CONTROLLED RELEASE, 100(1), 1-3. doi:10.1016/j.jconrel.2004.08.023

DOI: 10.1016/j.jconrel.2004.08.023

1992

A NORMAL-FORM FOR 1ST-ORDER TEMPORAL FORMULAS (Journal article)

FISHER, M. (1992). A NORMAL-FORM FOR 1ST-ORDER TEMPORAL FORMULAS. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 607, 370-384. Retrieved from http://gateway.webofknowledge.com/
Untitled Document