Follow
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
99*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
672008
Counterexample guided synthesis of monitors for realizability enforcement
M Güdemann, G Salaün, M Ouederni
Automated Technology for Verification and Analysis: 10th International …, 2012
512012
Formal modeling and verification of systems with self-x properties
M Güdemann, F Ortmeier, W Reif
Autonomic and Trusted Computing: Third International Conference, ATC 2006 …, 2006
462006
Probabilistic model-based safety analysis
M Güdemann, F Ortmeier
arXiv preprint arXiv:1006.5101, 2010
412010
Using deductive cause-consequence analysis (DCCA) with SCADE
M Güdemann, F Ortmeier, W Reif
Computer Safety, Reliability, and Security: 26th International Conference …, 2007
412007
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
402015
Formal failure models
F Ortmeier, M Güdemann, W Reif
IFAC Proceedings Volumes 40 (6), 145-150, 2007
382007
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 verifying choreographies
M Güdemann, P Poizat, G Salaün, A Dumont
Fundamental Approaches to Software Engineering: 16th International …, 2013
262013
Qualitative and quantitative formal model-based safety analysis
M Güdemann
Magdeburg: Otto-von-Guericke-Universitat Magdeburg 9, 2011
26*2011
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
222008
Model-based multi-objective safety optimization
M Güdemann, F Ortmeier
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
172011
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
152018
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
152007
Towards model-driven safety analysis
M Güdemann, F Ortmeier
2011 3rd International Workshop on Dependable Control of Discrete Systems, 53-58, 2011
122011
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
9*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
82010
Formal verification of industrial critical software
M Petit-Doche, N Breton, R Courbis, Y Fonteneau, M Güdemann
Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20