Photo of Prof Michael Fisher

Prof Michael Fisher Ph.D. FBCS FIET

Professor of Computer Science Computer Science

Publications

2019

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages (Conference Paper)

Farrell, M., Bradbury, M., Yuan, H., Fisher, M., Dennis, L., Dixon, C., & Maple, C. (2019). Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. In International Conference on Software Engineering and Formal Methods.

A Corroborative Approach to Verification and Validation of Human--Robot Teams (Journal article)

Webster, M., Western, D., Araiza-Illan, D., Dixon, C., Eder, K., Fisher, M., & Pipe, A. G. (n.d.). A Corroborative Approach to Verification and Validation of Human--Robot Teams. Retrieved from http://arxiv.org/abs/1608.07403v3

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management (Journal article)

Zhao, X., Osborne, M., Lantair, J., Robu, V., Flynn, D., Huang, X., . . . Ferrando, A. (n.d.). Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. Proceedings of 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway (September 2019). Retrieved from http://arxiv.org/abs/1909.03019v1

Modular Verification of Autonomous Space Robotics (Conference Paper)

Farrell, M., Cardoso, R. C., Dennis, L. A., Dixon, C., Fisher, M., Kourtis, G., . . . Webster, M. (n.d.). Modular Verification of Autonomous Space Robotics. Retrieved from http://arxiv.org/abs/1908.10738v1

Towards a Methodology to Test UAVs in Hazardous Environments (Conference Paper)

Page, V., Webster, M. P., Fisher, M., & Jump, M. (2019). Towards a Methodology to Test UAVs in Hazardous Environments. In ICAS 2019, The Fifteenth International Conference on Autonomic and Autonomous Systems.

Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks (Journal article)

Webster, M., 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, 76.

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

Slicing Agent Programs for More Efficient Verification (Conference Paper)

Winikoff, M., Dennis, L., & Fisher, M. (2019). Slicing Agent Programs for More Efficient Verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 11375 LNAI (pp. 139-157). doi:10.1007/978-3-030-25693-7_8

DOI: 10.1007/978-3-030-25693-7_8

Verifying and validating autonomous systems: Towards an integrated approach (Conference Paper)

Ferrando, A., Dennis, L. A., Ancona, D., Fisher, M., & Mascardi, V. (2019). Verifying and validating autonomous systems: Towards an integrated approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 11237 (pp. 263-281). doi:10.1007/978-3-030-03769-7_15

DOI: 10.1007/978-3-030-03769-7_15

Workshop Report: Space Security Scoping (Report)

Farrell, M. S., Bradbury, M., Fisher, M., & Maple, C. (n.d.). Workshop Report: Space Security Scoping. FAIR-SPACE Hub.

2018

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.

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.

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

Robotics and Integrated Formal Methods: Necessity Meets Opportunity (Conference Paper)

Farrell, M., Luckcuck, M., & Fisher, M. (2018). Robotics and Integrated Formal Methods: Necessity Meets Opportunity. In INTEGRATED FORMAL METHODS, IFM 2018 Vol. 11023 (pp. 161-171). doi:10.1007/978-3-319-98938-9_10

DOI: 10.1007/978-3-319-98938-9_10

2017

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

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

"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.

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

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.

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.

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/