Photo of Dr Matt Webster

Dr Matt Webster B.Sc. (Hons.), Ph.D., MIET

Research Associate Computer Science

    Publications

    2019

    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

    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.

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

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

    2018

    Probabilistic Model Checking of Robots Deployed in Extreme Environments (Conference Paper)

    Zhao, X., Robu, V., Flynn, D., Dinmohammadi, F., Fisher, M., & Webster, M. P. (n.d.). Probabilistic Model Checking of Robots Deployed in Extreme Environments. In 33rd AAAI Conference on Artificial Intelligence. Honolulu, Hawaii, 2019. Retrieved from https://arxiv.org/abs/1812.04128

    Verifiable Self-Certifying Autonomous Systems (Conference Paper)

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

    DOI: 10.1109/issrew.2018.00028

    PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol (Software / Code)

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

    2017

    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

    2016

    Formal verification of ethical choices in autonomous systems (Journal article)

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

    DOI: 10.1016/j.robot.2015.11.012

    2015

    Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study (Journal article)

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

    DOI: 10.1109/THMS.2015.2425139

    2014

    Two-stage agent program verification (Journal article)

    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/exv002

    DOI: 10.1093/logcom/exv002

    Formal Verification of an Autonomous Personal Robotic Assistant (Conference Paper)

    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_45

    DOI: 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).

    Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation (Journal article)

    Webster, M., Cameron, N., Fisher, M., & Jump, M. (2014). Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 11(5), 258-278. doi:10.2514/1.I010096

    DOI: 10.2514/1.I010096

    Safe and Trustworthy Autonomous Robotic Assistants (Media)

    Webster, M., Dixon, C., & Fisher, M. (2014). Safe and Trustworthy Autonomous Robotic Assistants. [Paper].

    “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours (Conference 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_9

    DOI: 10.1007/978-3-319-10401-0_9

    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/2500468.2494558

    DOI: 10.1145/2500468.2494558

    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 http://gateway.webofknowledge.com/

    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/

    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 http://gateway.webofknowledge.com/

    2012

    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-2573

    DOI: 10.2514/6.2012-2573

    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-6664

    DOI: 10.2514/6.2011-6664

    R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems (Journal article)

    Webster, M., & Malcolm, G. (2012). R-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.003

    DOI: 10.1016/j.biosystems.2012.07.003

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

    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-x

    DOI: 10.1007/s10515-011-0088-x

    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_17

    DOI: 10.1007/978-3-642-24270-0_17

    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-0

    DOI: 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 Models of Reproduction: from Computer Viruses to Artificial Life (Thesis / Dissertation)

    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/

    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-4

    DOI: 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-4

    DOI: 10.1007/s11416-007-0079-4

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

    DOI: 10.1109/alife.2007.367786

    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-z

    DOI: 10.1007/s11416-006-0023-z

    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-z

    DOI: 10.1007/s11416-006-0023-z