Rob Alexander
Rob Alexander
Lecturer in High Integrity Systems Engineering
Geverifieerd e-mailadres voor - Homepage
Geciteerd door
Geciteerd door
Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment
A Rae, R Alexander, J McDermid
Reliability Engineering & System Safety 125, 67-81, 2014
Using a software safety argument pattern catalogue: Two case studies
R Hawkins, K Clegg, R Alexander, T Kelly
International Conference on Computer Safety, Reliability, and Security, 185-198, 2011
Supporting systems of systems hazard analysis using multi-agent simulation
R Alexander, T Kelly
Safety Science 51 (1), 302-318, 2013
Safety cases for advanced control software: Safety case patterns
R Alexander, TP Kelly, Z Kurd, JA McDermid
Department of Computer Science, University of York, 2007
Security Assurance Cases: Motivation and the State of the Art
R Alexander, R Hawkins, T Kelly
Forecasts or fortune-telling: When are expert judgements of safety risk valid?
A Rae, R Alexander
Safety Science 99, 156-165, 2017
Testing autonomous robot control software using procedural content generation
J Arnold, R Alexander
International Conference on Computer Safety, Reliability, and Security, 33-44, 2013
Using simulation for systems of systems hazard analysis
RD Alexander
University of York, Department of Computer Science, 2007
Characterisation of systems of systems failures
R Alexander, M Hall-May, T Kelly
Proceedings of the 22nd International System Safety Conference, 2004
Situation coverage–a coverage criterion for testing autonomous robots
R Alexander, H Hawkins, D Rae
Department of Computer Science, University of York, 2015
Equivalence arguments for complex systems simulations-a case-study
T Ghetiu, RD Alexander, PS Andrews, FAC Polack, J Bown
Complex Systems Simulation and Modelling Workshop (CoSMoS 2009), 101-140, 2009
Safety validation of sense and avoid algorithms using simulation and evolutionary search
X Zou, R Alexander, J McDermid
International Conference on Computer Safety, Reliability, and Security, 33-48, 2014
Deriving safety requirements for autonomous systems
R Alexander, N Herbert, T Kelly
4th SEAS DTC Technical Conference, 2009
The Science and Superstition of Quantitative Risk Assessment
A Rae, J McDermid, R Alexander
Proceedings of PSAM 11 & ESREL 2012, 2012
Addressing challenges of hazard analysis in systems of systems
G Despotou, R Alexander, T Kelly
2009 3rd Annual IEEE Systems Conference, 167-172, 2009
The Optimisation of Stochastic Grammars to Enable Cost-Effective Probabilistic Structural Testing
SM Poulding, R Alexander, JA Clark, MJ Hadley
GECCO 2013, 2013
Certification of autonomous systems under UK military safety standards
RD Alexander, M Hall-May, TP Kelly
Safety Lifecycle Activities for Autonomous Systems Development
R Alexander, T Kelly, B Gorry
5th SEAS DTC Technical Conference, 2010
On the validation of a uav collision avoidance system developed by model-based optimization: Challenges and a tentative partial solution
X Zou, R Alexander, J McDermid
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution
X Zou, R Alexander, J McDermid
2nd International Workshop on Safety and Security of Intelligent Vehicles, 2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20