| A framework for qualitative and quantitative model-based safety analysis M Güdemann, F Ortmeier Proceedings of HASE 2010, 2010 | 78* | 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 | 63 | 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 | 41 | 2012 |
| 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 | 37 | 2006 |
| 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 | 36 | 2007 |
| Formal failure models F Ortmeier, M Güdemann, W Reif IFAC Proceedings Volumes 40 (6), 145-150, 2007 | 33 | 2007 |
| Probabilistic model-based safety analysis M Güdemann, F Ortmeier arXiv preprint arXiv:1006.5101, 2010 | 30 | 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 | 29 | 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 | 28 | 2015 |
| 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 |
| 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 | 21 | 2013 |
| Qualitative and quantitative formal model-based safety analysis M Güdemann Universitätsbibl., 2011 | 20 | 2011 |
| Model-based multi-objective safety optimization M Güdemann, F Ortmeier International Conference on Computer Safety, Reliability, and Security, 423-436, 2011 | 15 | 2011 |
| 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 |
| 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 | 12 | 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 | 10 | 2018 |
| Unifying Probabilistic and Traditional Formal Model Based Analysis M Güdemann, M Lipaczewski, S Struck, F Ortmeier | 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 |
| Multi-objective optimization of formal specifications S Struck, M Lipaczewski, F Ortmeier, M Güdemann 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012 | 6 | 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 | 5 | 2015 |
Frank OrtmeierProfessor for Computer Systems in EngineeringVerified email at ovgu.de
