2021
Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., . . . Webster, M. (2021). An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10(2). doi:10.3390/robotics10020067DOI: 10.3390/robotics10020067
2020
Koeman, V., Dennis, L. A., Webster, M., Fisher, M., & Hindriks, K. (2020). The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems. In L. Dennis, R. Bordini, & Y. Lespérance (Eds.), Engineering Multi-Agent Systems. EMAS 2019 Vol. 12058 (pp. 152-172). Montreal, Canada: Springer. doi:10.1007/978-3-030-51417-4_8DOI: 10.1007/978-3-030-51417-4_8
Webster, M., Dennis, L. A., Dixon, C., Fisher, M., Stocker, R., & Sierhuis, M. (2020). Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. In 2020 IEEE AEROSPACE CONFERENCE (AEROCONF 2020). doi:10.1109/aero47225.2020.9172303DOI: 10.1109/aero47225.2020.9172303
Webster, M., Western, D., Araiza-Illan, D., Dixon, C., Eder, K., Fisher, M., & Pipe, A. (2020). A Corroborative Approach to Verification and Validation of Human–Robot Teams. International Journal of Robotics Research, 39(1), 73-99. doi:10.1177/0278364919883338DOI: 10.1177/0278364919883338
2019
Farrell, M., Cardoso, R. C., Dennis, L. A., Dixon, C., Fisher, M., Kourtis, G., . . . Webster, M. (2019). Modular Verification of Autonomous Space Robotics. Retrieved from http://arxiv.org/abs/1908.10738v1
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.
Dinmohammadi, F., Flynn, D., Fisher, M., Jump, M., Page, V., Robu, V., . . . Webster, M. P. (2019). Certification of Safe and Trusted Robotic Inspection of Assets. In https://ieeexplore.ieee.org/document/8603362/.
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.
2018
Zhao, X., Robu, V., Flynn, D., Dinmohammadi, F., Fisher, M., & Webster, M. (2019). Probabilistic Model Checking of Robots Deployed in Extreme Environments. In THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE (pp. 8066-8074). Retrieved from https://www.webofscience.com/
Fisher, M., Collins, E., Dennis, L., Luckcuck, M., Webster, M., Jump, M., . . . Zhao, X. (2018). Verifiable Self-Certifying Autonomous Systems. In 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE. doi:10.1109/issrew.2018.00028DOI: 10.1109/issrew.2018.00028
Webster, M. P., Breza, M., Dixon, C., Fisher, M., & McCann, J. (n.d.). PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol [Computer Software].
Dennis, L. A., Fisher, M., & Webster, M. (2018). Two-stage agent program verification. JOURNAL OF LOGIC AND COMPUTATION, 28(3), 499-523. doi:10.1093/logcom/exv002DOI: 10.1093/logcom/exv002
2017
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
2016
Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. L., . . . Saez-Pons, J. (2016). Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46(2), 186-196. doi:10.1109/THMS.2015.2425139DOI: 10.1109/THMS.2015.2425139
Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2016). Formal verification of ethical choices in autonomous systems. ROBOTICS AND AUTONOMOUS SYSTEMS, 77, 1-14. doi:10.1016/j.robot.2015.11.012DOI: 10.1016/j.robot.2015.11.012
2014
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation (Journal article)
Webster, M., Cameron, C., Fisher, M., & Jump, M. (2014). Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. Journal of Aerospace Information Systems, 11(05), 258-279. doi:10.2514/1.I010096DOI: 10.2514/1.I010096
Webster, M., Salem, M., Dixon, C., Fisher, M., & Dautenhahn, K. (2014). Formal Verification of an Autonomous Personal Robotic Assistant. In AIAA Symposium 2014 Workshop on Formal Verification in Human Machine Systems (FVHMS 2014) (pp. 0). Palo Alto, CA: AIAA. Retrieved from https://www.aaai.org/Library/Symposia/Spring/ss14-02.php
Ethical Choice in Unforeseen Circumstances (Conference Paper)
Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2014). Ethical Choice in Unforeseen Circumstances. In TOWARDS AUTONOMOUS ROBOTIC SYSTEMS Vol. 8069 (pp. 433-445). doi:10.1007/978-3-662-43645-5_45DOI: 10.1007/978-3-662-43645-5_45
Formal verification of an autonomous personal robotic assistant (Conference Paper)
Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. L., & Dautenhahn, K. (2014). Formal verification of an autonomous personal robotic assistant. In AAAI Spring Symposium - Technical Report Vol. SS-14-02 (pp. 74-79).
Safe and Trustworthy Autonomous Robotic Assistants (Media)
Webster, M., Dixon, C., & Fisher, M. (2014). Safe and Trustworthy Autonomous Robotic Assistants. [Paper].
Dixon, C., Webster, M., Saunders, J., Fisher, M., & Dautenhahn, K. (2014). “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours. In Unknown Conference (pp. 97-108). Springer International Publishing. doi:10.1007/978-3-319-10401-0_9DOI: 10.1007/978-3-319-10401-0_9
2013
Can You Trust Your Robotic Assistant? (Conference Paper)
Amirabdollahian, F., Dautenhahn, K., Dixon, C., Eder, K., Fisher, M., Koay, K. L., . . . Webster, M. (2013). Can You Trust Your Robotic Assistant?. In SOCIAL ROBOTICS, ICSR 2013 Vol. 8239 (pp. 571-573). Retrieved from https://www.webofscience.com/
Using Agent JPF to Build Models for Other Model Checkers (Conference Paper)
Dennis, L. A., Fisher, M., & Webster, M. (2013). Using Agent JPF to Build Models for Other Model Checkers. In COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV Vol. 8143 (pp. 273-289). Retrieved from https://www.webofscience.com/
Fisher, M., Dennis, L., & Webster, M. (2013). Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56(9), 84-93. doi:10.1145/2500468.2494558DOI: 10.1145/2500468.2494558
Ethical Choice in Unforeseen Circumstances (Conference Paper)
Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2013). Ethical Choice in Unforeseen Circumstances. In 14th Conference Towards Autonomous Robotic Systems (TAROS) (pp. 0). Oxford: Springer.
Safe and Trustworthy Autonomous Robots (Journal article)
Webster, M. (2013). Safe and Trustworthy Autonomous Robots. Space Safety Magazine, 0. Retrieved from http://www.spacesafetymagazine.com/
2012
<i>R</i>-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems (Journal article)
Webster, M., & Malcolm, G. (2012). <i>R</i>-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems. BIOSYSTEMS, 110(2), 119-129. doi:10.1016/j.biosystems.2012.07.003DOI: 10.1016/j.biosystems.2012.07.003
Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation (Conference Paper)
Webster, M., Cameron, N., Jump, M., & Fisher, M. (2012). Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. In Infotech@Aerospace 2012. American Institute of Aeronautics and Astronautics. doi:10.2514/6.2012-2573DOI: 10.2514/6.2012-2573
Model checking agent programming languages (Journal article)
Dennis, L. A., Fisher, M., Webster, M. P., & Bordini, R. H. (2012). Model checking agent programming languages. AUTOMATED SOFTWARE ENGINEERING, 19(1), 5-63. doi:10.1007/s10515-011-0088-xDOI: 10.1007/s10515-011-0088-x
2011
Certification of a civil UAS: A virtual engineering approach (Conference Paper)
Cameron, N., Webster, M., Jump, M., & Fisher, M. (2011). Certification of a civil UAS: A virtual engineering approach. In AIAA Modeling and Simulation Technologies Conference 2011 (pp. 1011-1025).
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems (Conference Paper)
Webster, M., Fisher, M., Cameron, N., & Jump, M. (2011). Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. In Unknown Conference (pp. 228-242). Springer Berlin Heidelberg. doi:10.1007/978-3-642-24270-0_17DOI: 10.1007/978-3-642-24270-0_17
Certification of a Civil UAS: A Virtual Engineering Approach (Conference Paper)
Cameron, N., Webster, M., Jump, M., & Fisher, M. (2011). Certification of a Civil UAS: A Virtual Engineering Approach. In AIAA Modeling and Simulation Technologies Conference. American Institute of Aeronautics and Astronautics. doi:10.2514/6.2011-6664DOI: 10.2514/6.2011-6664
Virtual Engineering Centre - Examples of Virtual Prototyping and Multidisciplinary Design Optimization (Conference Paper)
Cooper, J. E., & al, E. (2011). Virtual Engineering Centre - Examples of Virtual Prototyping and Multidisciplinary Design Optimization. In Virtual Prototyping of Affordable Military Vehicles Using Advanced MDO (pp. 1-28). Sofia, Bulgaria: NATO.
2009
Detection of metamorphic and virtualization-based malware using algebraic specification (Journal article)
Webster, M., & Malcolm, G. (2009). Detection of metamorphic and virtualization-based malware using algebraic specification. Journal in Computer Virology, 5(3), 221-245. doi:10.1007/s11416-008-0094-0DOI: 10.1007/s11416-008-0094-0
2008
Hierarchical components and entity-based modelling in artificial life (Conference Paper)
Webster, M., & Malcolm, G. (2008). Hierarchical components and entity-based modelling in artificial life. In Artificial Life XI: Proceedings of the 11th International Conference on the Simulation and Synthesis of Living Systems, ALIFE 2008 (pp. 678-685).
Formal affordance-based models of computer virus reproduction (Journal article)
Webster, M., & Malcolm, G. (2008). Formal affordance-based models of computer virus reproduction. Journal in Computer Virology, 4(4), 289-306. doi:10.1007/s11416-007-0079-4DOI: 10.1007/s11416-007-0079-4
Formal affordance-based models of computer virus reproduction (Journal article)
Webster, M., & Malcolm, G. (2008). Formal affordance-based models of computer virus reproduction. Journal in Computer Virology, 4(4), 289-306. doi:10.1007/s11416-007-0079-4DOI: 10.1007/s11416-007-0079-4
Webster, M. (2008). Formal Models of Reproduction: from Computer Viruses to Artificial Life. (PhD Thesis, University of Liverpool). Retrieved from http://www.csc.liv.ac.uk/~matt/
2007
Reproducer Classification Using the Theory of Affordances (Conference Paper)
Webster, M., & Malcolm, G. (2007). Reproducer Classification Using the Theory of Affordances. In 2007 IEEE Symposium on Artificial Life. IEEE. doi:10.1109/alife.2007.367786DOI: 10.1109/alife.2007.367786
Reproducer classification using the theory of affordances: Models and examples (Journal article)
Webster, M., & Malcolm, G. (2007). Reproducer classification using the theory of affordances: Models and examples. International Journal of Information Technology and Intelligent Computing.
Reproducer classification using the theory of affordances: models and examples (Journal article)
Webster, M., & Grant, M. (2007). Reproducer classification using the theory of affordances: models and examples. International Journal of Information Technology and Intelligent Computing, 2(2), 1-16. Retrieved from http://itic.wshe.lodz.pl/
2006
Detection of metamorphic computer viruses using algebraic specification (Journal article)
Webster, M., & Malcolm, G. (2006). Detection of metamorphic computer viruses using algebraic specification. Journal in Computer Virology, 2(3), 149-161. doi:10.1007/s11416-006-0023-zDOI: 10.1007/s11416-006-0023-z
Detection of metamorphic computer viruses using algebraic specification (Journal article)
Webster, M., & Malcolm, G. (2006). Detection of metamorphic computer viruses using algebraic specification. Journal in Computer Virology, 2(3), 149-161. doi:10.1007/s11416-006-0023-zDOI: 10.1007/s11416-006-0023-z