Simon Burton - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2023

Addressing uncertainty in the safety assurance of machine-learningSimon Burton, Benjamin Herd. fcomp, 5, 2023. [doi]

2022

Limitations on Transversal Gates for Hypergraph Product CodesSimon Burton, Dan Browne. TIT, 68(3):1772-1781, 2022. [doi]

Logically Sound Arguments for the Effectiveness of ML Safety MeasuresChih-Hong Cheng, Tobias Schuster, Simon Burton. safecomp 2022: 343-350 [doi]

Formally Compensating Performance Limitations for Imprecise 2D Object DetectionTobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng. safecomp 2022: 269-283 [doi]

2021

Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous SystemsWanli Chang 0001, Shuai Zhao 0004, Simon Burton, Haitong Wang, Ting Chen, Nan Chen, Neil C. Audsley. dac 2021: 1319-1322 [doi]

Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety AssuranceSimon Burton, John Alexander McDermid, Philip Garnett, Rob Weaver. Computer, 54(8):22-32, 2021. [doi]

Safety Assurance of Machine Learning for Chassis Control FunctionsSimon Burton, Iwo Kurzidem, Adrian Schwaiger, Philipp Schleiss, Michael Unterreiner, Torben Gräber, Philipp Becker. safecomp 2021: 149-162 [doi]

Dynamic Risk Management for Safely Automating Connected Driving ManeuversMarta Grobelna, Joao-Vitor Zacchi, Philipp Schleiß, Simon Burton. edcc 2021: 9-16 [doi]

Optimal local unitary encoding circuits for the surface codeOscar Higgott, Matthew Wilson, James Hefford, James Dborin, Farhan Hanif, Simon Burton, Dan E. Browne. quantum, 5:517, 2021. [doi]

2020

Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspectiveSimon Burton, Ibrahim Habli, Tom Lawton, John McDermid, Phillip Morgan, Zoë Porter. ai, 279, 2020. [doi]

2019

Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving FunctionsSimon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins. safecomp 2019: 365-377 [doi]

2018

2017

Making the Case for Safety of Machine Learning in Highly Automated DrivingSimon Burton, Lydia Gauerhof, Christian Heinzemann. safecomp 2017: 5-16 [doi]

2016

Dependability Challenges in the Model-Driven Engineering of Automotive SystemsRakshith Amarnath, Peter Munk, Eike Thaden, Arne Nordmann, Simon Burton. issre 2016: 1-4 [doi]

2012

Automotive functional safety = safety + securitySimon Burton, Jürgen Likkei, Priyamvadha Vembar, Marko Wolf. securit 2012: 150-159 [doi]

2005

Detecting and resolving semantic pathologies in UML sequence diagramsPaul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton. ESEC/FSE 2005: 50-59 [doi]

Large-Scale Multiclass TransductionThomas Gärtner, Quoc V. Le, Simon Burton, Alex J. Smola, S. V. N. Vishwanathan. nips 2005: 411-418 [doi]

2002

Automated generation of high-integrity test suites from graphical specificationsSimon Burton. PhD thesis, University of York, UK, 2002. [doi]

2001

A Family-Oriented Software Development Process for Engine ControllersKaren Allenby, Simon Burton, Darren L. Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson. PROFES 2001: 210-226 [doi]

1999

Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review)Simon Burton. stvr, 9(2):135-136, 1999.

1998

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant LeapJohn A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine. icfem 1998: 76 [doi]

Sign in or sign up to see more results.

runs on WebDSL