Suche

Publications


    2019

  • Ensemble Programming for Multipotent Systems
    Oliver Kosak, Felix Bohn, Felix Keller, Hella Ponsar, and Wolfgang Reif
    4th eCAS Workshop on Engineering Collective Adaptive Systems, IEEE
    abstract;

     
  • 2018

  • Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles
    Oliver Kosak, Constantin Wanninger, Alwin Hoffmann, Hella Ponsar, and Wolfgang Reif
    Sensors, Volume 19, Issue 1 (January-1 2019), MDPI
    abstract;

     
  • Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems
    Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, and Wolfgang Reif
    In book: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems/ISoLA Symposium 2018
    abstract;

     
  • Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager
    Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert, and Wolfgang Reif
    Conference: 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)
    abstract;

     
  • An Approach for Isolated Testing of Self-Organization Algorithms
    Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp und Wolfgang Reif
    Software Engineering for Self-Adaptive Systems III: Assurances, Springer
    abstract;

     
  • 2017

  • Test Case Selection Strategy for Self-Organization Mechanisms
    Benedikt Eberhardinger, Hella Seebach, Dominik Klumpp, Wolfgang Reif
    Test, Analyse und Verifikation von Software – gestern, heute, morgen, dpunkt.verlag
    abstract;

     
  • Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing
    André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, and Wolfgang Reif
    Softwaretechnik-Trends 37:3
    abstract; Publikationen; Publications; Publikationen; Publications; Publications; Publications; Publications;

     
  • Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems
    Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp, and Wolfgang Reif
    Softwaretechnik-Trends 37:3
    abstract;

     
  • 2016

  • Towards Self-organizing Swarms of Reconfigurable Self-aware Robots
    Oliver Kosak, Constantin Wanninger, Andreas Angerer, Alwin Hoffmann, Alexander Schiendorfer, and Hella Seebach
    1st eCAS Workshop on Engineering Collective Adaptive Systems, IEEE
    abstract;

     
  • Decentralized Coordination of Heterogeneous Ensembles Using Jadex
    Oliver Kosak, Constantin Wanninger, Andreas Angerer, Alwin Hoffmann, Andreas Schierl, and Hella Seebach
    10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE
    abstract;

     
  • Specification and Design of Trust-Based Open Self-Organising Systems
    Gerrit Anders, Florian Siefert, Alexander Schiendorfer, Hella Seebach, Jan-Philipp Steghöfer, Benedikt Eberhardinger, Oliver Kosak, and Wolfgang Reif
    Trustworthy Open Self-Organising Systems, Springer International Publishing
    abstract;

     
  • Combining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems
    Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Michael Hübschmann, and Wolfgang Reif
    Scalable Computing: Practice and Experiences
    abstract;

     
  • The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems
    Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, and Theo Ungerer
    Trustworthy Open Self-Organising Systems, Springer International Publishing
    abstract;

     
  • Trustworthy Open Self-Organising Systems
    Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, and Theo Ungerer
    Autonomic Systems, Springer International Publishing
    abstract;

     
  • 2015

  • Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#
    Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz, Wolfgang Reif
    Proceedings of QA4SASO, IEEE
    abstract;

     
  • Controlling Software-Induced Self-Organizing Behavior
    Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
    Evolutionary Robotics, Organic Computing and Adaptive Ambience: Epistemological and ethical implications of technomorphic descriptions of technologies / [ed] Michael Decker, Mathias Gutmann, Julia Knifka, Year 2015, LIT Verlag
    abstract;

     
  • Modelling, Specification, and Programming for Collective Adaptive Systems
    Hella Seebach, Lenz Belzner, Marco Gribaudo, Anabelle Klarl, Michele Loreti, Ugo Montanari, Laura Nenzi, Rocco De Nicola, Christophe Scholliers, Petr Tuma, and Martin Wirsing
    Dagstuhl Reports: Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512), Volume 4, Number 12, Year 2015, Schloss Dagstuhl-Leibniz-Zentrum für Informatik
    abstract;

     
  • A Framework for Testing Self-organisation Algorithms
    Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, and Wolfgang Reif
    Softwaretechnik-Trends 35:1
    abstract;

     
  • 2014

  • PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems
    Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Wolfgang Reif
    In: Principles and Practice of Multi-Agent Systems - 17th International Conference, PRIMA. Lecture Notes in Computer Science, Volume 8861 , Springer
    abstract;

     
  • Towards combining layout and process models for mixed assembly facilities
    Sven Stumm, Alwin Hoffmann, Hella Seebach, Bernd Kuhlenkötter, Wolfgang Reif
    Tagungsband 2231 AUTOMATION 2014, VDI-Berichte, VDI Verlag

     
  • Towards Testing Self-Organizing, Adaptive Systems
    Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, and Wolfgang Reif
    Proceedings of the 26th IFIP WG 6.1 International Conference (ICTSS 2014), Lecture Notes in Computer Science, Springer
    abstract;

     
  • Engineering and Mastering Interwoven Systems
    Sven Tomforde, Jörg Hähner, Hella Seebach, Wolfgang Reif, Bernhard Sick, Arno Wacker, Ingo Scholtes
    In: 2nd International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems" (SAOS'14), im Rahmen der Konferenz zu "Architectures of Computing Systems" (ARCS'14), 25. - 28.02.2014, Lübeck
    abstract;

     
  • 2013

  • Reference Architectures for Trustworthy Energy Management, Desktop Grid Computing Applications, and Ubiquitous Display Environments
    Gerrit Anders, Jan-Philipp Steghöfer, Lukas Klejnowski, Michael Wißner, Stephan Hammer, Florian Siefert, Hella Seebach, Yvonne Bernard, Wolfgang Reif, Elisabeth André, Christian Müller-Schloer
    Technical Report 2013-05
    abstract; Article available on the publication server of the University of Augsburg;

     
  • Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures
    Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif
    Assurances for Self-Adaptive Systems, Lecture Notes in Computer Science, Vol. 7740, Springer-Verlag Berlin Heidelberg
    abstract; Springer Link;

     
  • 2012

  • Konstruktion selbst-organisierender Softwaresysteme
    Hella Seebach
    Lecture Notes in Informatics, Steffen Hölldobler et al. (Hrsg.): "Ausgezeichnete Informatikdissertationen 2011", GI-Edition, Volume D-12, pp. 201-210, Köllen Druck+Verlag GmbH, Bonn
    abstract;

     
  • Towards Model-based Evolution for Robot-based Automation
    Dominik Haneberg, Alwin Hoffmann, Hella Seebach, Michael Vistein, and Wolfgang Reif
    Modellierung in der Automatisierungstechnik (MAT 2012), Workshop im Rahmen der Modellierung 2012, Bamberg, Germany, March 15, 2012
    abstract; Workshop;

     
  • 2011

  • Konstruktion selbst-organisierender Softwaresysteme
    Hella Seebach
    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2011 , Logos Verlag Berlin
    abstract; Dissertation Hella Seebach (6493 KB); Logos Verlag;

     
  • On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems
    J. Sudeikat, J.-P. Steghöfer, H. Seebach, W. Reif, W. Renz, T. Preisler, P. Salchow
    Journal: "Information and Software Technology", Elsevier
    abstract; ElsevierLink;

     
  • 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;

     
  • A Genetic Algorithm for Self-Optimization in Safety-Critical Resource-Flow Systems
    Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif
    IEEE Workshop on Evolving and Adaptive Intelligent Systems (EAIS), IEEE
    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;

     
  • Structuring and Controlling Distributed Power Sources by Autonomous Virtual Power Plants
    Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Hella Seebach, Florian Nafz, Wolfgang Reif
    Proceedings of the IEEE Power and Energy Student Summit (PESS) 2010, IEEE
    abstract;

     
  • 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;

     
  • Design and Simulation of a Wave-like Self-Organization Strategy for Resource-Flow Systems
    Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, and Peter Salchow
    Proceedings of the 4th International Workshop on Multi-Agent Systems and Simulation (MAS&S 2010)
    abstract;

     
  • A Wave-like Decentralized Reconfiguration Strategy for Self-organizing Resource-Flow Systems (Extended Abstract)
    Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, and Peter Salchow
    Proceedings of the First International Workshop on Decentralized Coordination of Distributed Processes (DCDP)
    abstract; Proceedings (PDF);

     
  • 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;

     
  • 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;

     
  • 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;

     
  • 2007

  • Design and Construction of Organic Computing Systems
    Hella Seebach, Frank Ortmeier, Wolfgang Reif
    Proceedings of 2007 IEEE Congress on Evolutionary Computation
    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;