@inproceedings{NafzOSR08,
  title = {Organic Computing for Health Care Systems - Possible Benefits and Challenges},
  author = {Florian Nafz and Frank Ortmeier and Hella Seebach and Wolfgang Reif},
  year = {2008},
  researchr = {https://researchr.org/publication/NafzOSR08},
  cites = {0},
  citedby = {0},
  pages = {286-290},
  booktitle = {Proceedings of the First International Conference on Health Informatics, HEALTHINF 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Volume 2},
  editor = {Luís Azevedo and Ana Rita Londral},
  publisher = {INSTICC - Institute for Systems and Technologies of Information, Control and Communication},
  isbn = {978-989-8111-16-6},
}

@inproceedings{SeebachNSR10,
  title = {A Software Engineering Guideline for Self-Organizing Resource-Flow Systems},
  author = {Hella Seebach and Florian Nafz and Jan-Philipp Steghöfer and Wolfgang Reif},
  year = {2010},
  doi = {10.1109/SASO.2010.26},
  url = {http://dx.doi.org/10.1109/SASO.2010.26},
  tags = {data-flow, software engineering},
  researchr = {https://researchr.org/publication/SeebachNSR10},
  cites = {0},
  citedby = {0},
  pages = {194-203},
  booktitle = {Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010, Budapest, Hungary, 27 September - 1 October 2010},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4232-4},
}

@inproceedings{BaumlerNBR08,
  title = {Compositional Proofs with Symbolic Execution},
  author = {Simon Bäumler and Florian Nafz and Michael Balser and Wolfgang Reif},
  year = {2008},
  url = {http://ceur-ws.org/Vol-372/paper04.pdf},
  tags = {composition},
  researchr = {https://researchr.org/publication/BaumlerNBR08},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008},
  editor = {Bernhard Beckert and Gerwin Klein},
  volume = {372},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@inproceedings{nafz2009gsf,
  title = {A generic software framework for role-based Organic Computing systems},
  author = {Florian Nafz and Frank Ortmeier and Hella Seebach and Jan-Philipp Steghöfer and Wolfgang Reif},
  year = {2009},
  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},
  organization = {IEEE},
  publisher = {IEEE},
}

@incollection{nafz2011ria,
  title = {Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach},
  author = {Florian Nafz and Hella Seebach and Jan-Philipp Steghöfer and Gerrit Anders and Wolfgang Reif},
  year = {2011},
  url = {http://dx.doi.org/10.1007/978-3-0348-0130-0_5},
  note = {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},
}

@inproceedings{NafzOSSR09-0,
  title = {A generic software framework for role-based Organic Computing systems},
  author = {Florian Nafz and Frank Ortmeier and Hella Seebach and Jan-Philipp Steghöfer and Wolfgang Reif},
  year = {2009},
  doi = {10.1109/SEAMS.2009.5069078},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEAMS.2009.5069078},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/NafzOSSR09-0},
  cites = {0},
  citedby = {0},
  pages = {96-105},
  booktitle = {2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009, Vancouver, BC, Canada, May 18-19, 2009},
  publisher = {IEEE},
  isbn = {978-1-4244-3724-5},
}

@inproceedings{NafzOSSR08,
  title = {Implementing Organic Computing Systems with AgentService},
  author = {Florian Nafz and Frank Ortmeier and Hella Seebach and Jan-Philipp Steghöfer and Wolfgang Reif},
  year = {2008},
  researchr = {https://researchr.org/publication/NafzOSSR08},
  cites = {0},
  citedby = {0},
  pages = {64-71},
  booktitle = {ENASE 2008 - Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira, Portugal, May 4-7, 2008},
  editor = {Cesar Gonzalez-Perez and Stefan Jablonski},
  publisher = {INSTICC Press},
  isbn = {978-989-8111-28-9},
}

@incollection{springerlink:10.1007-978-3-642-16576-42,
  title = {A Formal Framework for Compositional Verification of Organic Computing Systems},
  author = {Florian Nafz and Hella Seebach and Jan-Philipp Steghöfer and Simon Bäumler and Wolfgang Reif},
  year = {2010},
  url = {http://dx.doi.org/10.1007/978-3-642-16576-4_2},
  note = {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},
}

@inproceedings{steghoefer2010fstc,
  title = {Formal Specification and Analysis of Trusted Communities},
  author = {Jan-Philipp Steghöfer and Florian Nafz and Wolfgang Reif and Yvonne Bernard and Lukas Klejnowski and Jörg Hähner and Christian Müller-Schloer},
  year = {2010},
  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},
  publisher = {IEEE Computer Society Press},
}

@inproceedings{nafz2008implementing,
  title = {Implementing Organic Computing Systems With Agentservice},
  author = {Florian Nafz and Frank Ortmeier and Hella Seebach and Jan-Philipp Steghöfer and Wolfgang Reif},
  year = {2008},
  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},
}

@inproceedings{SteghoferMNSR10,
  title = {On Deadlocks and Fairness in Self-organizing Resource-Flow Systems},
  author = {Jan-Philipp Steghöfer and Pratik Mandrekar and Florian Nafz and Hella Seebach and Wolfgang Reif},
  year = {2010},
  doi = {10.1007/978-3-642-11950-7_9},
  url = {http://dx.doi.org/10.1007/978-3-642-11950-7_9},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/SteghoferMNSR10},
  cites = {0},
  citedby = {0},
  pages = {87-100},
  booktitle = {Architecture of Computing Systems - ARCS 2010, 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings},
  editor = {Christian Müller-Schloer and Wolfgang Karl and Sami Yehia},
  volume = {5974},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11949-1},
}

@inproceedings{NafzOSSR09,
  title = {A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems},
  author = {Florian Nafz and Frank Ortmeier and Hella Seebach and Jan-Philipp Steghöfer and Wolfgang Reif},
  year = {2009},
  doi = {10.1007/978-3-642-02704-8_3},
  url = {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 = {Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings},
  editor = {Wolfgang Reif and Guojun Wang and Jadwiga Indulska},
  volume = {5586},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02703-1},
}

@inproceedings{GudemannNOSR08,
  title = {A Specification and Construction Paradigm for Organic Computing Systems},
  author = {Matthias Güdemann and Florian Nafz and Frank Ortmeier and Hella Seebach and Wolfgang Reif},
  year = {2008},
  doi = {10.1109/SASO.2008.66},
  url = {http://dx.doi.org/10.1109/SASO.2008.66},
  researchr = {https://researchr.org/publication/GudemannNOSR08},
  cites = {0},
  citedby = {0},
  pages = {233-242},
  booktitle = {Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008, 20-24 October 2008, Venice, Italy},
  editor = {Sven A. Brueckner and Paul Robertson and Umesh Bellur},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3404-6},
}

@inproceedings{anders2010avpps,
  title = {Structuring and Controlling Distributed Power Sources by Autonomous Virtual Power Plants},
  author = {Gerrit Anders and Florian Siefert and Jan-Philipp Steghöfer and Hella Seebach and Florian Nafz and Wolfgang Reif},
  year = {2010},
  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},
  organization = {IEEE},
}

@incollection{seebach2011odp,
  title = {How to Design and Implement Self-organising Resource-Flow Systems},
  author = {Hella Seebach and Florian Nafz and Jan-Philipp Steghöfer and Wolfgang Reif},
  year = {2011},
  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},
}

@inproceedings{GudemannNRS06,
  title = {Towards Safe and Secure Organic Computing Applications},
  author = {Matthias Güdemann and Florian Nafz and Wolfgang Reif and Hella Seebach},
  year = {2006},
  researchr = {https://researchr.org/publication/GudemannNRS06},
  cites = {0},
  citedby = {0},
  pages = {153-160},
  booktitle = {Informatik 2006 - Informatik für Menschen, Band 1, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden},
  editor = {Christian Hochberger and Rüdiger Liskowsky},
  volume = {93},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-187-4},
}