 | 2008 |
|---|
| 6 |       | Matthias Güdemann,
Florian Nafz,
Frank Ortmeier,
Hella Seebach,
Wolfgang Reif:
A Specification and Construction Paradigm for Organic Computing Systems.
SASO 2008: 233-242 |
| 2007 |
|---|
| 5 | | Matthias Güdemann,
Andreas Angerer,
Frank Ortmeier,
Wolfgang Reif:
Modeling of self-adaptive systems with SCADE.
ISCAS 2007: 2922-2925 |
| 4 | | Matthias Güdemann,
Frank Ortmeier,
Wolfgang Reif:
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.
SAFECOMP 2007: 465-478 |
| 2006 |
|---|
| 3 | | Matthias Güdemann,
Frank Ortmeier,
Wolfgang Reif:
Formal Modeling and Verification of Systems with Self-x Properties.
ATC 2006: 38-47 |
| 2 |  | Matthias Güdemann,
Florian Nafz,
Wolfgang Reif,
Hella Seebach:
Towards Safe and Secure Organic Computing Applications.
GI Jahrestagung (1) 2006: 153-160 |
| 1 | | Matthias Güdemann,
Frank Ortmeier,
Wolfgang Reif:
Safety and Dependability Analysis of Self-Adaptive Systems.
ISoLA 2006: 177-184 |
