- Suche

- Kontakt

Publikationen

    2011

  • Ensuring correct self-reconfiguration in safety-critical applications by verified result checking.
    Peter Fischer, Florian Nafz, Hella Seebach und Wolfgang Reif
    OC '11 Proceedings of the 2011 workshop on Organic computing, ACM New York
    abstract; ACMLink;
     
  • How to Design and Implement Self-organising Resource-Flow Systems
    Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer und Wolfgang Reif
    Christian Müller-Schloer, Hartmut Schmeck und Theo Ungerer (Ed.): Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Birkhäuser, Springer
    abstract; Springer Link;
     
  • Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach
    Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, und Wolfgang Reif
    Christian Müller-Schloer, Hartmut Schmeck und Theo Ungerer (Ed.): Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Birkhäuser, Springer
    abstract; Springer Link;
     
  • Developing Self-Organizing Robotic Cells using Organic Computing Principles
    Alwin Hoffmann, Florian Nafz, Hella Seebach, Andreas Schierl, and Wolfgang Reif
    Yan Meng and Yaochu Jin (Ed.): Bio-Inspired Self-Organizing Robotic Systems, Studies in Computational Intelligence, Volume 355, Springer-Verlag, Berlin/Heidelberg
    abstract; Springer Link;
     
  • Decentralized Reconfiguration for Self-Organizing Resource-Flow Systems Based on Local Knowledge
    Gerrit Anders, Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, and Wolfgang Reif
    Proceedings of the 8th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2011)
    abstract;
     

    • 2010

  • Designing Self-Healing in Automotive Systems
    Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, and Wilhelm Schäfer
    Proceedings of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), Springer
    abstract;
     
  • A Formal Framework for Compositional Verification of Organic Computing Systems
    Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, and Wolfgang Reif
    Proceedings of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), Springer
    abstract;
     
  • 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 Trustworthy Self-Organizing System Workshop 2010 at the Fourth IEEE Conference on Self-Adaptive and Self-Organizing Systems, IEEE
    abstract; IEEE Xplore;
     
  • A Software Engineering Guideline for Self-organizing Resource-Flow Systems
    Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, and Wolfgang Reif
    Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010)
    abstract;
     
  • Developing Self-Organizing Robotic Cells using Organic Computing Principles
    Alwin Hoffmann, Florian Nafz, Hella Seebach, Andreas Schierl, and Wolfgang Reif
    Workshop on Bio-Inspired Self-Organizing Robotic Systems, 2010 IEEE International Conference on Robotics and Automation (ICRA 2010), Anchorage, Alaska, USA, May 3-8, 2010
    abstract; Workshop;
     
  • Interactive verification of concurrent systems using symbolic execution
    S. Bäumler, M. Balser, F. Nafz, W. Reif and G. Schellhorn
    European Journal on Artificial Intelligence (AI Communications), Vol. 23, Number 2-3 / 2010, p. 285-307, DOI 10.3233/AIC-2010-0458, IOS Press
    abstract;
     
  • On Deadlocks and Fairness in Self-organizing Resource-Flow Systems
    Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif
    Proceedings of ARCS 2010 - Architecture of Computing Systems, Springer
    abstract;
     

    • 2009

  • A universal self-organization mechanism for role-based Organic Computing systems
    Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif
    Proceedings of the Sixth International Conference on Autonomic and Trusted Computing (ATC-09)
    abstract;
     
  • A generic software framework for role-based Organic Computing systems
    Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif
    SEAMS 2009: ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems, IEEE/ACM Digital Library
    abstract;
     

    • 2008

  • A specification and construction paradigm for Organic Computing systems
    M. Güdemann, F.Nafz, F.Ortmeier, H.Seebach and W.Reif
    Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), IEEE Computer Society Press (2008)
    abstract;
     
  • Compositional Proofs with Symbolic Execution
    Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif
    Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008 Sydney, Australia, August 10-11, 2008., CEUR Workshop Proceedings, Vol. 372
    abstract; verify08_paper (0 KB);
     
  • Prototyping Plant Control Software with Microsoft Robotics Studio
    A. Hoffmann, F. Nafz, F. Ortmeier, A. Schierl, and W. Reif
    Proceedings of the Third International Workshop on "Software Development and Integration in Robotics" (SDIR-III), IEEE International Conference on Robotics and Automation, May 2008, Pasadena, USA
    abstract; Workshop;
     
  • Organic Computing for Health Care Systems
    F. Nafz, F. Ortmeier, H. Seebach, and W. Reif
    Proceedings of International Conference on Health Informatics

     
  • Implementing Organic Computing Systems With Agentservice
    Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif
    3rd International Conference on Evaluation of Novel Approaches to Software Engineering
    abstract;
     

    • 2006

  • Applications in Organic Computing (DFG SPP 1183 "Organic Computing")
    Eds.: F. Nafz, M. Güdemann, W. Reif, H. Seebach
    Technischer Bericht 2006-22
    abstract;
     
  • Applications and Architectures in Organic Computing (DFG SPP 1183 "Organic Computing")
    Eds.: M. Güdemann, F. Nafz, A. Pietzowski, W. Reif, B. Satzger, H. Seebach, T. Ungerer
    Technischer Bericht 2006-21
    abstract;
     
  • Towards Safe and Secure Organic Computing Applications
    Matthias Güdemann, Florian Nafz, Wolfgang Reif and Hella Seebach
    C. Hochberger and R. Liskowsky, editors, INFORMATIK 2006 -- Informatik für Menschen, volume P-93 of GI-Edition -- Lecture Notes in Informatics, Köllen Verlag
    abstract;