Florian Nafz

27 papers A 2B 2C 3Journal 1Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif.
Go Where the Bugs Are
Dominik Haneberg, Alexander Knapp, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn, Martin Wirsing
2025 — conf
Artificial Intelligence in Software Documentation: Embracing the Documentation as Code Paradigm.
Go Where the Bugs Are
Florian Nafz, Magdalena Krajinovic, Martin Ley
2025 — conf
Eine REIFe Leistung - Anecdotes from Behind the Scenes.
Go Where the Bugs Are
Gidon Ernst, Dominik Haneberg, Matthias Güdemann, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn
2025 — ed.
Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are
Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer
2013 — conf
Constraint Relationships for Soft Constraints.
SGAI Conf.
Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif
2013 — ch.
Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures.
Assurances for Self-Adaptive Systems
Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif
2013 A conf
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems.
ISSRE
Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif
2013 B conf
Synthesis of observers for autonomic evolutionary systems from requirements models.
IM
Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif
2012 — —
Verhaltensgarantien in selbst-organisierenden Systemen.
Florian Nafz
2011 — conf
A genetic algorithm for self-optimization in safety-critical resource-flow systems.
EAIS
Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif
2011 — ch.
Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach.
Organic Computing
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif
2011 — ch.
Developing Self-Organizing Robotic Cells Using Organic Computing Principles.
Bio-Inspired Self-Organizing Robotic Systems
Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach, Wolfgang Reif
2011 — conf
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking.
OC@ICAC
Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif
2011 — ch.
How to Design and Implement Self-organising Resource-Flow Systems.
Organic Computing
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif
2010 C conf
A Formal Framework for Compositional Verification of Organic Computing Systems.
ATC
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif
2010 — conf
A Software Engineering Guideline for Self-Organizing Resource-Flow Systems.
SASO
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif
2010 C conf
Designing Self-healing in Automotive Systems.
ATC
Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer
2010 — conf
Formal Specification and Analysis of Trusted Communities.
SASO Workshops
Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer
2010 J jnl
Interactive verification of concurrent systems using symbolic execution.
AI Commun.
Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn
2010 — conf
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems.
ARCS
Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif
2009 C conf
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems.
ATC
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2009 A conf
A generic software framework for role-based Organic Computing systems.
SEAMS
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2008 — conf
A Specification and Construction Paradigm for Organic Computing Systems.
SASO
Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
2008 — conf
Compositional Proofs with Symbolic Execution.
VERIFY
Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif
2008 B conf
Implementing Organic Computing Systems with AgentService.
ENASE
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2008 — conf
Organic Computing for Health Care Systems - Possible Benefits and Challenges.
HEALTHINF (2)
Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
2006 — conf
Towards Safe and Secure Organic Computing Applications.
GI Jahrestagung (1)
Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach