Towards Safe and Secure Organic Computing Applications. - Matthias Güdemann; Florian Nafz; Wolfgang Reif; Hella Seebach (GI Jahrestagung (1), 2006)

Organic Computing for Health Care Systems - Possible Benefits and Challenges. - Florian Nafz; Frank Ortmeier; Hella Seebach; Wolfgang Reif (HEALTHINF (2), 2008)

Compositional Proofs with Symbolic Execution. - Simon Bäumler; Florian Nafz; Michael Balser; Wolfgang Reif (VERIFY, 2008)

Implementing Organic Computing Systems with AgentService. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (ENASE, 2008)

A Specification and Construction Paradigm for Organic Computing Systems. - Matthias Güdemann; Florian Nafz; Frank Ortmeier; Hella Seebach; Wolfgang Reif (SASO, 2008)

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (ATC, 2009)

A generic software framework for role-based Organic Computing systems. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (SEAMS, 2009)

On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. - Jan-Philipp Steghöfer; Pratik Mandrekar; Florian Nafz; Hella Seebach; Wolfgang Reif (ARCS, 2010)

A Formal Framework for Compositional Verification of Organic Computing Systems. - Florian Nafz; Hella Seebach; Jan-Philipp Steghöfer; Simon Bäumler; Wolfgang Reif (ATC, 2010)

Designing Self-healing in Automotive Systems. - Hella Seebach; Florian Nafz; Jörg Holtmann; Jan Meyer; Matthias Tichy; Wolfgang Reif; Wilhelm Schäfer (ATC, 2010)

A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. - Hella Seebach; Florian Nafz; Jan-Philipp Steghöfer; Wolfgang Reif (SASO, 2010)

Formal Specification and Analysis of Trusted Communities. - Jan-Philipp Steghöfer; Florian Nafz; Wolfgang Reif; Yvonne Bernard; Lukas Klejnowski; Jörg Hähner; Christian Müller-Schloer (SASO Workshops, 2010)

Interactive verification of concurrent systems using symbolic execution. - Simon Bäumler; Michael Balser; Florian Nafz; Wolfgang Reif; Gerhard Schellhorn (AI Commun., 2010)

Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. - Florian Nafz; Hella Seebach; Jan-Philipp Steghöfer; Gerrit Anders; Wolfgang Reif (Organic Computing, 2011)

How to Design and Implement Self-organising Resource-Flow Systems. - Hella Seebach; Florian Nafz; Jan-Philipp Steghöfer; Wolfgang Reif (Organic Computing, 2011)

A genetic algorithm for self-optimization in safety-critical resource-flow systems. - Florian Siefert; Florian Nafz; Hella Seebach; Wolfgang Reif (EAIS, 2011)

Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. - Peter Fischer; Florian Nafz; Hella Seebach; Wolfgang Reif (OC@ICAC, 2011)

Developing Self-Organizing Robotic Cells Using Organic Computing Principles. - Alwin Hoffmann; Florian Nafz; Andreas Schierl; Hella Seebach; Wolfgang Reif (Bio-Inspired Self-Organizing Robotic Systems, 2011)

Verhaltensgarantien in selbst-organisierenden Systemen. - Florian Nafz (Logos-Verlag, 2012)

Synthesis of observers for autonomic evolutionary systems from requirements models. - Jan-Philipp Steghöfer; Benedikt Eberhardinger; Florian Nafz; Wolfgang Reif (IM, 2013)

Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. - Benedikt Eberhardinger; Jan-Philipp Steghöfer; Florian Nafz; Wolfgang Reif (ISSRE, 2013)

Constraint Relationships for Soft Constraints. - Alexander Schiendorfer; Jan-Philipp Steghöfer; Alexander Knapp; Florian Nafz; Wolfgang Reif (SGAI Conf., 2013)

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures. - Florian Nafz; Jan-Philipp Steghöfer; Hella Seebach; Wolfgang Reif (Assurances for Self-Adaptive Systems, 2013)

Eine REIFe Leistung - Anecdotes from Behind the Scenes. - Gidon Ernst; Dominik Haneberg; Matthias Güdemann; Oliver Kosak; Florian Nafz; Hella Ponsar; Gerhard Schellhorn (Go Where the Bugs Are, 2025)

A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif. - Dominik Haneberg; Alexander Knapp; Oliver Kosak; Florian Nafz; Hella Ponsar; Gerhard Schellhorn; Martin Wirsing (Go Where the Bugs Are, 2025)

Artificial Intelligence in Software Documentation: Embracing the Documentation as Code Paradigm. - Florian Nafz; Magdalena Krajinovic; Martin Ley (Go Where the Bugs Are, 2025)