A framework for qualitative and quantitative model-based safety analysis M Güdemann, F Ortmeier Proceedings of HASE 2010, 2010 | 116* | 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 |