Matthias Güdemann
Matthias Güdemann
University of Applied Sciences Munich
Verified email at - Homepage
Cited by
Cited by
A framework for qualitative and quantitative model-based safety analysis
M Güdemann, F Ortmeier
Proceedings of HASE 2010, 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
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
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
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
Probabilistic model-based safety analysis
M Güdemann, F Ortmeier
arXiv preprint arXiv:1006.5101, 2010
Using deductive cause-consequence analysis (DCCA) with SCADE
M Güdemann, F Ortmeier, W Reif
Computer Safety, Reliability, and Security: 26th International Conference …, 2007
Formal failure models
F Ortmeier, M Güdemann, W Reif
IFAC Proceedings Volumes 40 (6), 145-150, 2007
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
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
Qualitative and quantitative formal model-based safety analysis
M Güdemann
Magdeburg: Otto-von-Guericke-Universitat Magdeburg 9, 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
Model-based multi-objective safety optimization
M Güdemann, F Ortmeier
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
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
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
Towards model-driven safety analysis
M Güdemann, F Ortmeier
2011 3rd International Workshop on Dependable Control of Discrete Systems, 53-58, 2011
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
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
Quantitative model-based safety analysis: A case study
M Güdemann, F Ortmeier
Gesellschaft für Informatik eV, 2010
Flexible formality practical experience with agile formal methods
P Kant, K Hammond, D Coutts, J Chapman, N Clarke, J Corduan, ...
International Symposium on Trends in Functional Programming, 94-120, 2020
The system can't perform the operation now. Try again later.
Articles 1–20