Simon Burton

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 23

Top Venues

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Josh Hunter, John A. McDermid, Simon Burton
Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology. CoRR (2024)
Simon Burton, Benjamin Herd
Addressing uncertainty in the safety assurance of machine-learning. Frontiers Comput. Sci. 5 (2023)
Chih-Hong Cheng, Tobias Schuster, Simon Burton
Logically Sound Arguments for the Effectiveness of ML Safety Measures. SAFECOMP Workshops (2022)
Simon Burton, Dan Browne
Limitations on Transversal Gates for Hypergraph Product Codes. IEEE Trans. Inf. Theory 68 (3) (2022)
Harald Rueß, Simon Burton
Safe AI - How is this Possible? CoRR (2022)
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
Facilitating Change Implementation for Continuous ML-Safety Assurance. CoRR (2022)
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection. CoRR (2022)
Simon Burton
A causal model of safety assurance for machine learning. CoRR (2022)
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Formally Compensating Performance Limitations for Imprecise 2D Object Detection. SAFECOMP (2022)
Marta Grobelna, Joao-Vitor Zacchi, Philipp Schleiß, Simon Burton
Dynamic Risk Management for Safely Automating Connected Driving Maneuvers. EDCC (2021)
Simon Burton
Entropy, Derivation Operators and Huffman Trees. CoRR (2021)
Chih-Hong Cheng, Tobias Schuster, Simon Burton
Logically Sound Arguments for the Effectiveness of ML Safety Measures. CoRR (2021)
Wanli Chang, Shuai Zhao, Simon Burton, Haitong Wang, Ting Chen, Nan Chen, Neil C. Audsley
Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems. DAC (2021)
Simon Burton, Iwo Kurzidem, Adrian Schwaiger, Philipp Schleiss, Michael Unterreiner, Torben Gräber, Philipp Becker
Safety Assurance of Machine Learning for Chassis Control Functions. SAFECOMP (2021)
Oscar Higgott, Matthew Wilson, James Hefford, James Dborin, Farhan Hanif, Simon Burton, Dan E. Browne
Optimal local unitary encoding circuits for the surface code. Quantum 5 (2021)
Simon Burton, John Alexander McDermid, Philip Garnett, Rob Weaver
Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance. Computer 54 (8) (2021)
Simon Burton, Ibrahim Habli, Tom Lawton, John McDermid, Phillip Morgan, Zoë Porter
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. Artif. Intell. 279 (2020)
Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins
Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. SAFECOMP Workshops (2019)
John MacGregor, Simon Burton
Challenges in Assuring Highly Complex, High Volume Safety-Critical Software. SAFECOMP Workshops (2018)
Lydia Gauerhof, Peter Munk, Simon Burton
Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving. SAFECOMP (2018)
Peter Munk, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton
Semi-automatic safety analysis and optimization. DAC (2018)
Simon Burton, Lydia Gauerhof, Christian Heinzemann
Making the Case for Safety of Machine Learning in Highly Automated Driving. SAFECOMP Workshops (2017)
Rakshith Amarnath, Peter Munk, Eike Thaden, Arne Nordmann, Simon Burton
Dependability Challenges in the Model-Driven Engineering of Automotive Systems. ISSRE Workshops (2016)
Simon Burton, Jürgen Likkei, Priyamvadha Vembar, Marko Wolf
Automotive functional safety = safety + security. SECURIT (2012)
Thomas Gärtner, Quoc V. Le, Simon Burton, Alexander J. Smola, S. V. N. Vishwanathan
Large-Scale Multiclass Transduction. NIPS (2005)
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
Detecting and resolving semantic pathologies in UML sequence diagrams. ESEC/SIGSOFT FSE (2005)
Karen Allenby, Simon Burton, Darren Lee Buttle, John McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson
A Family-Oriented Software Development Process for Engine Controllers. PROFES (2001)
Simon Burton
Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review). Softw. Test. Verification Reliab. 9 (2) (1999)
John McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM (1998)

Simon Burton.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simon Burton