Simon Burton

49 papers A* 2B 4C 3Misc 4Journal 17Unranked 17
YearRankTypeTitle / Venue / Authors
2025 — conf
A Case Study on Defining Traceable Machine Learning Safety Requirements for an Automotive Perception Component.
ISSREW
Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton, Victoria J. Hodge, Colin Paterson, Ibrahim Habli
2025 J jnl
Assuring the Safety of Reinforcement Learning Components: AMLAS-RL.
CoRR
Calum C. Imrie, Ioannis Stefanakos, Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton
2025 J jnl
INSYTE: A Classification Framework for Traditional to Agentic AI Systems.
ACM Trans. Auton. Adapt. Syst.
Zoë Porter, Radu Calinescu, Ernest Lim, Victoria J. Hodge, Philippa Ryan, Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, John Molloy, Helen Monkhouse, Phillip Morgan, Paul Noordhof, Colin Paterson, Isobel Standen, Jie Zou
2025 Misc conf
Insights from Railway Professionals: Rethinking Railway Assumptions Regarding Safety and Autonomy.
EDCC
Josh Hunter, John A. McDermid, Simon Burton
2025 J jnl
Insights from Railway Professionals: Rethinking Railway assumptions regarding safety and autonomy.
CoRR
Josh Hunter, John A. McDermid, Simon Burton
2025 J jnl
Milestone Determination for Autonomous Railway Operation.
CoRR
Josh Hunter, John A. McDermid, Simon Burton, Poppy Fynes, Mia Dempster
2024 — conf
A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic.
SAFECOMP (Workshops)
Benjamin Herd, João-Vitor Zacchi, Simon Burton
2024 Misc conf
Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems.
SAC
Tom Haider, Karsten Roscher, Benjamin Herd, Felippe Schmoeller Roza, Simon Burton
2024 Misc conf
Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety.
SAC
Benjamin Herd, Simon Burton
2024 J jnl
Emergence in Multi-Agent Systems: A Safety Perspective.
CoRR
Philipp Altmann, Julian Schönberger, Steffen Illium, Maximilian Zorn, Fabian Ritz, Tom Haider, Simon Burton, Thomas Gabor
2024 — conf
Emergence in Multi-agent Systems: A Safety Perspective.
ISoLA (2)
Philipp Altmann, Julian Schönberger, Steffen Illium, Maximilian Zorn, Fabian Ritz, Tom Haider, Simon Burton, Thomas Gabor
2024 J jnl
Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182).
Dagstuhl Reports
Simon Burton, Radu Calinescu, Raffaela Mirandola
2024 J jnl
Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology.
CoRR
Josh Hunter, John A. McDermid, Simon Burton
2024 — conf
Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements.
SAFECOMP (Workshops)
Simon Burton, Benjamin Herd, João-Vitor Zacchi
2023 — conf
AI for Safety: How to use Explainable Machine Learning Approaches for Safety Analyses.
AISafety/SafeRL@IJCAI
Iwo Kurzidem, Simon Burton, Philipp Schleiss
2023 J jnl
Addressing uncertainty in the safety assurance of machine-learning.
Frontiers Comput. Sci.
Simon Burton, Benjamin Herd
2023 — conf
Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models?
Tiny Papers @ ICLR
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2023 — conf
SafeSens - Uncertainty Quantification of Complex Perception Systems.
ITSC
Iwo Kurzidem, Simon Burton, Philipp Schleiss
2023 C conf
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications.
PRDC
Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton
2023 J jnl
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications.
CoRR
Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton
2023 — conf
Safety Assurance with Ensemble-based Uncertainty Estimation and overlapping alternative Predictions in Reinforcement Learning.
SafeAI@AAAI
Dirk Eilers, Simon Burton, Felippe Schmoeller da Roza, Karsten Roscher
2023 — conf
Statistical Property Testing for Generative Models.
Tiny Papers @ ICLR
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2022 J jnl
A causal model of safety assurance for machine learning.
CoRR
Simon Burton
2022 C conf
Automating Safety Argument Change Impact Analysis for Machine Learning Components.
PRDC
Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton
2022 J jnl
Facilitating Change Implementation for Continuous ML-Safety Assurance.
CoRR
Chih-Hong Cheng, Nguyen Anh Vu Doan, Balahari Balu, Franziska Schwaiger, Emmanouil Seferis, Simon Burton, Yassine Qamsane, Ankit Shukla, Yinchong Yang, Zhiliang Wu, Andreas Hapfelmeier, Ingo Thon
2022 B conf
Formally Compensating Performance Limitations for Imprecise 2D Object Detection.
SAFECOMP
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2022 — conf
Logically Sound Arguments for the Effectiveness of ML Safety Measures.
SAFECOMP Workshops
Chih-Hong Cheng, Tobias Schuster, Simon Burton
2022 J jnl
Safe AI - How is this Possible?
CoRR
Harald Rueß, Simon Burton
2022 — conf
Safety Assessment: From Black-Box to White-Box.
ISSRE Workshops
Iwo Kurzidem, Adam Misik, Philipp Schleiss, Simon Burton
2022 J jnl
Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection.
CoRR
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2021 — ed.
Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings
EDCC Workshops
Rasmus Adler, Amel Bennaceur, Simon Burton, Amleto Di Salle, Nicola Nostro, Rasmus Løvenstein Olsen, Selma Saidi, Philipp Schleiss, Daniel Schneider, Hans-Peter Schwefel
2021 Misc conf
Dynamic Risk Management for Safely Automating Connected Driving Maneuvers.
EDCC
Marta Grobelna, João-Vitor Zacchi, Philipp Schleiß, Simon Burton
2021 A* conf
Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems.
DAC
Wanli Chang, Shuai Zhao, Simon Burton, Haitong Wang, Ting Chen, Nan Chen, Neil C. Audsley
2021 J jnl
Logically Sound Arguments for the Effectiveness of ML Safety Measures.
CoRR
Chih-Hong Cheng, Tobias Schuster, Simon Burton
2021 B conf
Safety Assurance of Machine Learning for Chassis Control Functions.
SAFECOMP
Simon Burton, Iwo Kurzidem, Adrian Schwaiger, Philipp Schleiss, Michael Unterreiner, Torben Gräber, Philipp Becker
2021 J jnl
Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance.
Computer
Simon Burton, John A. McDermid, Philip Garnett, Rob Weaver
2020 J jnl
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective.
Artif. Intell.
Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, Phillip Morgan, Zoë Porter
2019 — conf
Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions.
SAFECOMP Workshops
Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins
2018 — conf
Challenges in Assuring Highly Complex, High Volume Safety-Critical Software.
SAFECOMP Workshops
John MacGregor, Simon Burton
2018 A* conf
Semi-automatic safety analysis and optimization.
DAC
Peter Munk, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton
2018 B conf
Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving.
SAFECOMP
Lydia Gauerhof, Peter Munk, Simon Burton
2017 — conf
Making the Case for Safety of Machine Learning in Highly Automated Driving.
SAFECOMP Workshops
Simon Burton, Lydia Gauerhof, Christian Heinzemann
2016 — conf
Dependability Challenges in the Model-Driven Engineering of Automotive Systems.
ISSRE Workshops
Rakshith Amarnath, Peter Munk, Eike Thaden, Arne Nordmann, Simon Burton
2012 — conf
Automotive functional safety = safety + security.
SECURIT
Simon Burton, Jürgen Likkei, Priyamvadha Vembar, Marko Wolf
2005 — conf
Detecting and resolving semantic pathologies in UML sequence diagrams.
ESEC/SIGSOFT FSE
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
2002 — —
Automated generation of high-integrity test suites from graphical specifications.
Simon Burton
2001 B conf
A Family-Oriented Software Development Process for Engine Controllers.
PROFES
Karen Allenby, Simon Burton, Darren Lee Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson
1999 J jnl
Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review).
Softw. Test. Verification Reliab.
Simon Burton
1998 C conf
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.
ICFEM
John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine