| On the extent and nature of software reuse in open source java projects L Heinemann, F Deissenboeck, M Gleirscher, B Hummel, M Irlbeck Software Reuse (ICSR), 12th Int Conf, 207-222, 2011 | 116 | 2011 |
| New opportunities for integrated formal methods M Gleirscher, S Foster, J Woodcock ACM Computing Surveys (CSUR) 52 (6), 1-36, 2019 | 66 | 2019 |
| Toward a holistic and standardized automotive architecture description M Broy, M Gleirscher, S Merenda, D Wild, P Kluge, W Krenzer IEEE Computer 42 (12), 98-101, 2009 | 64 | 2009 |
| Formal methods in dependable systems engineering: a survey of professionals from Europe and North America M Gleirscher, D Marmsoler Empirical Software Engineering (EMSE) 25, 4473-4546, 2020 | 58* | 2020 |
| A modular digital twinning framework for safety assurance of collaborative robotics JA Douthwaite, B Lesage, M Gleirscher, R Calinescu, JM Aitken, ... Frontiers in Robotics and AI (FRAI) 8, 758099, 2021 | 52 | 2021 |
| Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description. White paper M Broy, M Gleirscher, P Kluge, W Krenzer, S Merenda, D Wild TUM Technical Report, no. TUM-I0915, 2009 | 50* | 2009 |
| Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots M Gleirscher, N Johnson, P Karachristou, R Calinescu, J Law, J Clark The 21st Century Industrial Robot: When Tools Become Collaborators 81 (arXiv …, 2021 | 45 | 2021 |
| Integration of formal proof into unified assurance cases with Isabelle/SACM S Foster, Y Nemouchi, M Gleirscher, R Wei, T Kelly Formal Aspects of Computing (FAC) 33 (6), 855-884, 2021 | 40 | 2021 |
| Introduction of static quality analysis in small-and medium-sized software enterprises: experiences from technology transfer M Gleirscher, D Golubitskiy, M Irlbeck, S Wagner Software Quality Journal (SQJ) 22, 499-542, 2014 | 32 | 2014 |
| Hybrid systems verification with Isabelle/HOL: Simpler syntax, better models, faster proofs S Foster, JJ Huerta y Munive, M Gleirscher, G Struth Formal Methods (FM), 24th Int Symp, 367-386, 2021 | 27 | 2021 |
| Specifying properties of dynamic architectures using configuration traces D Marmsoler, M Gleirscher Theoretical Aspects of Computing (ICTAC), 13th Int Colloquium, 235-254, 2016 | 27 | 2016 |
| Isabelle/SACM: Computer-assisted assurance cases with integrated formal methods Y Nemouchi, S Foster, M Gleirscher, T Kelly Integrated Formal Methods (iFM), 15th Int Conf, 379-398, 2019 | 26* | 2019 |
| Arguing from hazard analysis in safety cases: a modular argument pattern M Gleirscher, C Carlan High Assurance Systems Engineering (HASE), IEEE 18th Int Symp, 53-60, 2017 | 26 | 2017 |
| Manifesto for Applicable Formal Methods M Gleirscher, J van de Pol, J Woodcock Software and Systems Modelling (SoSyM) 22, 1737-1749, 2023 | 23 | 2023 |
| Evolution of formal model-based assurance cases for autonomous robots M Gleirscher, S Foster, Y Nemouchi Software Engineering and Formal Methods (SEFM), 17th Int Conf, 87-104, 2019 | 23 | 2019 |
| Hazard-based selection of test cases M Gleirscher Automation of Software Test (AST), 6th ICSE Int. Workshop, 64-70, 2011 | 21 | 2011 |
| Verified synthesis of optimal safety controllers for human-robot collaboration M Gleirscher, R Calinescu, J Douthwaite, B Lesage, C Paterson, J Aitken, ... Science of Computer Programming (SCP) 218, 102809, 2022 | 20 | 2022 |
| Safety controller synthesis for collaborative robots M Gleirscher, R Calinescu Engineering of Complex Computer Systems (ICECCS), 25th Int Conf, 83-92, 2020 | 20 | 2020 |
| Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles SD Foster, M Gleirscher, R Calinescu Engineering of Complex Computer Systems (ICECCS), 25th Int Conf, 2020 | 19* | 2020 |
| On the benefit of automated static analysis for small and medium-sized software enterprises M Gleirscher, D Golubitskiy, M Irlbeck, S Wagner Software Quality Days (SWQD), 4th Int Conf, 14-38, 2012 | 19 | 2012 |
Simon FosterLecturer in Computer Science, University of YorkEmail confirmado em york.ac.uk
