MOST: the automotive multimedia network IA Grzemba Franzis Verlag, 2012 | 208 | 2012 |
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 | 152 | 2017 |
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 | 139 | 2020 |
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 | 64 | 2018 |
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 | 53 | 2005 |
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 | 51 | 2012 |
Automated testing from Z specifications S Burton, H York REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 2000 | 50 | 2000 |
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 | 36 | 2019 |
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 | 33 | 1998 |
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 | 29 | 2000 |
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 | 28 | 2000 |
Deutsche Normungsroadmap künstliche Intelligenz Ausgabe 2 S Maack, P Benner, M Kröll, J Prager, W Daum, R Casperson, T Heckel, ... | 27* | 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 | 20 | 2021 |
Automatic generation of tests from Statechart specifications S Burton, J Clark, J McDermid Formal Approaches to Testing of Software, 31, 2001 | 18 | 2001 |
Towards automated unit testing of statechart implementations S Burton REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 1999 | 17 | 1999 |
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 | 16 | 2016 |
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 | 15 | 2022 |
Automotive systems engineering und functional safety: The way forward S Burton, A Habermann Embedded Real Time Software and Systems (ERTS2012), 2012 | 15 | 2012 |