Simon Burton

According to our database, Simon Burton authored at least 30 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications.

Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

SafeSens - Uncertainty Quantification of Complex Perception Systems.

Iwo Kurzidem, Simon Burton, Philipp Schleiss

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models?

Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

Proceedings of the First Tiny Papers Track at ICLR 2023, 2023

Statistical Property Testing for Generative Models.

Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

Proceedings of the First Tiny Papers Track at ICLR 2023, 2023

AI for Safety: How to use Explainable Machine Learning Approaches for Safety Analyses.

Iwo Kurzidem, Simon Burton, Philipp Schleiss

Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), 2023

Safety Assurance with Ensemble-based Uncertainty Estimation and overlapping alternative Predictions in Reinforcement Learning.

Dirk Eilers, Simon Burton, Felippe Schmoeller da Roza, Karsten Roscher

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

Facilitating Change Implementation for Continuous ML-Safety Assurance.

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

CoRR, 2022

Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection.

Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

CoRR, 2022

Safe AI - How is this Possible?

Harald Rueß, Simon Burton

CoRR, 2022

A causal model of safety assurance for machine learning.

Simon Burton

CoRR, 2022

Formally Compensating Performance Limitations for Imprecise 2D Object Detection.

Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

Proceedings of the Computer Safety, Reliability, and Security, 2022

Logically Sound Arguments for the Effectiveness of ML Safety Measures.

Chih-Hong Cheng, Tobias Schuster, Simon Burton

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

Automating Safety Argument Change Impact Analysis for Machine Learning Components.

Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Safety Assessment: From Black-Box to White-Box.

Iwo Kurzidem, Adam Misik, Philipp Schleiss, Simon Burton

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021

Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance.

Simon Burton, John A. McDermid, Philip Garnett, Rob Weaver

Computer, 2021

Safety Assurance of Machine Learning for Chassis Control Functions.

Simon Burton, Iwo Kurzidem, Adrian Schwaiger, Philipp Schleiss, Michael Unterreiner, Torben Gräber, Philipp Becker

Proceedings of the Computer Safety, Reliability, and Security, 2021

Dynamic Risk Management for Safely Automating Connected Driving Maneuvers.

Marta Grobelna, João-Vitor Zacchi, Philipp Schleiß, Simon Burton

Proceedings of the 17th European Dependable Computing Conference, 2021

Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems.

Wanli Chang, Shuai Zhao, Simon Burton, Haitong Wang, Ting Chen, Nan Chen, Neil C. Audsley

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective.

Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, Phillip Morgan, Zoë Porter

Artif. Intell., 2020

2019

Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions.

Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins

Proceedings of the Computer Safety, Reliability, and Security, 2019

2018

Challenges in Assuring Highly Complex, High Volume Safety-Critical Software.

John MacGregor, Simon Burton

Proceedings of the Computer Safety, Reliability, and Security, 2018

Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving.

Lydia Gauerhof, Peter Munk, Simon Burton

Proceedings of the Computer Safety, Reliability, and Security, 2018

Semi-automatic safety analysis and optimization.

Peter Munk, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Making the Case for Safety of Machine Learning in Highly Automated Driving.

Simon Burton, Lydia Gauerhof, Christian Heinzemann

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

Dependability Challenges in the Model-Driven Engineering of Automotive Systems.

Rakshith Amarnath, Peter Munk, Eike Thaden, Arne Nordmann, Simon Burton

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2012

Automotive functional safety = safety + security.

Simon Burton, Jürgen Likkei, Priyamvadha Vembar, Marko Wolf

Proceedings of the First International Conference on Security of Internet of Things, 2012

2005

Detecting and resolving semantic pathologies in UML sequence diagrams.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

2002

Automated generation of high-integrity test suites from graphical specifications.

Simon Burton

PhD thesis, 2002

2001

A Family-Oriented Software Development Process for Engine Controllers.

Karen Allenby, Simon Burton, Darren Lee Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson

Proceedings of the Product Focused Software Process Improvement, 2001

1998

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.

John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998