Florian Nafz - researchr profile

researchr

You are not signed in
Sign in
Sign up

-

:

Augsburg University

Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant ApproachFlorian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif. In Organic Computing -- A Paradigm Shift for Complex Systems. Volume 1 of Autonomic Systems, pages 79-93, Springer Basel, 2011.

How to Design and Implement Self-organising Resource-Flow SystemsHella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif. In Organic Computing -- A Paradigm Shift for Complex Systems. Volume 1 of Autonomic Systems, pages 145-161, Springer Basel, 2011.

A Software Engineering Guideline for Self-Organizing Resource-Flow SystemsHella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif. saso 2010: 194-203 [doi]

A Formal Framework for Compositional Verification of Organic Computing SystemsFlorian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif. In Autonomic and Trusted Computing. Volume 6407 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.

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. In Proceedings of the Trustworthy Self-Organizing System Workshop 2010 at the Fourth IEEE Conference on Self-Adaptive and Self-Organizing Systems. 2010:

On Deadlocks and Fairness in Self-organizing Resource-Flow SystemsJan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif. arcs 2010: 87-100 [doi]

runs on WebDSL