| 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 | 67 | 2008 |
| 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 | 51 | 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 | 46 | 2006 |
| Probabilistic model-based safety analysis M Güdemann, F Ortmeier arXiv preprint arXiv:1006.5101, 2010 | 41 | 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 | 41 | 2007 |
| 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 | 40 | 2015 |
| Formal failure models F Ortmeier, M Güdemann, W Reif IFAC Proceedings Volumes 40 (6), 145-150, 2007 | 38 | 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 | 35 | 2006 |
| Verchor: A framework for verifying choreographies M Güdemann, P Poizat, G Salaün, A Dumont Fundamental Approaches to Software Engineering: 16th International …, 2013 | 26 | 2013 |
| 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 | 22 | 2008 |
| Model-based multi-objective safety optimization M Güdemann, F Ortmeier Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 17 | 2011 |
| 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 | 15 | 2018 |
| 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 | 15 | 2007 |
| Towards model-driven safety analysis M Güdemann, F Ortmeier 2011 3rd International Workshop on Dependable Control of Discrete Systems, 53-58, 2011 | 12 | 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 | 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 | 8 | 2012 |
| Quantitative model-based safety analysis: A case study M Güdemann, F Ortmeier Sicherheit 2010. Sicherheit, Schutz und Zuverlässigkeit, 2010 | 8 | 2010 |
| 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 | 7 | 2015 |
Frank OrtmeierProfessor for Computer Systems in EngineeringVerified email at ovgu.de
