Follow
Simon Burton
Title
Cited by
Cited by
Year
MOST: the automotive multimedia network
IA Grzemba
Franzis Verlag, 2012
2082012
Making the case for safety of machine learning in highly automated driving
S Burton, L Gauerhof, C Heinzemann
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017
1502017
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective
S Burton, I Habli, T Lawton, J McDermid, P Morgan, Z Porter
Artificial Intelligence 279, 103201, 2020
1342020
Structuring validation targets of a machine learning function applied to automated driving
L Gauerhof, P Munk, S Burton
Computer Safety, Reliability, and Security: 37th International Conference …, 2018
632018
Detecting and resolving semantic pathologies in UML sequence diagrams
P Baker, P Bristow, C Jervis, D King, R Thomson, B Mitchell, S Burton
Proceedings of the 10th European software engineering conference held …, 2005
522005
Automotive functional safety= safety+ security
S Burton, J Likkei, P Vembar, M Wolf
Proceedings of the First International Conference on Security of Internet of …, 2012
502012
Automated testing from Z specifications
S Burton, H York
REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 2000
502000
Confidence arguments for evidence of performance in machine learning for highly automated driving functions
S Burton, L Gauerhof, BB Sethy, I Habli, R Hawkins
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019
362019
Towards industrially applicable formal methods: Three small steps, and one giant leap
J McDermid, A Galloway, S Burton, J Clark, I Toyn, N Tracey, S Valentine
Proceedings Second International Conference on Formal Engineering Methods …, 1998
331998
A Future Dynamically Reconfigurable Automotive Software System, at Elektronik im Kraftfahrzeug
R Anthony, A Leonhardi, C Ekelin, D Chen, M Törngren, G de Boer, ...
Dresden, Germany, June, 27-28, 2006
31*2006
Testing, proof and automation. An integrated approach
S Burton, J Clark, J McDermid, Y Heslington
The Proceedings of the 1st International Workshop of Automated Program …, 2000
292000
Automated V&V for high integrity systems, a targeted formal methods approach
S Burton, J Clark, A Galloway, J McDermid, Y Heslington
NASA CONFERENCE PUBLICATION, 129-140, 2000
282000
Deutsche Normungsroadmap künstliche Intelligenz Ausgabe 2
S Maack, P Benner, M Kröll, J Prager, W Daum, R Casperson, T Heckel, ...
25*2022
Automated Generation of High Integrity Tests from Graphical Specifications
S Burton
Ph. D. thesis, University of York, 2001
22*2001
Safety assurance of machine learning for chassis control functions
S Burton, I Kurzidem, A Schwaiger, P Schleiss, M Unterreiner, T Graeber, ...
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
192021
Automatic generation of tests from Statechart specifications
S Burton, J Clark, J McDermid
Formal Approaches to Testing of Software, 31, 2001
182001
Towards automated unit testing of statechart implementations
S Burton
REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 1999
171999
Dependability challenges in the model-driven engineering of automotive systems
R Amarnath, P Munk, E Thaden, A Nordmann, S Burton
2016 IEEE International Symposium on Software Reliability Engineering …, 2016
162016
Safety assurance of machine learning for perception functions
S Burton, C Hellert, F Hüger, M Mock, A Rohatschek
Deep Neural Networks and Data for Automated Driving: Robustness, Uncertainty …, 2022
152022
Automotive systems engineering und functional safety: The way forward
S Burton, A Habermann
Embedded Real Time Software and Systems (ERTS2012), 2012
152012
The system can't perform the operation now. Try again later.
Articles 1–20