| Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012 | 129 | 2012 |
| Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013 | 123 | 2013 |
| Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016 | 120 | 2016 |
| Formal methods for the certification of autonomous unmanned aircraft systems M Webster, M Fisher, N Cameron, M Jump International Conference on Computer Safety, Reliability, and Security, 228-242, 2011 | 63 | 2011 |
| Toward reliable autonomous robotic assistants through formal verification: A case study M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... IEEE Transactions on Human-Machine Systems 46 (2), 186-196, 2015 | 50 | 2015 |
| The magazine archive includes every article published in Communications of the ACM for over the past 50 years. M Stonebraker Communications of the ACM 54 (6), 72-80, 2011 | 47 | 2011 |
| Generating certification evidence for autonomous unmanned aircraft using model checking and simulation M Webster, N Cameron, M Fisher, M Jump Journal of Aerospace Information Systems 11 (5), 258-279, 2014 | 46 | 2014 |
| Formal verification of an autonomous personal robotic assistant M Webster, C Dixon, M Fisher, M Salem, J Saunders, K Koay, ... Formal Verification and Modeling in Human-Machine Systems, 2014 | 41 | 2014 |
| Detection of metamorphic computer viruses using algebraic specification M Webster, G Malcolm Journal in Computer Virology 2 (3), 149-161, 2006 | 37 | 2006 |
| Detection of metamorphic and virtualization-based malware using algebraic specification M Webster, G Malcolm Journal in computer virology 5 (3), 221-245, 2009 | 27 | 2009 |
| A corroborative approach to verification and validation of human–robot teams M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe The International Journal of Robotics Research 39 (1), 73-99, 2020 | 22 | 2020 |
| “The fridge door is open”–Temporal Verification of a Robotic Assistant’s Behaviours C Dixon, M Webster, J Saunders, M Fisher, K Dautenhahn Conference Towards Autonomous Robotic Systems, 97-108, 2014 | 21 | 2014 |
| Ethical choice in unforeseen circumstances L Dennis, M Fisher, M Slavkovik, M Webster Conference towards autonomous robotic systems, 433-445, 2013 | 18 | 2013 |
| Orbiter BLT flight experiment wind tunnel simulations: Nearfield flowfield imaging and surface thermography P Danehy, C Ivey, B Bathel, J Inman, S Jones, N Jiang, M Webster, ... 48th AIAA Aerospace Sciences Meeting Including the New Horizons Forum and …, 2010 | 18 | 2010 |
| Towards certification of autonomous unmanned aircraft using formal model checking and simulation M Webster, N Cameron, M Jump, M Fisher Infotech@ Aerospace 2012, 2573, 2012 | 16 | 2012 |
| Probabilistic model checking of robots deployed in extreme environments X Zhao, V Robu, D Flynn, F Dinmohammadi, M Fisher, M Webster Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 8066-8074, 2019 | 15 | 2019 |
| Supercompilation for equivalence testing in metamorphic computer viruses detection A Lisitsa, M Webster Proceedings of the First International Workshop on Metacomputation in Russia 226, 2008 | 15 | 2008 |
| Certification of a civil UAS: A virtual engineering approach N Cameron, M Webster, M Jump, M Fisher AIAA Modeling and Simulation Technologies Conference, 6664, 2011 | 14 | 2011 |
| Verifiable self-certifying autonomous systems M Fisher, E Collins, L Dennis, M Luckcuck, M Webster, M Jump, V Page, ... 2018 IEEE International Symposium on Software Reliability Engineering …, 2018 | 13 | 2018 |
| Reproducer classification using the theory of affordances M Webster, G Malcolm 2007 IEEE Symposium on Artificial Life, 115-122, 2007 | 12 | 2007 |
