Matt Webster
Matt Webster
Postdoc in Computer Science, University of Liverpool
Geverifieerd e-mailadres voor liverpool.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19 (1), 5-63, 2012
1112012
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
1022013
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
952016
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
532011
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
452011
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
362014
Detection of metamorphic computer viruses using algebraic specification
M Webster, G Malcolm
Journal in Computer Virology 2 (3), 149-161, 2006
362006
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
342015
Formal verification of an autonomous personal robotic assistant
M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ...
2014 AAAI Spring Symposium Series, 2014
332014
Detection of metamorphic and virtualization-based malware using algebraic specification
M Webster, G Malcolm
Journal in computer virology 5 (3), 221-245, 2009
262009
“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
202014
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
182010
Ethical choice in unforeseen circumstances
L Dennis, M Fisher, M Slavkovik, M Webster
Conference towards autonomous robotic systems, 433-445, 2013
162013
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
152008
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
132012
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
132011
Algebraic specification of computer viruses and their environments
M Webster
Selected Papers from the First Conference on Algebra and Coalgebra in …, 2005
132005
Reproducer classification using the theory of affordances
M Webster, G Malcolm
2007 IEEE Symposium on Artificial Life, 115-122, 2007
122007
Sensors for in-flight lightning detection on aircraft
V Stelmashuk, APJ Van Deursen, M Webster
2008 International Symposium on Electromagnetic Compatibility-EMC Europe, 1-5, 2008
102008
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
82020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20