| A framework for qualitative and quantitative model-based safety analysis M Güdemann, F Ortmeier Proceedings of HASE 2010, 2010 | 114* | 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 | 75 | 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 | 55 | 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 | 54 | 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 | 51 | 2015 |
| Using deductive cause-consequence analysis (DCCA) with SCADE M Güdemann, F Ortmeier, W Reif Computer Safety, Reliability, and Security: 26th International Conference …, 2007 | 44 | 2007 |
| Probabilistic model-based safety analysis M Güdemann, F Ortmeier arXiv preprint arXiv:1006.5101, 2010 | 43 | 2010 |
| 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 | 40 | 2006 |
| Formal failure models F Ortmeier, M Güdemann, W Reif IFAC Proceedings Volumes 40 (6), 145-150, 2007 | 39 | 2007 |
| 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 | 28 | 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 | 23 | 2008 |
| Model-based multi-objective safety optimization M Güdemann, F Ortmeier Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 17 | 2011 |
| Modeling of self-adaptive systems with SCADE M Gudemann, A Angerer, F Ortmeier, W Reif 2007 IEEE International Symposium on Circuits and Systems (ISCAS), 2922-2925, 2007 | 17 | 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 | 16 | 2018 |
| Towards model-driven safety analysis M Güdemann, F Ortmeier 2011 3rd International Workshop on Dependable Control of Discrete Systems, 53-58, 2011 | 13 | 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 | 11* | 2012 |
| 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 | 10 | 2020 |
| 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 | 9 | 2015 |
| Quantitative model-based safety analysis: A case study M Güdemann, F Ortmeier Gesellschaft für Informatik eV, 2010 | 9 | 2010 |
Frank OrtmeierProfessor for Computer Systems in EngineeringVerified email at ovgu.de
