default search action

combined dblp search
author search
venue search
publication search

ask others

Florian Nafz

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2012
[b1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Nafz12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Nafz12
Florian Nafz:
Verhaltensgarantien in selbst-organisierenden Systemen. University of Augsburg, Logos-Verlag 2012, ISBN 978-3-8325-3246-8, pp. 1-258

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/BaumlerBNRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/BaumlerBNRS10
Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn:
Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2-3): 285-307 (2010)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2013
[c17]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/im/SteghoferENR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/im/SteghoferENR13
Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif:
Synthesis of observers for autonomic evolutionary systems from requirements models. IM 2013: 1405-1408
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/EberhardingerSNR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/EberhardingerSNR13
Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif:
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. ISSRE 2013: 21-30
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sgai/SchiendorferSKNR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sgai/SchiendorferSKNR13
Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif:
Constraint Relationships for Soft Constraints. SGAI Conf. 2013: 241-255
2011
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/eais/SiefertNSR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eais/SiefertNSR11
Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif:
A genetic algorithm for self-optimization in safety-critical resource-flow systems. EAIS 2011: 77-84
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icac/FischerNSR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icac/FischerNSR11
Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif:
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. OC@ICAC 2011: 3-12
2010
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/arcs/SteghoferMNSR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arcs/SteghoferMNSR10
Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif:
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. ARCS 2010: 87-100
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/atc/NafzSSBR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atc/NafzSSBR10
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: 17-31
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/atc/SeebachNHMTRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atc/SeebachNHMTRS10
Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer:
Designing Self-healing in Automotive Systems. ATC 2010: 47-61
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/SteghoferNRBKHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/SteghoferNRBKHM10
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: 190-195
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/SeebachNSR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/SeebachNSR10
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif:
A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. SASO 2010: 194-203
2009
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/atc/NafzOSSR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atc/NafzOSSR09
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: 17-31
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NafzOSSR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NafzOSSR09
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif:
A generic software framework for role-based Organic Computing systems. SEAMS 2009: 96-105
2008
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/biostec/NafzOSR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/biostec/NafzOSR08
Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif:
Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/BaumlerNBR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaumlerNBR08
Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif:
Compositional Proofs with Symbolic Execution. VERIFY 2008
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/enase/NafzOSSR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/NafzOSSR08
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif:
Implementing Organic Computing Systems with AgentService. ENASE 2008: 64-71
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/GudemannNOSR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/GudemannNOSR08
Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif:
A Specification and Construction Paradigm for Organic Computing Systems. SASO 2008: 233-242
2006
[c1]
- view
- export record
  dblp key:
  - conf/gi/GudemannNRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/GudemannNRS06
Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach:
Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) 2006: 153-160

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2013
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/NafzSSR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/NafzSSR13
Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif:
Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures. Assurances for Self-Adaptive Systems 2013: 80-111
2011
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Muller2011/NafzSSAR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Muller2011/NafzSSAR11
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif:
Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. Organic Computing 2011: 79-93
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Muller2011/SeebachNSR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Muller2011/SeebachNSR11
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif:
How to Design and Implement Self-organising Resource-Flow Systems. Organic Computing 2011: 145-161
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/sci/HoffmannNSSR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/HoffmannNSSR11
Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach, Wolfgang Reif:
Developing Self-Organizing Robotic Cells Using Organic Computing Principles. Bio-Inspired Self-Organizing Robotic Systems 2011: 253-273

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.