Florian Nafz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2006–2013
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | IM | Synthesis of observers for autonomic evolutionary systems from requirements models. | Jan-Philipp Steghfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif |
| 2013 | ISSRE | Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. | Benedikt Eberhardinger, Jan-Philipp Steghfer, Florian Nafz, Wolfgang Reif |
| 2013 | SGAI | Constraint Relationships for Soft Constraints. | Alexander Schiendorfer, Jan-Philipp Steghfer, Alexander Knapp, Florian Nafz, Wolfgang Reif |
| 2010 | ATC | A Formal Framework for Compositional Verification of Organic Computing Systems. | Florian Nafz, Hella Seebach, Jan-Philipp Steghfer, Simon Bumler, Wolfgang Reif |
| 2010 | ATC | Designing Self-healing in Automotive Systems. | Hella Seebach, Florian Nafz, Jrg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schfer |
| 2009 | ATC | A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif |
| 2009 | ICSE | A generic software framework for role-based Organic Computing systems. | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif |
| 2008 | CADE | Compositional Proofs with Symbolic Execution. | Simon Bumler, Florian Nafz, Michael Balser, Wolfgang Reif |
| 2008 | ENASE | Implementing Organic Computing Systems with AgentService. | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif |
| 2006 | GI | Towards Safe and Secure Organic Computing Applications. | Matthias Gdemann, Florian Nafz, Wolfgang Reif, Hella Seebach |