| On the extent and nature of software reuse in open source java projects L Heinemann, F Deissenboeck, M Gleirscher, B Hummel, M Irlbeck Top Productivity through Software Reuse: 12th International Conference on …, 2011 | 101 | 2011 |
| Toward a holistic and standardized automotive architecture description M Broy, M Gleirscher, S Merenda, D Wild, P Kluge, W Krenzer Computer 42 (12), 98-101, 2009 | 54 | 2009 |
| 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 http://mediatum2.ub.tum.de/node?id=1094456, 2009 | 43* | 2009 |
| New opportunities for integrated formal methods M Gleirscher, S Foster, J Woodcock ACM Computing Surveys (CSUR) 52 (6), 1-36, 2019 | 40 | 2019 |
| Formal methods in dependable systems engineering: a survey of professionals from Europe and North America M Gleirscher, D Marmsoler Empirical Software Engineering 25, 4473-4546, 2020 | 31* | 2020 |
| 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 22, 499-542, 2014 | 28 | 2014 |
| 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 | 24 | 2021 |
| Specifying properties of dynamic architectures using configuration traces D Marmsoler, M Gleirscher Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016 | 24 | 2016 |
| Isabelle/SACM: Computer-assisted assurance cases with integrated formal methods Y Nemouchi, S Foster, M Gleirscher, T Kelly Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019 | 19* | 2019 |
| Arguing from hazard analysis in safety cases: a modular argument pattern M Gleirscher, C Carlan 2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017 | 19 | 2017 |
| Hazard-based selection of test cases M Gleirscher Proceedings of the 6th International Workshop on Automation of Software Test …, 2011 | 19 | 2011 |
| Evolution of formal model-based assurance cases for autonomous robots M Gleirscher, S Foster, Y Nemouchi Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019 | 17 | 2019 |
| On the benefit of automated static analysis for small and medium-sized software enterprises M Gleirscher, D Golubitskiy, M Irlbeck, S Wagner Software Quality. Process Automation in Software Development: 4th …, 2012 | 17 | 2012 |
| Research challenges for a future-proof e/e architecture-a project statement S Kugele, V Cebotari, M Gleirscher, M Hashemi, C Segler, S Shafaei, ... INFORMATIK 2017, 2017 | 16 | 2017 |
| On activation, connection, and behavior in dynamic architectures D Marmsoler, M Gleirscher Scientific Annals of Computer Science 26 (2), 187, 2016 | 16 | 2016 |
| Safety controller synthesis for collaborative robots M Gleirscher, R Calinescu 2020 25th International Conference on Engineering of Complex Computer …, 2020 | 15 | 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 8, 758099, 2021 | 14 | 2021 |
| Behavioural safety of technical systems M Gleirscher Technische Universität München, 2014 | 14 | 2014 |
| RiskStructures: A design algebra for risk-aware machines M Gleirscher, R Calinescu, J Woodcock Formal Aspects of Computing 33 (4-5), 763-802, 2021 | 12* | 2021 |
| Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles SD Foster, M Gleirscher, R Calinescu Proceeding of the 25th International Conference on Engineering of Complex …, 2020 | 12* | 2020 |
Simon FosterLecturer in Computer Science, University of YorkEmail verificata su york.ac.uk
