| 2007 |
|---|
| 4 | EE | Matthias Güdemann,
Andreas Angerer,
Frank Ortmeier,
Wolfgang Reif:
Modeling of self-adaptive systems with SCADE.
ISCAS 2007: 2922-2925 |
| 3 | EE | Matthias Güdemann,
Frank Ortmeier,
Wolfgang Reif:
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.
SAFECOMP 2007: 465-478 |
| 2006 |
|---|
| 2 | EE | Matthias Güdemann,
Frank Ortmeier,
Wolfgang Reif:
Formal Modeling and Verification of Systems with Self-x Properties.
ATC 2006: 38-47 |
| 1 | | Matthias Güdemann,
Florian Nafz,
Wolfgang Reif,
Hella Seebach:
Towards Safe and Secure Organic Computing Applications.
GI Jahrestagung (1) 2006: 153-160 |
