| On the extent and nature of software reuse in open source java projects L Heinemann, F Deissenboeck, M Gleirscher, B Hummel, M Irlbeck International Conference on Software Reuse, 207-222, 2011 | 79 | 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 | 41 | 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 | 33* | 2009 |
| 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 (3), 499-542, 2014 | 23 | 2014 |
| Specifying properties of dynamic architectures using configuration traces D Marmsoler, M Gleirscher International Colloquium on Theoretical Aspects of Computing, 235-254, 2016 | 21 | 2016 |
| On Activation, Connection, and Behavior in Dynamic Architectures. D Marmsoler, M Gleirscher Scientific Annals of Computer Science 26 (2), 2016 | 14 | 2016 |
| On the benefit of automated static analysis for small and medium-sized software enterprises M Gleirscher, D Golubitskiy, M Irlbeck, S Wagner International Conference on Software Quality, 14-38, 2012 | 14 | 2012 |
| Hazard-based selection of test cases M Gleirscher Proceedings of the 6th International Workshop on Automation of Software Test …, 2011 | 14 | 2011 |
| 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 | 13 | 2017 |
| New opportunities for integrated formal methods M Gleirscher, S Foster, J Woodcock ACM Computing Surveys (CSUR) 52 (6), 1-36, 2019 | 11 | 2019 |
| From hazard analysis to hazard mitigation planning: The automated driving case M Gleirscher, S Kugele NASA Formal Methods Symposium, 310-326, 2017 | 10 | 2017 |
| Defining risk states in autonomous road vehicles M Gleirscher, S Kugele 2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017 | 9 | 2017 |
| Behavioural Safety of Technical Systems M Gleirscher Technische Universität München, 2014 | 9 | 2014 |
| Model-based Hazard and Impact Analysis S Dobi, M Gleirscher, M Spichkova, P Struss Technische Universität München, 2013 | 9 | 2013 |
| Hazard Analysis of Technical Systems M Gleirscher Proc. Software Quality Days, LNBIP 133, 104--24, 2013 | 9 | 2013 |
| Incremental integration of heterogeneous systems views M Gleirscher, D Ratiu, B Schatz 2007 International Conference on Systems Engineering and Modeling, 50-59, 2007 | 8 | 2007 |
| Evolution of formal model-based assurance cases for autonomous robots M Gleirscher, S Foster, Y Nemouchi International Conference on Software Engineering and Formal Methods, 87-104, 2019 | 7 | 2019 |
| Ein Kaffeevollautomat - Fallstudie fuer modellbasierte Spezifikation zur Vorlesung Requirements Engineering im Sommersemester 2011 M Gleirscher http://mediatum2.ub.tum.de/node?id=1106512, 2012 | 7* | 2012 |
| Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods Y Nemouchi, S Foster, M Gleirscher, T Kelly International Conference on Integrated Formal Methods, 379-398, 2019 | 6 | 2019 |
| 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 | 5 | 2017 |
Maximilian IrlbeckTechnische Universität München, Faculty for Informatics, Chair for Software and Systems EngineeringVerified email at in.tum.de
