A framework for qualitative and quantitative model-based safety analysis M Güdemann, F Ortmeier Proceedings of HASE 2010, 2010 | 79* | 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 | 65 | 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 | 42 | 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 | 39 | 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 | 37 | 2007 |
Formal failure models F Ortmeier, M Güdemann, W Reif IFAC Proceedings Volumes 40 (6), 145-150, 2007 | 33 | 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 | 31 | 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 | 30 | 2015 |
Probabilistic model-based safety analysis M Güdemann, F Ortmeier arXiv preprint arXiv:1006.5101, 2010 | 30 | 2010 |
Qualitative and quantitative formal model-based safety analysis M Güdemann Universitätsbibl., 2011 | 25 | 2011 |
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 | 23 | 2013 |
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 International Conference on Computer Safety, Reliability, and Security, 423-436, 2011 | 15 | 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 | 13 | 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 |
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 | 10* | 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 |
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 | 6 | 2015 |
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 |