Florian Nafz

According to our database, Florian Nafz authored at least 23 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures.

Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Constraint Relationships for Soft Constraints.

Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif

Proceedings of the Research and Development in Intelligent Systems XXX, 2013

Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems.

Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Synthesis of observers for autonomic evolutionary systems from requirements models.

Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

2012

Verhaltensgarantien in selbst-organisierenden Systemen.

Florian Nafz

PhD thesis, 2012

2011

Developing Self-Organizing Robotic Cells Using Organic Computing Principles.

Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach, Wolfgang Reif

Proceedings of the Bio-Inspired Self-Organizing Robotic Systems, 2011

Ensuring correct self-reconfiguration in safety-critical applications by verified result checking.

Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif

Proceedings of the 2011 workshop on Organic computing, 2011

A genetic algorithm for self-optimization in safety-critical resource-flow systems.

Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif

Proceedings of the 2011 IEEE Workshop on Evolving and Adaptive Intelligent Systems, 2011

How to Design and Implement Self-organising Resource-Flow Systems.

Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif

Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach.

Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif

Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

2010

Interactive verification of concurrent systems using symbolic execution.

Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn

AI Commun., 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

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

A Software Engineering Guideline for Self-Organizing Resource-Flow Systems.

Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Designing Self-healing in Automotive Systems.

Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

A Formal Framework for Compositional Verification of Organic Computing Systems.

Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

On Deadlocks and Fairness in Self-organizing Resource-Flow Systems.

Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif

Proceedings of the Architecture of Computing Systems, 2010

2009

A generic software framework for role-based Organic Computing systems.

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems.

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif

Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

2008

A Specification and Construction Paradigm for Organic Computing Systems.

Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Implementing Organic Computing Systems with AgentService.

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif

Proceedings of the ENASE 2008, 2008

Compositional Proofs with Symbolic Execution.

Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

Organic Computing for Health Care Systems - Possible Benefits and Challenges.

Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif

Proceedings of the First International Conference on Health Informatics, 2008

2006

Towards Safe and Secure Organic Computing Applications.

Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006