Florian Nafz - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Florian Nafz' as author, editor, or advisor:

Synthesis of observers for autonomic evolutionary systems from requirements modelsJan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif. im 2013: 1405-1408 [doi]
Ensuring correct self-reconfiguration in safety-critical applications by verified result checkingPeter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif. icac 2011: 3-12 [doi]
Verhaltensgarantien in selbst-organisierenden SystemenFlorian Nafz. PhD thesis, University of Augsburg, 2012. [doi]
Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-ArchitecturesFlorian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif. In Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, editors, Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Volume 7740 of Lecture Notes in Computer Science, pages 80-111, Springer, 2013. [doi]
A genetic algorithm for self-optimization in safety-critical resource-flow systemsFlorian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif. eais 2011: 77-84 [doi]
Designing Self-healing in Automotive SystemsHella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer. ATC 2010: 47-61 [doi]
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systemsBenedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif. issre 2013: 21-30 [doi]
Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant ApproachFlorian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif. In Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer, editors, Organic Computing - A Paradigm Shift for Complex Systems. pages 79-93, Springer, 2011. [doi]
How to Design and Implement Self-organising Resource-Flow SystemsHella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif. In Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer, editors, Organic Computing - A Paradigm Shift for Complex Systems. pages 145-161, Springer, 2011. [doi]
Formal Specification and Analysis of Trusted CommunitiesJan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer. saso 2010: 190-195 [doi]
Interactive verification of concurrent systems using symbolic executionSimon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn. aicom, 23(2-3):285-307, 2010. [doi]
Developing Self-Organizing Robotic Cells Using Organic Computing PrinciplesAlwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach, Wolfgang Reif. In Yan Meng, Yaochu Jin, editors, Bio-Inspired Self-Organizing Robotic Systems. Volume 355 of Studies in Computational Intelligence, pages 253-273, 2011. [doi]
Constraint Relationships for Soft ConstraintsAlexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif. sgai 2013: 241-255 [doi]

runs on WebDSL