Matthias Güdemann

Matthias Güdemann

Hochschule München - Munich / Germany
Others
AD Scientific Index ID: 1759618
Munich University of Applied Sciences
person_outline Matthias Güdemann's MOST POPULAR ARTICLES
1-) A framework for qualitative and quantitative model-based safety analysisM Güdemann, F OrtmeierProceedings of HASE 2010, 201097*2010
2-) A specification and construction paradigm for organic computing systemsM Güdemann, F Nafz, F Ortmeier, H Seebach, W Reif2008 Second IEEE International Conference on Self-Adaptive and Self …, 2008682008
3-) Counterexample guided synthesis of monitors for realizability enforcementM Güdemann, G Salaün, M OuederniInternational Symposium on Automated Technology for Verification and …, 2012492012
4-) Formal modeling and verification of systems with self-x propertiesM Güdemann, F Ortmeier, W ReifAutonomic and Trusted Computing: Third International Conference, ATC 2006 …, 2006522006
5-) VerChor: a framework for the design and verification of choreographiesM Güdemann, P Poizat, G Salaün, L YeIEEE Transactions on Services Computing 9 (4), 647-660, 2015512015