| |
| 2008 | ||
|---|---|---|
| 3 | Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290 | |
| 2 | EE | Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif: Compositional Proofs with Symbolic Execution. VERIFY 2008 |
| 2006 | ||
| 1 | Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach: Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) 2006: 153-160 | |
| 1 | Michael Balser | [2] |
| 2 | Simon Bäumler | [2] |
| 3 | Matthias Güdemann | [1] |
| 4 | Frank Ortmeier | [3] |
| 5 | Wolfgang Reif | [1] [2] [3] |
| 6 | Hella Seebach | [1] [3] |