Florian Nafz

ORCID

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Venues

ISSRE

SGAI Conf.

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif
Constraint Relationships for Soft Constraints. SGAI Conf. (2013)
Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif
Synthesis of observers for autonomic evolutionary systems from requirements models. IM (2013)
Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. ISSRE (2013)
Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. OC@ICAC (2011)
Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif
A genetic algorithm for self-optimization in safety-critical resource-flow systems. EAIS (2011)
Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn
Interactive verification of concurrent systems using symbolic execution. AI Commun. 23 (2-3) (2010)
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif
A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. SASO (2010)
Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. ARCS (2010)
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)
Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer
Designing Self-healing in Automotive Systems. ATC (2010)
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)
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
A generic software framework for role-based Organic Computing systems. SEAMS (2009)
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)
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
Implementing Organic Computing Systems with AgentService. ENASE (2008)
Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif
Compositional Proofs with Symbolic Execution. VERIFY (2008)
Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) (2008)
Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
A Specification and Construction Paradigm for Organic Computing Systems. SASO (2008)
Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach
Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) (2006)

Florian Nafz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florian Nafz