Mario Gleirscher
Mario Gleirscher
Visiting Research Fellow, University of York
Bestätigte E-Mail-Adresse bei tum.de - Startseite
TitelZitiert vonJahr
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
572011
Toward a holistic and standardized automotive architecture description
M Broy, M Gleirscher, S Merenda, D Wild, P Kluge, W Krenzer
Computer 42 (12), 2009
292009
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
20*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
162014
Hazard-based selection of test cases
M Gleirscher
Proceedings of the 6th International Workshop on Automation of Software Test …, 2011
132011
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
122012
Specifying properties of dynamic architectures using configuration traces
D Marmsoler, M Gleirscher
International Colloquium on Theoretical Aspects of Computing, 235-254, 2016
92016
Model-based Hazard and Impact Analysis
S Dobi, M Gleirscher, M Spichkova, P Struss
Technische Universität München, 2013
72013
Hazard Analysis of Technical Systems
M Gleirscher
Proc. Software Quality Days, LNBIP 133, 104--24, 2013
72013
Defining risk states in autonomous road vehicles
M Gleirscher, S Kugele
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
62017
Ein Kaffeevollautomat - Fallstudie fuer modellbasierte Spezifikation zur Vorlesung Requirements Engineering im Sommersemester 2011
M Gleirscher
http://mediatum2.ub.tum.de/node?id=1106512, 2012
6*2012
From hazard analysis to hazard mitigation planning: The automated driving case
M Gleirscher, S Kugele
NASA Formal Methods Symposium, 310-326, 2017
52017
Behavioural Safety of Technical Systems
M Gleirscher
52014
On Activation, Connection, and Behavior in Dynamic Architectures.
D Marmsoler, M Gleirscher
Scientific Annals of Computer Science 26 (2), 2016
42016
Incremental integration of heterogeneous systems views
M Gleirscher, D Ratiu, B Schatz
Systems Engineering and Modeling, 2007. ICSEM'07. International Conference …, 2007
42007
Reaching safe states in autonomous road vehicles
M Gleirscher, S Kugele
Fast abstracts at International Conference on Computer Safety, Reliability …, 2015
32015
Arguing from hazard analysis in safety cases: a modular argument pattern
M Gleirscher, C Carlan
arXiv preprint arXiv:1704.03672, 2017
22017
A Study of Safety Patterns: First Results
M Gleirscher, S Kugele
22016
MaCon: Consistent Cross-Disciplinary Conception of Manufacturing Systems
G Hackenberg, M Gleirscher, T Stocker, C Richter, G Reinhart
IFAC-PapersOnLine 49 (12), 1175-1180, 2016
22016
A model-based approach to innovation management of automotive control systems
M Gleirscher, A Vogelsang, S Fuhrmann
Software Product Management (IWSPM), 2014 IEEE IWSPM 8th International …, 2014
22014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20