publications:
- title: "Organic Computing for Health Care Systems - Possible Benefits and Challenges"
  author:
  - name: "Florian Nafz"
    link: "http://"
  - name: "Frank Ortmeier"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/formerStaff/ortmeier/"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2008"
  researchr: "https://researchr.org/publication/NafzOSR08"
  cites: 0
  citedby: 0
  pages: "286-290"
  booktitle: "biostec"
  kind: "inproceedings"
  key: "NafzOSR08"
- title: "A Software Engineering Guideline for Self-Organizing Resource-Flow Systems"
  author:
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Florian Nafz"
    link: "http://"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/SASO.2010.26"
  links:
    doi: "http://dx.doi.org/10.1109/SASO.2010.26"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/saso/SeebachNSR10"
  tags:
  - "data-flow"
  - "software engineering"
  researchr: "https://researchr.org/publication/SeebachNSR10"
  cites: 0
  citedby: 0
  pages: "194-203"
  booktitle: "saso"
  kind: "inproceedings"
  key: "SeebachNSR10"
- title: "Compositional Proofs with Symbolic Execution"
  author:
  - name: "Simon Bäumler"
    link: "https://researchr.org/alias/simon-b%C3%A4umler"
  - name: "Florian Nafz"
    link: "http://"
  - name: "Michael Balser"
    link: "https://researchr.org/alias/michael-balser"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2008"
  doi: "http://ceur-ws.org/Vol-372/paper04.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-372/paper04.pdf"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/BaumlerNBR08"
  cites: 0
  citedby: 0
  booktitle: "cade"
  kind: "inproceedings"
  key: "BaumlerNBR08"
- title: "A generic software framework for role-based Organic Computing systems"
  author:
  - name: "Florian Nafz"
    link: "http://"
  - name: "Frank Ortmeier"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/formerStaff/ortmeier/"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2009"
  abstract: "An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is therefore more dependable as e.g. some failures can be compensated. Furthermore, it is easier to maintain as it automatically configures itself and more convenient to use because of its automatic adaptation to new situations. Design and construction of Organic Computing systems are, however, challenging tasks. The Organic Design Pattern (ODP) is a design guideline to aid engineers in these tasks. This paper introduces a generic software framework that allows for easy implementation of ODP-based Organic Computing Systems. The communication and service infrastructure of the multi-agent system Jadex is leveraged to provide interaction facilities and services to the application. The concepts of ODP are provided as generic, extensible elements that can be augmented with domain-specific behavior. The dynamic behavior of an ODP system is implemented and a generic observer/controller facility is provided. A real-world case study shows the applicability of the proposed approach and the handling of the software. "
  tags:
  - "interaction design"
  - "rule-based"
  - "application framework"
  - "case study"
  - "design"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/nafz2009gsf"
  cites: 0
  citedby: 0
  booktitle: "ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems"
  kind: "inproceedings"
  key: "nafz2009gsf"
- title: "Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach"
  author:
  - name: "Florian Nafz"
    link: "http://"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Gerrit Anders"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/anders/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2011"
  links:
    "url": "http://dx.doi.org/10.1007/978-3-0348-0130-0_5"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/nafz2011ria"
  cites: 0
  citedby: 0
  pages: "79-93"
  booktitle: "Organic Computing -- A Paradigm Shift for Complex Systems"
  volume: "1"
  series: "Autonomic Systems"
  publisher: "Springer Basel"
  isbn: "978-3-0348-0130-0"
  kind: "incollection"
  key: "nafz2011ria"
- title: "A generic software framework for role-based Organic Computing systems"
  author:
  - name: "Florian Nafz"
    link: "http://"
  - name: "Frank Ortmeier"
    link: "https://researchr.org/alias/frank-ortmeier"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEAMS.2009.5069078"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEAMS.2009.5069078"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/NafzOSSR09"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/NafzOSSR09-0"
  cites: 0
  citedby: 0
  pages: "96-105"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "NafzOSSR09-0"
- title: "Implementing Organic Computing Systems with AgentService"
  author:
  - name: "Florian Nafz"
    link: "http://"
  - name: "Frank Ortmeier"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/formerStaff/ortmeier/"
  - name: "Hella Seebach"
    link: "https://researchr.org/alias/hella-seebach"
  - name: "Jan-Philipp Steghöfer"
    link: "https://researchr.org/alias/jan-philipp-stegh%C3%B6fer"
  - name: "Wolfgang Reif"
    link: "https://researchr.org/alias/wolfgang-reif"
  year: "2008"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/enase/NafzOSSR08"
  researchr: "https://researchr.org/publication/NafzOSSR08"
  cites: 0
  citedby: 0
  pages: "64-71"
  booktitle: "ENASE"
  kind: "inproceedings"
  key: "NafzOSSR08"
- title: "A Formal Framework for Compositional Verification of Organic Computing Systems"
  author:
  - name: "Florian Nafz"
    link: "http://"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Simon Bäumler"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/formerStaff/baeumler/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2010"
  links:
    "url": "http://dx.doi.org/10.1007/978-3-642-16576-4_2"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/springerlink%3A10.1007-978-3-642-16576-42"
  cites: 0
  citedby: 0
  booktitle: "Autonomic and Trusted Computing"
  volume: "6407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer Berlin / Heidelberg"
  kind: "incollection"
  key: "springerlink:10.1007-978-3-642-16576-42"
- title: "Formal Specification and Analysis of Trusted Communities"
  author:
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Florian Nafz"
    link: "http://"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  - name: "Yvonne Bernard"
    link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/bernard/"
  - name: "Lukas Klejnowski"
    link: "http://www.sra.uni-hannover.de/mitarbeiter/wissenschaftliche-mitarbeiter/homepage/klejnowski/"
  - name: "Jörg Hähner"
    link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/juniorprofessor/"
  - name: "Christian Müller-Schloer"
    link: "http://www.sra.uni-hannover.de/mitarbeiter/professoren/fachgebietsleitung/"
  year: "2010"
  abstract: "Trusted Communities are a way to improve the performance of self-organising agent systems by limiting the interactions to trustworthy partners and excluding agents that behaved uncooperatively. We describe the mechanism in an abstract way and identify three central decisions each agent has to make if it supports Trusted Communities. Based on a formal specification of the agent behaviour in an instantiation of the mechanism for Desktop Grid Systems, we identify one of the system goals and show by formal verification that this goal is reached. Additionally, we provide certain requirements for the decision procedures that become evident during the analysis process. "
  tags:
  - "rule-based"
  - "analysis"
  researchr: "https://researchr.org/publication/steghoefer2010fstc"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the Trustworthy Self-Organizing System Workshop 2010 at the Fourth IEEE Conference on Self-Adaptive and Self-Organizing Systems"
  kind: "inproceedings"
  key: "steghoefer2010fstc"
- title: "Implementing Organic Computing Systems With Agentservice"
  author:
  - name: "Florian Nafz"
    link: "http://"
  - name: "Frank Ortmeier"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/formerStaff/ortmeier/"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2008"
  abstract: "Designing and implementing Organic Computing systems is typically a difficult task. To facilitate the construction a design pattern for Organic Computing systems has been developed. This organic design pattern (ODP) helps in modeling and designing a broad class of Organic Computing systems. This paper focuses on the implementation of Organic Computing systems with the help of this pattern. The core idea is to provide a generic implementation by mapping ODP artifacts to artifacts of a multi-agent framework. The used framework – AgentService – is one of the few C# multi-agent frameworks. In this paper a possible implementation as well as benefits and limitations are described. "
  tags:
  - "meta-model"
  - "modeling"
  - "C++"
  - "Meta-Environment"
  - "design"
  researchr: "https://researchr.org/publication/nafz2008implementing"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering"
  kind: "inproceedings"
  key: "nafz2008implementing"
- title: "On Deadlocks and Fairness in Self-organizing Resource-Flow Systems"
  author:
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Pratik Mandrekar"
    link: "https://researchr.org/alias/pratik-mandrekar"
  - name: "Florian Nafz"
    link: "http://"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11950-7_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11950-7_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/arcs/SteghoferMNSR10"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/SteghoferMNSR10"
  cites: 0
  citedby: 0
  pages: "87-100"
  booktitle: "arcs"
  kind: "inproceedings"
  key: "SteghoferMNSR10"
- title: "A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems"
  author:
  - name: "Florian Nafz"
    link: "http://"
  - name: "Frank Ortmeier"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/formerStaff/ortmeier/"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02704-8_3"
  abstract: "An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is therefore more dependable as e.g.\\ some failures can be compensated. Furthermore, it is easier to maintain as it automatically configures itself and more convenient to use because of its automatic adaptation to new situations. On the other hand, design and construction of Organic Computing systems is a challenging task. The Organic Design Pattern (ODP) is a design guideline to aid engineers in this task. This paper describes a universal reconfiguration mechanism for role-based Organic Computing systems. If a system is modeled in accordance with the ODP guideline, reconfiguration can be implemented generically on the basis of an of-the-shelf constraint solver. The paper shows how Kodkod can be used for this and illustrates the approach on an example from production automation. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02704-8_3"
  tags:
  - "rule-based"
  - "meta-model"
  - "constraints"
  - "object-role modeling"
  - "Meta-Environment"
  - "design"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/NafzOSSR09"
  cites: 0
  citedby: 0
  pages: "17-31"
  booktitle: "ATC"
  kind: "inproceedings"
  key: "NafzOSSR09"
- title: "A Specification and Construction Paradigm for Organic Computing Systems"
  author:
  - name: "Matthias Güdemann"
    link: "https://researchr.org/alias/matthias-g%C3%BCdemann"
  - name: "Florian Nafz"
    link: "http://"
  - name: "Frank Ortmeier"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/formerStaff/ortmeier/"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SASO.2008.66"
  links:
    doi: "http://dx.doi.org/10.1109/SASO.2008.66"
  researchr: "https://researchr.org/publication/GudemannNOSR08"
  cites: 0
  citedby: 0
  pages: "233-242"
  booktitle: "saso"
  kind: "inproceedings"
  key: "GudemannNOSR08"
- title: "Structuring and Controlling Distributed Power Sources by Autonomous Virtual Power Plants"
  author:
  - name: "Gerrit Anders"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/anders/"
  - name: "Florian Siefert"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/siefert/"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Florian Nafz"
    link: "http://"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2010"
  abstract: "In future power grids, the number of distinct power plants will rise tremendously. At the same time, many power plants are no longer controllable but their output is subject to the current weather conditions. To deal with the complexity and unpredictability of these future systems, we propose Autonomous Virtual Power Plants (AVPPs) that self-organise into clusters of power plants. These clusters then autonomously plan the energy supply based on predictions made by the power plants and by the consumers. AVPPs react to changes in the load situation by adjusting schedules. They can also change their structure if circumstances make this necessary. Furthermore, trust in the form of reliability of the power plants and credibility of their forecasts is incorporated into the planning."
  tags:
  - "control systems"
  - "rule-based"
  - "source-to-source"
  - "reliability"
  - "open-source"
  researchr: "https://researchr.org/publication/anders2010avpps"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the IEEE Power and Energy Student Summit (PESS) 2010"
  kind: "inproceedings"
  key: "anders2010avpps"
- title: "How to Design and Implement Self-organising Resource-Flow Systems"
  author:
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  - name: "Florian Nafz"
    link: "http://"
  - name: "Jan-Philipp Steghöfer"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/steghoefer/"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  year: "2011"
  links:
    "url": "http://dx.doi.org/10.1007/978-3-0348-0130-0_9"
  tags:
  - "data-flow"
  - "design"
  researchr: "https://researchr.org/publication/seebach2011odp"
  cites: 0
  citedby: 0
  pages: "145-161"
  booktitle: "Organic Computing -- A Paradigm Shift for Complex Systems"
  volume: "1"
  series: "Autonomic Systems"
  publisher: "Springer Basel"
  isbn: "978-3-0348-0130-0"
  kind: "incollection"
  key: "seebach2011odp"
- title: "Towards Safe and Secure Organic Computing Applications"
  author:
  - name: "Matthias Güdemann"
    link: "https://researchr.org/alias/matthias-g%C3%BCdemann"
  - name: "Florian Nafz"
    link: "http://"
  - name: "Wolfgang Reif"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/"
  - name: "Hella Seebach"
    link: "http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/hseebach/"
  year: "2006"
  researchr: "https://researchr.org/publication/GudemannNRS06"
  cites: 0
  citedby: 0
  pages: "153-160"
  booktitle: "gi"
  kind: "inproceedings"
  key: "GudemannNRS06"