- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| p3 |      | Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif: Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. Organic Computing 2011: 79-93 |
| p2 | | Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif: How to Design and Implement Self-organising Resource-Flow Systems. Organic Computing 2011: 145-161 |
| p1 | | Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach, Wolfgang Reif: Developing Self-Organizing Robotic Cells Using Organic Computing Principles. Bio-Inspired Self-Organizing Robotic Systems 2011: 253-273 |
| 2010 | ||
| j1 | | Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn: Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2-3): 285-307 (2010) |
| c12 | | Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif: On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. ARCS 2010: 87-100 |
| c11 | | Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif: A Formal Framework for Compositional Verification of Organic Computing Systems. ATC 2010: 17-31 |
| c10 | | Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer: Designing Self-healing in Automotive Systems. ATC 2010: 47-61 |
| c9 | | Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer: Formal Specification and Analysis of Trusted Communities. SASO Workshops 2010: 190-195 |
| c8 | | Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif: A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. SASO 2010: 194-203 |
| 2009 | ||
| c7 | | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC 2009: 17-31 |
| c6 | | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: A generic software framework for role-based Organic Computing systems. SEAMS 2009: 96-105 |
| 2008 | ||
| c5 |  | Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290 |
| c4 | | Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif: Compositional Proofs with Symbolic Execution. VERIFY 2008 |
| c3 | | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: Implementing Organic Computing Systems with AgentService. ENASE 2008: 64-71 |
| c2 | | Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: A Specification and Construction Paradigm for Organic Computing Systems. SASO 2008: 233-242 |
| 2006 | ||
| c1 | | Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach: Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) 2006: 153-160 |
Data released under the ODC-BY 1.0 license — See also our legal information page