Mario Gleirscher
Mario Gleirscher
Verified email at - Homepage
Cited by
Cited by
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
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
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, 2009
New opportunities for integrated formal methods
M Gleirscher, S Foster, J Woodcock
ACM Computing Surveys (CSUR) 52 (6), 1-36, 2019
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
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
M Gleirscher, D Marmsoler
Empirical Software Engineering 25 (6), 4473-4546, 2020
Specifying properties of dynamic architectures using configuration traces
D Marmsoler, M Gleirscher
International Colloquium on Theoretical Aspects of Computing, 235-254, 2016
Hazard-based selection of test cases
M Gleirscher
Proceedings of the 6th International Workshop on Automation of Software Test …, 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
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
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
On activation, connection, and behavior in dynamic architectures
D Marmsoler, M Gleirscher
Scientific Annals of Computer Science 26 (2), 187, 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
Behavioural Safety of Technical Systems
M Gleirscher
Technische Universität München, 2014
From hazard analysis to hazard mitigation planning: The automated driving case
M Gleirscher, S Kugele
NASA Formal Methods Symposium, 310-326, 2017
Defining risk states in autonomous road vehicles
M Gleirscher, S Kugele
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
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
RiskStructures: A design algebra for risk-aware machines
M Gleirscher, R Calinescu, J Woodcock
Formal Aspects of Computing 33 (4), 763-802, 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
Run-time risk mitigation in automated vehicles: A model for studying preparatory steps
M Gleirscher
arXiv preprint arXiv:1709.02560, 2017
The system can't perform the operation now. Try again later.
Articles 1–20