default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRob Alexander
Person information
- affiliation: The University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c27]Nawshin Mannan Proma
, Rob Alexander:
Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation. LADC 2023: 208-213- 2022
- [j9]Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law:
Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. 218: 102809 (2022) - 2021
- [j8]James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law:
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers Robotics AI 8: 758099 (2021) - [j7]Victoria J. Hodge, Richard Hawkins, Rob Alexander:
Deep reinforcement learning for drone navigation using sensor data. Neural Comput. Appl. 33(6): 2015-2033 (2021) - [c26]Vibhu Gautam, Youcef Gheraibia, Rob Alexander, Richard Hawkins:
Runtime Decision Making Under Uncertainty in Autonomous Vehicles. SafeAI@AAAI 2021 - [c25]Zaid Tahir, Rob Alexander:
Intersection Focused Situation Coverage-Based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA. MESAS 2021: 191-212 - [c24]Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli:
Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). MobiHealth 2021: 106-118 - [c23]Benjamin Lesage, Rob Alexander:
SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. SAFECOMP 2021: 195-209 - [i5]Zaid Tahir, Rob Alexander:
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review. CoRR abs/2103.04364 (2021) - [i4]Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law:
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR abs/2106.06604 (2021) - [i3]Zaid Tahir, Rob Alexander:
Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA. CoRR abs/2112.14706 (2021) - 2020
- [c22]Zaid Tahir, Rob Alexander:
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review. AITest 2020: 23-30 - [i2]Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton:
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR abs/2005.08381 (2020)
2010 – 2019
- 2019
- [i1]Heather Hawkins, Rob Alexander:
Situation Coverage Testing for a Simulated Autonomous Car - an Initial Case Study. CoRR abs/1911.06501 (2019) - 2018
- [j6]Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo:
Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Trans. Reliab. 67(4): 1406-1419 (2018) - 2017
- [c21]Hao Wei, Jon Timmis, Rob Alexander:
Evolving test environments to identify faults in swarm robotics algorithms. CEC 2017: 929-935 - [c20]Chris Leong, Tim Kelly, Robert Alexander:
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. CREST@ETAPS 2017: 56-71 - 2016
- [j5]Xueyi Zou, Rob Alexander, John A. McDermid:
Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. J. Aerosp. Inf. Syst. 13(5): 191-203 (2016) - [c19]Hannes Bend, Shawn Slater, Benjamin Knapp, Nuo Ma, Robert Alexander, Bella Shah, Ryan Jayne:
Mindful Technologies Research and Developments in Science and Art. AAAI Spring Symposia 2016 - [c18]Xueyi Zou, Rob Alexander, John A. McDermid:
On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. DSN Workshops 2016: 192-199 - [c17]Ralph Eastwood, Robert Alexander, Tim Kelly:
Safe Multi-objective Planning with a Posteriori Preferences. HASE 2016: 78-85 - [c16]Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander:
A Systematic Approach for Designing Mutation Operators for MDE Languages. MoDeVVa@MoDELS 2016: 54-59 - 2015
- [j4]Simon M. Poulding, Robert Alexander, John A. Clark, Mark J. Hadley:
The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. J. Syst. Softw. 103: 296-310 (2015) - [j3]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Subdomain-based test data generation. J. Syst. Softw. 103: 328-342 (2015) - [c15]Zhan Huang, Rob Alexander:
Semantic Mutation Testing for Multi-agent Systems. EMAS@AAMAS 2015: 131-152 - 2014
- [j2]Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding:
Evolving robust networks for systems-of-systems: is it viable for large networks? Empir. Softw. Eng. 19(5): 1502-1530 (2014) - [j1]Andrew Rae, Rob Alexander, John A. McDermid:
Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment. Reliab. Eng. Syst. Saf. 125: 67-81 (2014) - [c14]Zhan Huang, Rob Alexander, John A. Clark:
Mutation Testing for Jason Agents. EMAS@AAMAS 2014: 309-327 - [c13]Kester Dean Clegg, Robert Alexander:
Searching for Risk in Large Complex Spaces. EvoApplications 2014: 753-762 - [c12]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Probability-Based Semantic Interpretation of Mutants. ICST Workshops 2014: 186-195 - [c11]Xueyi Zou, Rob Alexander, John A. McDermid:
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. SAFECOMP 2014: 33-48 - 2013
- [c10]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. APSEC (1) 2013: 91-98 - [c9]Kester Dean Clegg, Robert Alexander:
The discovery and quantification of risk in high dimensional search spaces. GECCO (Companion) 2013: 175-176 - [c8]Simon M. Poulding, Robert Alexander, John A. Clark, Mark J. Hadley:
The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. GECCO 2013: 1477-1484 - [c7]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Using Mutation Analysis to Evolve Subdomains for Random Testing. ICST Workshops 2013: 53-62 - [c6]James Arnold, Rob Alexander:
Testing Autonomous Robot Control Software Using Procedural Content Generation. SAFECOMP 2013: 33-44 - [c5]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Efficient Subdomains for Random Testing. SSBSE 2013: 251-256 - 2012
- [c4]Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding:
Evolving Robust Networks for Systems-of-Systems. SSBSE 2012: 30-44 - 2011
- [c3]Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly:
Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP 2011: 185-198 - 2010
- [c2]Jonathan M. Aitken, Robert Alexander, Tim Kelly:
A case for dynamic risk assessment in NEC systems of systems. SoSE 2010: 1-6
2000 – 2009
- 2009
- [p1]Robert Alexander, Martin Hall-May, Georgios Despotou, Tim Kelly:
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems. Safety and Security in Multiagent Systems 2009: 49-66 - 2006
- [c1]Robert Alexander, Dimitar Kazakov, Tim Kelly:
System of Systems Hazard Analysis Using Simulation and Machine Learning. SAFECOMP 2006: 1-14
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-04-24 23:02 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:
