Concepedia

Matthias Güdemann

MG

Statistics

Publications

8

Citations

253

H-Index

8

Active since

2006

Affiliations

University of Augsburg(Current)

Augsburg University

Otto-von-Guericke-Universität Magdeburg

Matthias Güdemann is an author at University of Augsburg specializing in systems engineering, computer science, and formal methods.

Publications per year

2006–2018

8

Publications

8

A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis

Matthias Güdemann, Frank Ortmeier · 2010 · 69 citations

Engineering, Computer Science, Systems Engineering +11

A Specification and Construction Paradigm for Organic Computing Systems

Matthias Güdemann, Florian Nafz, Frank Ortmeier et al. · 2008 · 49 citations

Computing, Computer Science, Systems Engineering +10

VerChor: A Framework for the Design and Verification of Choreographies

Matthias Güdemann, Pascal Poizat, Gwen Salaün et al. · IEEE Transactions on Services Computing · 2015 · 42 citations · Full text

Computing, Computer Science, Systems Engineering +7

Safety and Dependability Analysis of Self-Adaptive Systems

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif · 2006 · 31 citations

Engineering, Systems Engineering, Automation +16

FORMAL FAILURE MODELS

Frank Ortmeier, Matthias Güdemann, Wolfgang Reif · IFAC Proceedings Volumes · 2007 · 22 citations

1–5 of 8