Matthias Güdemann
Matthias Güdemann
University of Applied Sciences Munich
E-mail megerősítve itt: hm.edu
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
632008
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
422012
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
392006
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
372007
Formal failure models
F Ortmeier, M Güdemann, W Reif
IFAC Proceedings Volumes 40 (6), 145-150, 2007
332007
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
302015
Probabilistic model-based safety analysis
M Güdemann, F Ortmeier
arXiv preprint arXiv:1006.5101, 2010
302010
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
292006
Qualitative and quantitative formal model-based safety analysis
M Güdemann
Universitätsbibl., 2011
252011
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
222013
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
222008
Model-based multi-objective safety optimization
M Güdemann, F Ortmeier
International Conference on Computer Safety, Reliability, and Security, 423-436, 2011
152011
Towards model-driven safety analysis
M Güdemann, F Ortmeier
2011 3rd International Workshop on Dependable Control of Discrete Systems, 53-58, 2011
122011
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
122007
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
102018
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
82012
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
62012
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
52015
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20