default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthew P. Webster
Person information
- affiliation: University of Liverpool, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j16]Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn
:
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn J. Behav. Robotics 12(1): 402-422 (2021)- [j15]Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster:
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10(2): 67 (2021) - [j14]Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher:
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Robotics 10(3): 97 (2021) - 2020
- [j13]Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39(1) (2020) - [j12]Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput. Sci. 45: 101183 (2020)
2010 – 2019
- 2019
- [c12]Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster:
Probabilistic Model Checking of Robots Deployed in Extreme Environments. AAAI 2019: 8066-8074 - [c11]Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks:
The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. EMAS@AAMAS 2019: 152-172 - [i3]Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster:
Modular Verification of Autonomous Space Robotics. CoRR abs/1908.10738 (2019) - 2018
- [j11]Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - [j10]Louise A. Dennis, Michael Fisher, Matt Webster:
Two-stage agent program verification. J. Log. Comput. 28(3): 499-523 (2018) - [c10]Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao:
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops 2018: 341-348 - [i2]Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster:
Probabilistic Model Checking of Robots Deployed in Extreme Environments. CoRR abs/1812.04128 (2018) - 2017
- [c9]Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster:
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS 2017: 119-133 - 2016
- [j9]Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster:
Formal verification of ethical choices in autonomous systems. Robotics Auton. Syst. 77: 1-14 (2016) - [j8]Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons:
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Trans. Hum. Mach. Syst. 46(2): 186-196 (2016) - [i1]Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR abs/1608.07403 (2016) - 2014
- [j7]Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump:
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. J. Aerosp. Inf. Syst. 11(5): 258-279 (2014) - [c8]Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn:
Formal Verification of an Autonomous Personal Robotic Assistant. AAAI Spring Symposia 2014 - [c7]Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn:
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. TAROS 2014: 97-108 - 2013
- [j6]Michael Fisher, Louise A. Dennis, Matthew P. Webster:
Verifying autonomous systems. Commun. ACM 56(9): 84-93 (2013) - [c6]Louise A. Dennis, Michael Fisher, Matthew P. Webster:
Using Agent JPF to Build Models for Other Model Checkers. CLIMA 2013: 273-289 - [c5]Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster:
Ethical Choice in Unforeseen Circumstances. TAROS 2013: 433-445 - 2012
- [j5]Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini:
Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012) - [j4]Matt Webster, Grant Malcolm:
R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems. Biosyst. 110(2): 119-129 (2012) - [c4]Matt Webster, Neil Cameron, Michael Jump, Michael Fisher:
Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. Infotech@Aerospace 2012 - 2011
- [c3]Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump:
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. SAFECOMP 2011: 228-242
2000 – 2009
- 2009
- [j3]Matt Webster, Grant Malcolm:
Detection of metamorphic and virtualization-based malware using algebraic specification. J. Comput. Virol. 5(3): 221-245 (2009) - 2008
- [b1]Matthew P. Webster:
Formal models of reproduction : from computer viruses to artificial life. University of Liverpool, UK, 2008 - [j2]Matt Webster, Grant Malcolm:
Formal affordance-based models of computer virus reproduction. J. Comput. Virol. 4(4): 289-306 (2008) - [c2]Matt Webster, Grant Malcolm:
Hierarchical Components and Entity-based Modelling in Artificial Life. ALIFE 2008: 678-685 - 2007
- [c1]Matt Webster, Grant Malcolm:
Reproducer Classification Using the Theory of Affordances. ALIFE 2007: 115-122 - 2006
- [j1]Matt Webster, Grant Malcolm:
Detection of metamorphic computer viruses using algebraic specification. J. Comput. Virol. 2(3): 149-161 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
