Mario Gleirscher
Mario Gleirscher
Research Associate, University of York
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
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
792011
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
412009
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
232014
Specifying properties of dynamic architectures using configuration traces
D Marmsoler, M Gleirscher
International Colloquium on Theoretical Aspects of Computing, 235-254, 2016
202016
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
142012
Hazard-based selection of test cases
M Gleirscher
Proceedings of the 6th International Workshop on Automation of Software Test …, 2011
142011
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
132017
On Activation, Connection, and Behavior in Dynamic Architectures.
D Marmsoler, M Gleirscher
Scientific Annals of Computer Science 26 (2), 2016
132016
New opportunities for integrated formal methods
M Gleirscher, S Foster, J Woodcock
ACM Computing Surveys (CSUR) 52 (6), 1-36, 2019
112019
From hazard analysis to hazard mitigation planning: The automated driving case
M Gleirscher, S Kugele
NASA Formal Methods Symposium, 310-326, 2017
102017
Defining risk states in autonomous road vehicles
M Gleirscher, S Kugele
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
92017
Behavioural Safety of Technical Systems
M Gleirscher
Technische Universität München, 2014
92014
Model-based Hazard and Impact Analysis
S Dobi, M Gleirscher, M Spichkova, P Struss
Technische Universität München, 2013
92013
Hazard Analysis of Technical Systems
M Gleirscher
Proc. Software Quality Days, LNBIP 133, 104--24, 2013
92013
Incremental integration of heterogeneous systems views
M Gleirscher, D Ratiu, B Schatz
2007 International Conference on Systems Engineering and Modeling, 50-59, 2007
82007
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
72019
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
62019
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
52017
The system can't perform the operation now. Try again later.
Articles 1–20