Prof Michael Fisher

Professor of Computer Science

View graph of relations

Publications

  1. 2021
  2. Accepted/In press

    Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

    Ferrando, A., Dennis, L., Cardoso, R., Fisher, M., Ancona, D. & Mascardi, V., 11 Jan 2021, (Accepted/In press) In: ACM Transactions on Software Engineering and Methodology.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    An Interface for Programming Verifiable Autonomous Agents in ROS

    Cardoso, R., Ferrando, A., Dennis, L. & Fisher, M., 5 Jan 2021, EUMAS 2020, AT 2020: Multi-Agent Systems and Agreement Technologies. Springer Nature, (Lecture Notes in Computer Science; vol. 12520).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  4. 2020
  5. Accepted/In press

    Verifiable Machine Ethics in Changing Contexts

    Dennis, L., Benzen, M. M., Lindner, F. & Fisher, M., 2 Dec 2020, (Accepted/In press) 35th AAAI Conference on Artificial Intelligence .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  6. E-pub ahead of print

    Exploring the Effects of Environmental Conditions and Design Choices on IoT Systems Using Formal Methods

    Webster, M., Breza, M., Dixon, C., Fisher, M. & Mccann, J., 16 Aug 2020, In: Journal of Computational Science. p. 101183

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent

    Vaz Alves, G., Dennis, L. & Fisher, M., 13 Aug 2020, Formal Methods. FM 2019 International Workshops. FM 2019.. Springer Nature, (Lecture Notes in Computer Science; vol. 12232).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  8. E-pub ahead of print

    Heterogeneous Verification of an Autonomous Curiosity Rover

    Cardoso, R. C., Farrell, M., Luckcuck, M., Ferrando, A. & Fisher, M., 10 Aug 2020, NFM 2020: NASA Formal Methods. ( Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  9. Published

    A Safety Framework for Critical Systems Utilising Deep Neural Networks

    Zhao, X., Banks, A., Sharp, J., Robu, V., Flynn, D., Fisher, M. & Huang, X., 31 Jul 2020, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Proceedings. Casimiro, A., Ferreira, P., Ortmeier, F. & Bitsch, F. (eds.). Springer London, p. 244-259 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12234 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  10. Accepted/In press

    Multi-Scale Verification of Distributed Synchronisation

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 10 Jul 2020, (Accepted/In press) In: Formal Methods in System Design.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Verifiable Self-Aware Agent-Based Autonomous Systems

    Dennis, L. A. & Fisher, M., Jul 2020, In: IEEE. Proceedings.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    A corroborative approach to verification and validation of human–robot teams

    Webster, M., Western, D., Araiza-Illan, D., Dixon, C., Eder, K., Fisher, M. & Pipe, A. G., 1 Jan 2020, In: The International Journal of Robotics Research. 39, 1, p. 73-99 27 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 9 Next

Publications highlights

Research output: Contribution to journalArticlepeer-review

Research output: Contribution to journalArticlepeer-review

Research output: Contribution to journalArticlepeer-review

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Research output: Contribution to journalArticlepeer-review

Research output: Contribution to journalArticlepeer-review