Matthias Güdemann
Matthias Güdemann
University of Applied Sciences Munich
Verified email at hm.edu - Homepage
Title
Cited by
Cited by
Year
A framework for qualitative and quantitative model-based safety analysis
M Güdemann, F Ortmeier
Proceedings of HASE 2010, 2010
87*2010
A specification and construction paradigm for organic computing systems
M Güdemann, F Nafz, F Ortmeier, H Seebach, W Reif
2008 Second IEEE International Conference on Self-Adaptive and Self …, 2008
682008
Counterexample guided synthesis of monitors for realizability enforcement
M Güdemann, G Salaün, M Ouederni
International Symposium on Automated Technology for Verification and …, 2012
442012
Formal modeling and verification of systems with self-x properties
M Güdemann, F Ortmeier, W Reif
International Conference on Autonomic and Trusted Computing, 38-47, 2006
402006
Probabilistic model-based safety analysis
M Güdemann, F Ortmeier
arXiv preprint arXiv:1006.5101, 2010
392010
Using deductive cause-consequence analysis (DCCA) with SCADE
M Güdemann, F Ortmeier, W Reif
International Conference on Computer Safety, Reliability, and Security, 465-478, 2007
392007
Formal failure models
F Ortmeier, M Güdemann, W Reif
IFAC Proceedings Volumes 40 (6), 145-150, 2007
372007
Safety and dependability analysis of self-adaptive systems
M Güdemann, F Ortmeier, W Reif
second international symposium on leveraging applications of formal methods …, 2006
352006
VerChor: a framework for the design and verification of choreographies
M Güdemann, P Poizat, G Salaün, L Ye
IEEE Transactions on Services Computing 9 (4), 647-660, 2015
312015
Qualitative and quantitative formal model-based safety analysis
M Güdemann
Universitätsbibl., 2011
262011
Verchor: A framework for verifying choreographies
M Güdemann, P Poizat, G Salaün, A Dumont
International Conference on Fundamental Approaches to Software Engineering …, 2013
242013
Computation of ordered minimal critical sets
M Güdemann, F Ortmeier, W Reif
Proceedings of the 7th Symposium on Formal Methods for Automation and Safety …, 2008
212008
Model-based multi-objective safety optimization
M Güdemann, F Ortmeier
International Conference on Computer Safety, Reliability, and Security, 423-436, 2011
162011
Modeling of self-adaptive systems with SCADE
M Gudemann, A Angerer, F Ortmeier, W Reif
2007 IEEE International Symposium on Circuits and Systems, 2922-2925, 2007
142007
Efficient verification of multi-property designs (The benefit of wrong assumptions)
E Goldberg, M Güdemann, D Kroening, R Mukherjee
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 43-48, 2018
132018
Towards model-driven safety analysis
M Güdemann, F Ortmeier
2011 3rd International Workshop on Dependable Control of Discrete Systems, 53-58, 2011
112011
Unifying Probabilistic and Traditional Formal Model Based Analysis
M Güdemann, M Lipaczewski, S Struck, F Ortmeier
8. Dagstuhl-Workshop MBEES 2012-Model-Based Development of Embedded Systems, 2012
8*2012
The ForMoSA approach to qualitative and quantitative model-based safety analysis
A Habermaier, M Güdemann, F Ortmeier, W Reif, G Schellhorn
Railway Safety, Reliability, and Security: Technologies and Systems …, 2012
82012
Quantitative model-based safety analysis: A case study
M Güdemann, F Ortmeier
Sicherheit 2010. Sicherheit, Schutz und Zuverlässigkeit, 2010
72010
Formal verification of industrial critical software
M Petit-Doche, N Breton, R Courbis, Y Fonteneau, M Güdemann
International Workshop on Formal Methods for Industrial Critical Systems, 1-11, 2015
62015
The system can't perform the operation now. Try again later.
Articles 1–20