An Interactive Verification System Based on Dynamic Logic. - Reiner Hähnle; Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (CADE, 1986)

Program Verification Using Dynamic Logic. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (CSL, 1987)

Program Verification by Symbolic Execution and Induction. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (GWAI, 1987)

Implementing Verification Strategies in the KIV-System. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (CADE, 1988)

Bericht über den Workshop "Logik und Wissensrepräsentation". - Maritta Heisel; Wolfgang Reif (Künstliche Intell., 1988)

A Dynamic Logic for Program Verification. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (Logic at Botik, 1989)

Machine-Assisted Program Construction and Modification. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (GWAI, 1989)

Tactical Theorem Proving in Program Verification. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (CADE, 1990)

Korrektheit von Spezifikationen und generischen Moduln. - Wolfgang Reif (1991)

The KIV System: Systematic Construction of Verified Software. - Wolfgang Reif (CADE, 1992)

Verification of Large Software Systems. - Wolfgang Reif (FSTTCS, 1992)

Correctness of Generic Modules. - Wolfgang Reif (LFCS, 1992)

Correctness of Full First-Order Specifications. - Wolfgang Reif (SEKE, 1992)

An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. - Wolfgang Reif (Formal Methods in Programming and Their Applications, 1993)

Reuse of Proofs in Software Verification. - Wolfgang Reif; Kurt Stenzel (FSTTCS, 1993)

KORSO: Das Verbundprojekt "Korrekte Software". - Heinrich Hußmann; Jacques Loeckx; Wolfgang Reif (GI Jahrestagung, 1993)

The KIV System: A Tool for Formal Program Development. - Rainer Drexler; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel; Werner Stephan 001; Andreas Wolpers (STACS, 1993)

VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. - Markus Ullmann; H. Hauff; D. Loevenich; P. Kejwal; R. Förster; P. Baur; Wolfgang Reif; Werner Stephan 001; Andreas Wolpers; Jürgen Cleve; Dieter Hutter; Claus Sengler; et al. (VIS, 1993)

Formal Specification and Verification Using KIV. - Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FTRTFT, 1994)

Tactics in KIV. - Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (J. Inf. Process. Cybern., 1994)

Three Selected Case Studies in Verification. - Thomas Fuchß; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (KORSO Book, 1995)

The KIV-Approach to Software Verification. - Wolfgang Reif (KORSO Book, 1995)

Proving System Correctness with KIV 3.0. - Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (CADE, 1997)

Proving System Correctness with KIV. - Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (TAPSOFT, 1997)

Software-Verifikation und ihre Anwendungen. - Wolfgang Reif (Informationstechnik Tech. Inform., 1997)

KIV 3.0 for Provably Correct Systems. - Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FM-Trends, 1998)

VSE: Controlling the Complexity in Formal Software Developments. - Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan 001; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FM-Trends, 1998)

Formal Methods and Tools: Introduction and Overview. - Rudolf Berghammer; Yassine Lakhnech; Wolfgang Reif (Tool Support for System Specification, Development and Verification, 1998)

Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik. - Wolfgang Reif (Künstliche Intell., 1998)

Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. - Wolfgang Reif (Inform. Forsch. Entwickl., 1999)

J.UCS Special Issue on Integration of Deduction Systems. - Reiner Hähnle; Wolfram Menzel; Peter H. Schmitt; Wolfgang Reif (J. Univers. Comput. Sci., 1999)

Verification of a Formal Security Model for Multiapplicative Smart Cards. - Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul A. Karger; Vernon Austel; David C. Toll (ESORICS, 2000)

Formal System Development with KIV. - Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel; Andreas Thums (FASE, 2000)

Do You Trust Your Model Checker? - Wolfgang Reif; Jürgen Ruf; Gerhard Schellhorn; Tobias Vollmer (FMCAD, 2000)

Workshop über Rigorose Entwicklung software-intensiver Systeme. - Martin Wirsing; Martin Gogolla; Hans-Jörg Kreowski; Tobias Nipkow; Wolfgang Reif (GI Jahrestagung, 2000)

Flaw Detection in Formal Specifications. - Wolfgang Reif; Gerhard Schellhorn; Andreas Thums (IJCAR, 2001)

J.UCS Special Issue on Tools for System Design and Verification - Part 1. - Wolfgang Reif; Gerhard Schellhorn (J. Univers. Comput. Sci., 2001)

J.UCS Special Issue on Tools for System Design and Verification - Part 2. - Wolfgang Reif; Gerhard Schellhorn (J. Univers. Comput. Sci., 2001)

Correctness of Efficient Real-Time Model Checking. - Wolfgang Reif; Gerhard Schellhorn; Tobias Vollmer; Jürgen Ruf (J. Univers. Comput. Sci., 2001)

A Method for Secure Smartcard Applications. - Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (AMAST, 2002)

Verified Formal Security Models for Multiapplicative Smart Cards. - Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul A. Karger; Vernon Austel; David C. Toll (J. Comput. Secur., 2002)

Verifying Concurrent Systems with Symbolic Execution. - Michael Balser; Christoph Duelli; Wolfgang Reif; Gerhard Schellhorn (J. Log. Comput., 2002)

Design for Trust: Security im M-Commerce. - Dominik Haneberg; Alexander Kreibich; Wolfgang Reif; Kurt Stenzel (GI Jahrestagung (1), 2003)

Special Issue on Tools for System Design and Verification. - Rudolf Berghammer; Dominik Haneberg; Wolfgang Reif; Gerhard Schellhorn (J. Univers. Comput. Sci., 2003)

Safety analysis of the height control system for the Elbtunnel. - Frank Ortmeier; Gerhard Schellhorn; Andreas Thums; Wolfgang Reif; Bernhard Hering; Helmut Trappschuh (Reliab. Eng. Syst. Saf., 2003)

Protocure: Supporting the Development of Medical Protocols through Formal Methods. - Michael Balser; Óscar Coltell; Joyce van Croonenborg; Christoph Duelli; Frank van Harmelen; Albert Jovell; Peter J. F. Lucas; Mar Marcos; Silvia Miksch; Wolfgang Reif; Kitty Rosenbrand; Andreas Seyfang; et al. (CGP, 2004)

Introduction to Subject Area "Verification". - Frank Ortmeier; Wolfgang Reif; Gerhard Schellhorn (SoftSpez Final Report, 2004)

Combining Formal Methods and Safety Analysis - The ForMoSA Approach. - Frank Ortmeier; Andreas Thums; Gerhard Schellhorn; Wolfgang Reif (SoftSpez Final Report, 2004)

Interactive Verification of Statecharts. - Andreas Thums; Gerhard Schellhorn; Frank Ortmeier; Wolfgang Reif (SoftSpez Final Report, 2004)

Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. - Frank Ortmeier; Wolfgang Reif (DSN, 2004)

A Construction Kit for Modeling the Security of M-commerce Applications. - Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (FORTE Workshops, 2004)

Interactive Verification of UML State Machines. - Michael Balser; Simon Bäumler; Alexander Knapp; Wolfgang Reif; Andreas Thums (ICFEM, 2004)

Integrated formal methods for safety analysis of train systems. - Wolfgang Reif; Frank Ortmeier; Andreas Thums; Gerhard Schellhorn (IFIP Congress Topical Sessions, 2004)

Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. - Dominik Haneberg; Kurt Stenzel; Wolfgang Reif (Workshop Mobile Commerce, 2004)

Verifying Security Protocols: An ASM Approach. - Dominik Haneberg; Holger Grandy; Wolfgang Reif; Gerhard Schellhorn (Abstract State Machines, 2005)

Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). - Frank Ortmeier; Wolfgang Reif; Gerhard Schellhorn (EDCC, 2005)

Object Oriented Verification Kernels for Secure Java Applications. - Holger Grandy; Kurt Stenzel; Wolfgang Reif (SEFM, 2005)

Formal Modeling and Verification of Systems with Self-x Properties. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (ATC, 2006)

Developing Provable Secure M-Commerce Applications. - Holger Grandy; Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (ETRICS, 2006)

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. - Gerhard Schellhorn; Holger Grandy; Dominik Haneberg; Wolfgang Reif (FM, 2006)

Interactive Verification of Medical Guidelines. - Jonathan Schmitt; Alwin Hoffmann; Michael Balser; Wolfgang Reif; Mar Marcos (FM, 2006)

Towards Safe and Secure Organic Computing Applications. - Matthias Güdemann; Florian Nafz; Wolfgang Reif; Hella Seebach (GI Jahrestagung (1), 2006)

Safety and Dependability Analysis of Self-Adaptive Systems. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (ISoLA, 2006)

Verification of Medical Guidelines by Model Checking - A Case Study. - Simon Bäumler; Michael Balser; Andriy Dunets; Wolfgang Reif; Jonathan Schmitt (SPIN, 2006)

Improving medical protocols by formal methods. - Annette ten Teije; Mar Marcos; Michael Balser; Joyce van Croonenborg; Christoph Duelli; Frank van Harmelen; Peter J. F. Lucas; Silvia Miksch; Wolfgang Reif; Kitty Rosenbrand; Andreas Seyfang (Artif. Intell. Medicine, 2006)

Design and construction of organic computing systems. - Hella Seebach; Frank Ortmeier; Wolfgang Reif (IEEE Congress on Evolutionary Computation, 2007)

A Refinement Method for Java Programs. - Holger Grandy; Kurt Stenzel; Wolfgang Reif (FMOODS, 2007)

A Modeling Framework for the Development of Provably Secure E-Commerce Applications. - Nina Moebius; Dominik Haneberg; Wolfgang Reif; Gerhard Schellhorn (ICSEA, 2007)

Verifying Smart Card Applications: An ASM Approach. - Dominik Haneberg; Holger Grandy; Wolfgang Reif; Gerhard Schellhorn (IFM, 2007)

Modeling of self-adaptive systems with SCADE. - Matthias Güdemann; Andreas Angerer; Frank Ortmeier; Wolfgang Reif (ISCAS, 2007)

Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (SAFECOMP, 2007)

WG2: Software engineering for organic computing applications (SE4OC). - Frank Ortmeier; Wolfgang Reif; Giovanna Di Marzo Serugendo; Hartmut Schmeck (Software Engineering, 2007)

ASN1-light: A Verified Message Encoding for Security Protocols. - Holger Grandy; Robert Bertossi; Kurt Stenzel; Wolfgang Reif (SEFM, 2007)

Verification of Medical Guidelines in KIV. - Jonathan Schmitt; Michael Balser; Wolfgang Reif (Computer-based Medical Guidelines and Protocols, 2008)

Verification of Java Programs with Generics. - Kurt Stenzel; Holger Grandy; Wolfgang Reif (AMAST, 2008)

Automating Algebraic Specifications of Non-freely Generated Data Types. - Andriy Dunets; Gerhard Schellhorn; Wolfgang Reif (ATVA, 2008)

Organic Computing for Health Care Systems - Possible Benefits and Challenges. - Florian Nafz; Frank Ortmeier; Hella Seebach; Wolfgang Reif (HEALTHINF (2), 2008)

Compositional Proofs with Symbolic Execution. - Simon Bäumler; Florian Nafz; Michael Balser; Wolfgang Reif (VERIFY, 2008)

Implementing Organic Computing Systems with AgentService. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (ENASE, 2008)

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. - Holger Grandy; Markus Bischof; Kurt Stenzel; Gerhard Schellhorn; Wolfgang Reif (FM, 2008)

Interactive Verification of Concurrent Systems using Symbolic Execution. - Michael Balser; Simon Bäumler; Wolfgang Reif; Gerhard Schellhorn (LPAR Workshops, 2008)

A Specification and Construction Paradigm for Organic Computing Systems. - Matthias Güdemann; Florian Nafz; Frank Ortmeier; Hella Seebach; Wolfgang Reif (SASO, 2008)

Bounded Relational Analysis of Free Data Types. - Andriy Dunets; Gerhard Schellhorn; Wolfgang Reif (TAP, 2008)

Verification of Mondex electronic purses with KIV: from transactions to a security protocol. - Dominik Haneberg; Gerhard Schellhorn; Holger Grandy; Wolfgang Reif (Formal Aspects Comput., 2008)

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. - Nina Moebius; Kurt Stenzel; Holger Grandy; Wolfgang Reif (ARES, 2009)

Model-Driven Code Generation for Secure Smart Card Applications. - Nina Moebius; Kurt Stenzel; Holger Grandy; Wolfgang Reif (Australian Software Engineering Conference, 2009)

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (ATC, 2009)

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. - Gerhard Schellhorn; Holger Grandy; Dominik Haneberg; Nina Moebius; Wolfgang Reif (Rigorous Methods for Software Construction and Analysis, 2009)

Abstract Specification of the UBIFS File System for Flash Memory. - Andreas Schierl; Gerhard Schellhorn; Dominik Haneberg; Wolfgang Reif (FM, 2009)

Generating formal specifications for security-critical applications - A model-driven approach. - Nina Moebius; Kurt Stenzel; Wolfgang Reif (SESS@ICSE, 2009)

A generic software framework for role-based Organic Computing systems. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (SEAMS, 2009)

Hiding real-time: A new approach for the software development of industrial robots. - Alwin Hoffmann; Andreas Angerer; Frank Ortmeier; Michael Vistein; Wolfgang Reif (IROS, 2009)

An Abstract Specification Language for Static Program Analysis. - Michael Vistein; Frank Ortmeier; Wolfgang Reif; Ralf Huuck; Ansgar Fehnker (SSV, 2009)

Pitfalls in Formal Reasoning about Security Protocols. - Nina Moebius; Kurt Stenzel; Wolfgang Reif (ARES, 2010)

On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. - Jan-Philipp Steghöfer; Pratik Mandrekar; Florian Nafz; Hella Seebach; Wolfgang Reif (ARCS, 2010)

A Formal Framework for Compositional Verification of Organic Computing Systems. - Florian Nafz; Hella Seebach; Jan-Philipp Steghöfer; Simon Bäumler; Wolfgang Reif (ATC, 2010)

Designing Self-healing in Automotive Systems. - Hella Seebach; Florian Nafz; Jörg Holtmann; Jan Meyer; Matthias Tichy; Wolfgang Reif; Wilhelm Schäfer (ATC, 2010)

Trustworthy Organic Computing Systems: Challenges and Perspectives. - Jan-Philipp Steghöfer; Rolf Kiefhaber; Karin Leichtenstern; Yvonne Bernard; Lukas Klejnowski; Wolfgang Reif; Theo Ungerer; Elisabeth André; Jörg Hähner; Christian Müller-Schloer (ATC, 2010)

Automated cutting and handling of carbon fiber fabrics in aerospace industries. - Andreas Angerer; Claudia Ehinger; Alwin Hoffmann; Wolfgang Reif; Gunther Reinhart; Gerhard Strasser (CASE, 2010)

Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. - Nina Moebius; Kurt Stenzel; Wolfgang Reif (ESSoS, 2010)

Software Metrics in Static Program Analysis. - Andreas Vogelsang; Ansgar Fehnker; Ralf Huuck; Wolfgang Reif (ICFEM, 2010)

Towards Object-oriented Software Development for Industrial Robots - Facilitating the Use of Industrial Robots by Modern Software Engineering. - Alwin Hoffmann; Andreas Angerer; Andreas Schierl; Michael Vistein; Wolfgang Reif (ICINCO (2), 2010)

The Robotics API: An object-oriented framework for modeling industrial robotics applications. - Andreas Angerer; Alwin Hoffmann; Andreas Schierl; Michael Vistein; Wolfgang Reif (IROS, 2010)

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; Peter Salchow (MALLOW, 2010)

Temporal Logic Verification of Lock-Freedom. - Bogdan Tofan; Simon Bäumler; Gerhard Schellhorn; Wolfgang Reif (MPC, 2010)

A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. - Hella Seebach; Florian Nafz; Jan-Philipp Steghöfer; Wolfgang Reif (SASO, 2010)

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 (SASO Workshops, 2010)

Engineering self-coordinating software intensive systems. - Wilhelm Schäfer; Mauro Birattari; Johannes Blömer; Marco Dorigo; Gregor Engels; Rehan O'Grady; Marco Platzner; Franz-Josef Rammig; Wolfgang Reif; Ansgar Trächtler (FoSER, 2010)

Interactive verification of concurrent systems using symbolic execution. - Simon Bäumler; Michael Balser; Florian Nafz; Wolfgang Reif; Gerhard Schellhorn (AI Commun., 2010)

On reverse-engineering the KUKA Robot Language - Henrik Mühe; Andreas Angerer; Alwin Hoffmann; Wolfgang Reif (CoRR, 2010)

Automated Flaw Detection in Algebraic Specifications. - Andriy Dunets; Gerhard Schellhorn; Wolfgang Reif (J. Autom. Reason., 2010)

Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. - Florian Nafz; Hella Seebach; Jan-Philipp Steghöfer; Gerrit Anders; Wolfgang Reif (Organic Computing, 2011)

How to Design and Implement Self-organising Resource-Flow Systems. - Hella Seebach; Florian Nafz; Jan-Philipp Steghöfer; Wolfgang Reif (Organic Computing, 2011)

OC-Trust: Towards Trustworthy Organic Computing Systems. - Jan-Philipp Steghöfer; Wolfgang Reif (Organic Computing, 2011)

Design of an automation system for preforming processes in aerospace industries. - Andreas Angerer; Claudia Ehinger; Alwin Hoffmann; Wolfgang Reif; Gunther Reinhart (CASE, 2011)

A genetic algorithm for self-optimization in safety-critical resource-flow systems. - Florian Siefert; Florian Nafz; Hella Seebach; Wolfgang Reif (EAIS, 2011)

Simulating a Flash File System with CoreASM and Eclipse. - Dominik Haneberg; Maximilian Junker; Gerhard Schellhorn; Wolfgang Reif; Gidon Ernst (GI-Jahrestagung, 2011)

Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. - Peter Fischer; Florian Nafz; Hella Seebach; Wolfgang Reif (OC@ICAC, 2011)

Formal Verification of a Lock-Free Stack with Hazard Pointers. - Bogdan Tofan; Gerhard Schellhorn; Wolfgang Reif (ICTAC, 2011)

Patterns to Measure and Utilize Trust in Multi-agent Systems. - Gerrit Anders; Jan-Philipp Steghöfer; Florian Siefert; Wolfgang Reif (SASO Workshops, 2011)

Workshop Message. - Christian Müller-Schloer; Wolfgang Reif; Audun Jøsang; Jan-Philipp Steghöfer (SASO Workshops, 2011)

Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. - Gidon Ernst; Gerhard Schellhorn; Wolfgang Reif (SEFM, 2011)

Interleaved Programs and Rely-Guarantee Reasoning with ITL. - Gerhard Schellhorn; Bogdan Tofan; Gidon Ernst; Wolfgang Reif (TIME, 2011)

Proving linearizability with temporal logic. - Simon Bäumler; Gerhard Schellhorn; Bogdan Tofan; Wolfgang Reif (Formal Aspects Comput., 2011)

Mondex: Engineering a Provable Secure Electronic Purse. - Dominik Haneberg; Nina Moebius; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (Int. J. Softw. Informatics, 2011)

Developing Self-Organizing Robotic Cells Using Organic Computing Principles. - Alwin Hoffmann; Florian Nafz; Andreas Schierl; Hella Seebach; Wolfgang Reif (Bio-Inspired Self-Organizing Robotic Systems, 2011)

Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. - Kuzman Katkalov; Peter Fischer; Kurt Stenzel; Nina Moebius; Wolfgang Reif (DPM/SETOP, 2012)

Two-arm Robot Teleoperation using a Multi-touch Tangible User Interface. - Andreas Angerer; Andreas Bareth; Alwin Hoffmann; Andreas Schierl; Michael Vistein; Wolfgang Reif (ICINCO (2), 2012)

From Robot Commands to Real-time Robot Control - Transforming High-level Robot Commands into Real-time Dataflow Graphs. - Andreas Schierl; Andreas Angerer; Alwin Hoffmann; Michael Vistein; Wolfgang Reif (ICINCO (2), 2012)

Incremental development of large, secure smart card applications. - Nina Moebius; Kurt Stenzel; Marian Borek; Wolfgang Reif (MDsec@MoDELS, 2012)

Model-Driven Testing of Security Protocols with SecureMDD. - Kuzman Katkalov; Nina Moebius; Kurt Stenzel; Marian Borek; Wolfgang Reif (NTMS, 2012)

A Decentralized Multi-agent Algorithm for the Set Partitioning Problem. - Gerrit Anders; Florian Siefert; Jan-Philipp Steghöfer; Wolfgang Reif (PRIMA, 2012)

3rd edition of the workshop on trustworthy self-organizing systems (TSOS 2012). - Christian Müller-Schloer; Wolfgang Reif; Jan-Philipp Steghöfer (PST, 2012)

On the Influence of Inter-Agent Variation on Multi-Agent Algorithms Solving a Dynamic Task Allocation Problem under Uncertainty. - Gerrit Anders; Christian Hinrichs; Florian Siefert; Pascal Behrmann; Wolfgang Reif; Michael Sonnenschein (SASO, 2012)

Model-Driven Development of Secure Service Applications. - Marian Borek; Nina Moebius; Kurt Stenzel; Wolfgang Reif (SEW, 2012)

Confidence as a Means to Assess the Accuracy of Trust Values. - Rolf Kiefhaber; Gerrit Anders; Florian Siefert; Theo Ungerer; Wolfgang Reif (TrustCom, 2012)

A Formal Model of a Virtual Filesystem Switch - Gidon Ernst; Gerhard Schellhorn; Dominik Haneberg; Jörg Pfähler; Wolfgang Reif (SSV, 2012)

On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems. - Jan Sudeikat; Jan-Philipp Steghöfer; Hella Seebach; Wolfgang Reif; Wolfgang Renz; Thomas Preisler; Peter Salchow (Inf. Softw. Technol., 2012)

Die Guten, die Bösen und die Vertrauenswürdigen - Vertrauen im Organic Computing. - Jan-Philipp Steghöfer; Wolfgang Reif (Inform. Spektrum, 2012)

An Approach for Isolated Testing of Self-Organization Algorithms. - Benedikt Eberhardinger; Gerrit Anders; Hella Seebach; Florian Siefert; Alexander Knapp; Wolfgang Reif (Software Engineering for Self-Adaptive Systems, 2013)

A System of Systems Approach to the Evolutionary Transformation of Power Management Systems. - Jan-Philipp Steghöfer; Gerrit Anders; Florian Siefert; Wolfgang Reif (GI-Jahrestagung, 2013)

Formal Specification of an Erase Block Management Layer for Flash Memory. - Jörg Pfähler; Gidon Ernst; Gerhard Schellhorn; Dominik Haneberg; Wolfgang Reif (Haifa Verification Conference, 2013)

Trusted Community - A Trust-based Multi-Agent Organisation for Open Systems. - Lukas Klejnowski; Yvonne Bernard; Gerrit Anders; Christian Müller-Schloer; Wolfgang Reif (ICAART (1), 2013)

Managing extensibility and maintainability of industrial robotics software. - Alwin Hoffmann; Andreas Angerer; Andreas Schierl; Michael Vistein; Wolfgang Reif (ICAR, 2013)

Synthesis of observers for autonomic evolutionary systems from requirements models. - Jan-Philipp Steghöfer; Benedikt Eberhardinger; Florian Nafz; Wolfgang Reif (IM, 2013)

Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. - Benedikt Eberhardinger; Jan-Philipp Steghöfer; Florian Nafz; Wolfgang Reif (ISSRE, 2013)

Trust-Based Scenarios - Predicting Future Agent Behavior in Open Self-organizing Systems. - Gerrit Anders; Florian Siefert; Jan-Philipp Steghöfer; Wolfgang Reif (IWSOS, 2013)

Security requirements formalized with OCL in a model-driven approach. - Marian Borek; Nina Moebius; Kurt Stenzel; Wolfgang Reif (MoDRE, 2013)

A Trust- and Cooperation-Based Solution of a Dynamic Resource Allocation Problem. - Gerrit Anders; Jan-Philipp Steghöfer; Florian Siefert; Wolfgang Reif (SASO, 2013)

Model Checking of Security-Critical Applications in a Model-Driven Approach. - Marian Borek; Nina Moebius; Kurt Stenzel; Wolfgang Reif (SEFM, 2013)

Constraint Relationships for Soft Constraints. - Alexander Schiendorfer; Jan-Philipp Steghöfer; Alexander Knapp; Florian Nafz; Wolfgang Reif (SGAI Conf., 2013)

Model-Driven Development of Information Flow-Secure Systems with IFlow. - Kuzman Katkalov; Kurt Stenzel; Marian Borek; Wolfgang Reif (SocialCom, 2013)

Verification of a Virtual Filesystem Switch. - Gidon Ernst; Gerhard Schellhorn; Dominik Haneberg; Jörg Pfähler; Wolfgang Reif (VSTTE, 2013)

A Graphical Language for Real-Time Critical Robot Commands - Andreas Angerer; Remi Smirra; Alwin Hoffmann; Andreas Schierl; Michael Vistein; Wolfgang Reif (CoRR, 2013)

Compositional Verification of a Lock-Free Stack with RGITL. - Bogdan Tofan; Gerhard Schellhorn; Gidon Ernst; Jörg Pfähler; Wolfgang Reif (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

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, 2013)

Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants. - Gerrit Anders; Alexander Schiendorfer; Jan-Philipp Steghöfer; Wolfgang Reif (ARCS Workshops, 2014)

Engineering and Mastering Interwoven Systems. - Sven Tomforde; Jörg Hähner; Hella Seebach; Wolfgang Reif; Bernhard Sick; Arno Wacker; Ingo Scholtes (ARCS Workshops, 2014)

Modular Refinement for Submachines of ASMs. - Gidon Ernst; Jörg Pfähler; Gerhard Schellhorn; Wolfgang Reif (ABZ, 2014)

Development of a Verified Flash File System. - Gerhard Schellhorn; Gidon Ernst; Jörg Pfähler; Dominik Haneberg; Wolfgang Reif (ABZ, 2014)

Synthesised Constraint Models for Distributed Energy Management. - Alexander Schiendorfer; Jan-Philipp Steghöfer; Wolfgang Reif (FedCSIS, 2014)

Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems. - Alexander Schiendorfer; Jan-Philipp Steghöfer; Wolfgang Reif (ICAART (2), 2014)

Formalizing Information Flow Control in a Model-Driven Approach. - Kurt Stenzel; Kuzman Katkalov; Marian Borek; Wolfgang Reif (ICT-EurAsia, 2014)

Quality over Quantity in Soft Constraints. - Alexander Knapp; Alexander Schiendorfer; Wolfgang Reif (ICTAI, 2014)

A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. - Bogdan Tofan; Gerhard Schellhorn; Wolfgang Reif (IFM, 2014)

PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems. - Jan-Philipp Steghöfer; Hella Seebach; Benedikt Eberhardinger; Wolfgang Reif (PRIMA, 2014)

Towards Testing Self-organizing, Adaptive Systems. - Benedikt Eberhardinger; Hella Seebach; Alexander Knapp; Wolfgang Reif (ICTSS, 2014)

Proactive Guidance for Dynamic and Cooperative Resource Allocation under Uncertainties. - Gerrit Anders; Florian Siefert; Michael Mair; Wolfgang Reif (SASO, 2014)

Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers). - Benedikt Eberhardinger; Wolfgang Reif; Franz Wotawa; Tom Holvoet (SASO Workshops, 2014)

An Effective Implementation of Norms in Trust-Aware Open Self-Organising Systems. - Jan-Philipp Steghöfer; Gerrit Anders; Jan Kantert; Christian Müller-Schloer; Wolfgang Reif (SASO Workshops, 2014)

RGITL: A temporal logic framework for compositional reasoning about interleaved programs. - Gerhard Schellhorn; Bogdan Tofan; Gidon Ernst; Jörg Pfähler; Wolfgang Reif (Ann. Math. Artif. Intell., 2014)

Modeling test cases for security protocols with SecureMDD. - Kuzman Katkalov; Nina Moebius; Kurt Stenzel; Marian Borek; Wolfgang Reif (Comput. Networks, 2014)

Flexible and continuous execution of real-time critical robotic tasks. - Michael Vistein; Andreas Angerer; Alwin Hoffmann; Andreas Schierl; Wolfgang Reif (Int. J. Mechatronics Autom., 2014)

A Model-Driven Approach to Noninterference. - Kurt Stenzel; Kuzman Katkalov; Marian Borek; Wolfgang Reif (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications. - Marian Borek; Kuzman Katkalov; Nina Moebius; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (Correct Software in Web Applications and Web Services, 2015)

Partial Valuation Structures for Qualitative Soft Constraints. - Alexander Schiendorfer; Alexander Knapp; Jan-Philipp Steghöfer; Gerrit Anders; Florian Siefert; Wolfgang Reif (Software, Services, and Systems, 2015)

Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. - Marian Borek; Kurt Stenzel; Kuzman Katkalov; Wolfgang Reif (ER Workshops, 2015)

A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning Constraints. - Gerrit Anders; Florian Siefert; Wolfgang Reif (ICAART (2), 2015)

A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives. - Gerrit Anders; Florian Siefert; Wolfgang Reif (ICAART (Revised Selected Papers), 2015)

Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper. - Alexander Schiendorfer; Yves Wautelet; Wolfgang Reif (ICAART (2), 2015)

A backward-oriented approach for offline programming of complex manufacturing tasks. - Ludwig Nägele; Miroslav Macho; Andreas Angerer; Alwin Hoffmann; Michael Vistein; Manfred Schönheits; Wolfgang Reif (ICARA, 2015)

Towards Multi-functional Robot-based Automation Systems. - Andreas Angerer; Michael Vistein; Alwin Hoffmann; Wolfgang Reif; Florian Krebs; Manfred Schönheits (ICINCO (2), 2015)

A Taxonomy of Distribution for Cooperative Mobile Manipulators. - Andreas Schierl; Andreas Angerer; Alwin Hoffmann; Michael Vistein; Wolfgang Reif (ICINCO (2), 2015)

On Structure and Distribution of Software for Mobile Manipulators. - Andreas Schierl; Andreas Angerer; Alwin Hoffmann; Michael Vistein; Wolfgang Reif (ICINCO (Selected Papers), 2015)

Modeling information flow properties with UML. - Kuzman Katkalov; Kurt Stenzel; Marian Borek; Wolfgang Reif (NTMS, 2015)

A Research Overview and Evaluation of Performance Metrics for Self-Organization Algorithms. - Benedikt Eberhardinger; Gerrit Anders; Hella Seebach; Florian Siefert; Wolfgang Reif (SASO Workshops, 2015)

Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#. - Axel Habermaier; Benedikt Eberhardinger; Hella Seebach; Johannes Leupolz; Wolfgang Reif (SASO Workshops, 2015)

An Approach to Robust Resource Allocation in Large-Scale Systems of Systems. - Oliver Kosak; Gerrit Anders; Florian Siefert; Wolfgang Reif (SASO, 2015)

Active Learning for Efficient Sampling of Control Models of Collectives. - Alexander Schiendorfer; Christoph Lassner; Gerrit Anders; Wolfgang Reif; Rainer Lienhart (SASO, 2015)

Inside a Verified Flash File System: Transactions and Garbage Collection. - Gidon Ernst; Jörg Pfähler; Gerhard Schellhorn; Wolfgang Reif (VSTTE, 2015)

Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482). - Ada Diaconescu; Stephen Marsh 001; Jeremy Pitt; Wolfgang Reif; Jan-Philipp Steghöfer (Dagstuhl Reports, 2015)

Combining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems. - Jan-Philipp Steghöfer; Hella Seebach; Benedikt Eberhardinger; Michael Huebschmann; Wolfgang Reif (Scalable Comput. Pract. Exp., 2015)

Verification of B+ trees by integration of shape analysis and interactive theorem proving. - Gidon Ernst; Gerhard Schellhorn; Wolfgang Reif (Softw. Syst. Model., 2015)

Formal verification of QVT transformations for code generation. - Kurt Stenzel; Nina Moebius; Wolfgang Reif (Softw. Syst. Model., 2015)

A Framework for Testing Selforganisation Algorithms. - Benedikt Eberhardinger; Gerrit Anders; Hella Seebach; Florian Siefert; Wolfgang Reif (Softwaretechnik-Trends, 2015)

KIV: overview and VerifyThis competition. - Gidon Ernst; Jörg Pfähler; Gerhard Schellhorn; Dominik Haneberg; Wolfgang Reif (Int. J. Softw. Tools Technol. Transf., 2015)

Cooperative Resource Allocation in Open Systems of Systems. - Gerrit Anders; Alexander Schiendorfer; Florian Siefert; Jan-Philipp Steghöfer; Wolfgang Reif (ACM Trans. Auton. Adapt. Syst., 2015)

Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation. - Alexander Schiendorfer; Gerrit Anders; Jan-Philipp Steghöfer; Wolfgang Reif (Trans. Comput. Collect. Intell., 2015)

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; Theo Ungerer (Trustworthy Open Self-Organising Systems, 2016)

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; Wolfgang Reif (Trustworthy Open Self-Organising Systems, 2016)

A Relational Encoding for a Clash-Free Subset of ASMs. - Gerhard Schellhorn; Gidon Ernst; Jörg Pfähler; Wolfgang Reif (ABZ, 2016)

Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. - Axel Habermaier; Alexander Knapp; Johannes Leupolz; Wolfgang Reif (FMICS-AVoCS, 2016)

Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. - Axel Habermaier; Johannes Leupolz; Wolfgang Reif (FMICS-AVoCS, 2016)

Declassification of Information with Complex Filter Functions. - Kurt Stenzel; Kuzman Katkalov; Marian Borek; Wolfgang Reif (ICISSP, 2016)

Environment-aware proximity detection with capacitive sensors for human-robot-interaction. - Alwin Hoffmann; Alexander Poeppel; Andreas Schierl; Wolfgang Reif (IROS, 2016)

Back-to-Back Testing of Self-organization Mechanisms. - Benedikt Eberhardinger; Axel Habermaier; Hella Seebach; Wolfgang Reif (ICTSS, 2016)

Risk-Based Interoperability Testing Using Reinforcement Learning. - André Reichstaller; Benedikt Eberhardinger; Alexander Knapp; Wolfgang Reif; Marcel Gehlen (ICTSS, 2016)

Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems. - Benedikt Eberhardinger; Axel Habermaier; Alwin Hoffmann; Alexander Poeppel; Wolfgang Reif (QRS Companion, 2016)

Modular, crash-safe refinement for ASMs with submachines. - Gidon Ernst; Jörg Pfähler; Gerhard Schellhorn; Wolfgang Reif (Sci. Comput. Program., 2016)

Secure Integration of Third Party Components in a Model-Driven Approach. - Marian Borek; Kurt Stenzel; Kuzman Katkalov; Wolfgang Reif (Trans. Large Scale Data Knowl. Centered Syst., 2016)

Toward Adaptive, Self-Aware Test Automation. - Benedikt Eberhardinger; Axel Habermaier; Wolfgang Reif (AST@ICSE, 2017)

Modular Verification of Order-Preserving Write-Back Caches. - Jörg Pfähler; Gidon Ernst; Stefan Bodenmüller; Gerhard Schellhorn; Wolfgang Reif (IFM, 2017)

Consistent World Models for Cooperating Robots: Separating Logical Relationships, Sensor Interpretation and Estimation. - Andreas Schierl; Andreas Angerer; Alwin Hoffmann; Wolfgang Reif (IRC, 2017)

Towards Re-orchestration of Real-Time Component Systems in Robotics. - Michael Vistein; Alwin Hoffmann; Andreas Angerer; Andreas Schierl; Wolfgang Reif (IRC, 2017)

Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. - Kuzman Katkalov; Kurt Stenzel; Wolfgang Reif (SpaCCS Workshops, 2017)

Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams. - Roland Glück; Alwin Hoffmann; Ludwig Nägele; Andreas Schierl; Wolfgang Reif; Heinz Voggenreiter (ICINCO (2), 2018)

Automatic Planning of Manufacturing Processes using Spatial Construction Plan Analysis and Extensible Heuristic Search. - Ludwig Nägele; Andreas Schierl; Alwin Hoffmann; Wolfgang Reif (ICINCO (2), 2018)

Test suite reduction for self-organizing systems: a mutation-based approach. - André Reichstaller; Benedikt Eberhardinger; Hella Ponsar; Alexander Knapp; Wolfgang Reif (AST@ICSE, 2018)

Integrating Reactive Behavior and Planning: Optimizing Execution Time Through Predictive Preparation of State Machine Tasks. - Andreas Schierl; Alwin Hoffmann; Ludwig Nägele; Wolfgang Reif (IRC, 2018)

Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. - Benedikt Eberhardinger; Hella Ponsar; Dominik Klumpp; Wolfgang Reif (ISoLA (3), 2018)

Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap. - Constantin Wanninger; Christian Eymüller; Alwin Hoffmann; Oliver Kosak; Wolfgang Reif (ISoLA (3), 2018)

Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager. - Benedikt Eberhardinger; Hella Ponsar; Gerald Siegert; Wolfgang Reif (QRS Companion, 2018)

Self-Organized Resource Allocation for Reconfigurable Robot Ensembles. - Julian Hanke; Oliver Kosak; Alexander Schiendorfer; Wolfgang Reif (SASO, 2018)

MiniBrass: Soft constraints for MiniZinc. - Alexander Schiendorfer; Alexander Knapp; Gerrit Anders; Wolfgang Reif (Constraints An Int. J., 2018)

Integrating planning and reactive behavior by using semantically annotated robot tasks. - Andreas Schierl; Alwin Hoffmann; Ludwig Nägele; Wolfgang Reif (Encycl. Semantic Comput. Robotic Intell., 2018)

Semantic Plug and Play - Self-Descriptive Modular Hardware for Robotic Applications. - Christian Eymüller; Constantin Wanninger; Alwin Hoffmann; Wolfgang Reif (Int. J. Semantic Comput., 2018)

Symbolic execution for a clash-free subset of ASMs. - Gerhard Schellhorn; Gidon Ernst; Jörg Pfähler; Stefan Bodenmüller; Wolfgang Reif (Sci. Comput. Program., 2018)

Quantitative and qualitative safety analysis of a hemodialysis machine with S#. - Johannes Leupolz; Axel Habermaier; Wolfgang Reif (J. Softw. Evol. Process., 2018)

Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems. - Benedikt Eberhardinger; Hella Seebach; André Reichstaller; Alexander Knapp; Wolfgang Reif (Softwaretechnik-Trends, 2018)

Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing. - André Reichstaller; Benedikt Eberhardinger; Hella Seebach; Alexander Knapp; Wolfgang Reif (Softwaretechnik-Trends, 2018)

Qualitative and quantitative analysis of safety-critical systems with s#. - Johannes Leupolz; Alexander Knapp; Axel Habermaier; Wolfgang Reif (Int. J. Softw. Tools Technol. Transf., 2018)

Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. - Alexander Schiendorfer; Wolfgang Reif (CP, 2019)

Modular and Domain-guided Multi-robot Planning for Assembly Processes. - Ludwig Nägele; Andreas Schierl; Alwin Hoffmann; Wolfgang Reif (ICINCO (2), 2019)

A Chained Neural Network Model for Photovoltaic Power Forecast. - Carola Gajek; Alexander Schiendorfer; Wolfgang Reif (LOD, 2019)

Ensemble Programming for Multipotent Systems. - Oliver Kosak; Felix Bohn; Felix Keller; Hella Ponsar; Wolfgang Reif (FAS*W@SASO/ICAC, 2019)

Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles. - Oliver Kosak; Constantin Wanninger; Alwin Hoffmann; Hella Ponsar; Wolfgang Reif (Sensors, 2019)

Deadlock Avoidance for Multiple Tasks in a Self-Organizing Production Cell. - Joseph Hirsch; Martin Neumayer; Hella Ponsar; Oliver Kosak; Wolfgang Reif (ACSOS, 2020)

Adding Concurrency to a Sequential Refinement Tower. - Gerhard Schellhorn; Stefan Bodenmüller; Jörg Pfähler; Wolfgang Reif (ABZ, 2020)

Real-time capable OPC-UA Programs over TSN for distributed industrial control. - Christian Eymüller; Julian Hanke; Alwin Hoffmann; Markus Kugelmann; Wolfgang Reif (ETFA, 2020)

Towards Real-time Process Monitoring and Machine Learning for Manufacturing Composite Structures. - Simon Stieber; Alwin Hoffmann; Alexander Schiendorfer; Wolfgang Reif; Matthias Beyrle; Jan Faber; Michaela Richter; Markus G. R. Sause (ETFA, 2020)

Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning and View Angle Dependent Optimization Strategies. - Martin Schörner; Raphael Katschinsky; Constantin Wanninger; Alwin Hoffmann; Wolfgang Reif (ICINCO (Selected Papers), 2020)

Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning. - Constantin Wanninger; Raphael Katschinsky; Alwin Hoffmann; Martin Schörner; Wolfgang Reif (ICINCO, 2020)

Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. - Stefan Bodenmüller; Gerhard Schellhorn; Wolfgang Reif (IFM, 2020)

How to find assembly plans (fast): Hierarchical state space partitioning for efficient multi-robot assembly. - Alwin Hoffmann; Ludwig Nägele; Wolfgang Reif (IRC, 2020)

Robust Distance Estimation of Capacitive Proximity Sensors in HRI using Neural Networks. - Alexander Poeppel; Alwin Hoffmann; Martin Siehler; Wolfgang Reif (IRC, 2020)

Modeling and Execution of Coordinated Missions in Reconfigurable Robot Ensembles. - Martin Schörner; Constantin Wanninger; Alwin Hoffmann; Oliver Kosak; Hella Ponsar; Wolfgang Reif (IRC, 2020)

LegoBot: Automated Planning for Coordinated Multi-Robot Assembly of LEGO structures. - Ludwig Nägele; Alwin Hoffmann; Andreas Schierl; Wolfgang Reif (IROS, 2020)

Swarm and Collective Capabilities for Multipotent Robot Ensembles. - Oliver Kosak; Felix Bohn; Lennart Eing; Dennis Rall; Constantin Wanninger; Alwin Hoffmann; Wolfgang Reif (ISoLA (2), 2020)

Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning. - Oliver Kosak; Lukas Huhn; Felix Bohn; Constantin Wanninger; Alwin Hoffmann; Wolfgang Reif (ISoLA (2), 2020)

Learning Controllers for Adaptive Spreading of Carbon Fiber Tows. - Julia Krützmann; Alexander Schiendorfer; Sergej Beratz; Judith Moosburger-Will; Wolfgang Reif; Siegfried Horn (LOD (2), 2020)

FlowFrontNet: Improving Carbon Composite Manufacturing with CNNs. - Simon Stieber; Niklas Schröter; Alexander Schiendorfer; Alwin Hoffmann; Wolfgang Reif (ECML/PKDD (4), 2020)

An Interactive Web Application for Decision Tree Learning. - Miriam Elia; Carola Gajek; Alexander Schiendorfer; Wolfgang Reif (Teaching ML, 2020)

Turning Software Engineers into Machine Learning Engineers. - Alexander Schiendorfer; Carola Gajek; Wolfgang Reif (Teaching ML, 2020)

Opportunities and Limitations of Mixed Reality Holograms in Industrial Robotics. - Michael Filipenko; Andreas Angerer; Alwin Hoffmann; Wolfgang Reif (CoRR, 2020)

Distributed Constraint Optimization for Task Allocation in Self-Adaptive Manufacturing Systems. - Joseph Hirsch; Martin Neumayer; Hella Ponsar; Oliver Kosak; Wolfgang Reif (ACSOS-C, 2021)

A Real-Word Realization of the AntNet Routing Algorithm with ActivityBots. - Jonas Wilfert; Niklas Paprotta; Oliver Kosak; Simon Stieber; Alexander Schiendorfer; Wolfgang Reif (ACSOS-C, 2021)

Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. - Stefan Bodenmüller; Gerhard Schellhorn; Martin Bitterlich; Wolfgang Reif (Logic, Computation and Rigorous Methods, 2021)

RealCaPP: Real-time capable Plug & Produce communication platform with OPC UA over TSN for distributed industrial robot control. - Christian Eymüller; Julian Hanke; Alwin Hoffmann; Wolfgang Reif; Markus Kugelmann; Florian Grätz (CASE, 2021)

Towards a Real-Time Capable Plug & Produce Environment for Adaptable Factories. - Christian Eymüller; Julian Hanke; Alwin Hoffmann; Alexander Poeppel; Constantin Wanninger; Wolfgang Reif (ETFA, 2021)

Constraint-based Whole-Body-Control of Mobile Manipulators in Human-Centered Environments. - Matthias Stueben; Alwin Hoffmann; Wolfgang Reif (ETFA, 2021)

Genetic Programming for Fiber-Threading for Fiber-Reinforced Plastics. - Jonas Wilfert; Simon Stieber; Frederik Wilhelm; Wolfgang Reif (ETFA, 2021)

UAV Inspection of Large Components: Indoor Navigation Relative to Structures. - Martin Schörner; Michelle Bettendorf; Constantin Wanninger; Alwin Hoffmann; Wolfgang Reif (ICINCO, 2021)

PermeabilityNets: Comparing Neural Network Architectures on a Sequence-to-Instance Task in CFRP Manufacturing. - Simon Stieber; Niklas Schröter; Ewald Fauster; Alexander Schiendorfer; Wolfgang Reif (ICMLA, 2021)

Architecture for Emergency Control of Autonomous UAV Ensembles**This work is partly funded by the German Research Foundation (DFG) under the COMBO grant. - Martin Schörner; Constantin Wanninger; Alwin Hoffmann; Oliver Kosak; Wolfgang Reif (RoSE@ICSE, 2021)

Semantic Plug and Play: An Architecture Combining Linked Data and Reconfigurable Hardware. - Constantin Wanninger; Luca Alfano; Martin Schörner; Alwin Hoffmann; Oliver Kosak; Wolfgang Reif (ICSC, 2021)

Scribosermo: Fast Speech-to-Text models for German and other Languages. - Daniel Bermuth; Alexander Poeppel; Wolfgang Reif (CoRR, 2021)

Software & System Verification with KIV. - Gerhard Schellhorn; Stefan Bodenmüller; Martin Bitterlich; Wolfgang Reif (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Software-defined testing facility for component testing with industrial robots. - Julian Hanke; Christian Eymüller; Julia Reichmann; Anna Trauth; Markus G. R. Sause; Wolfgang Reif (ETFA, 2022)

Jaco: An Offline Running Privacy-aware Voice Assistant. - Daniel Bermuth; Alexander Poeppel; Wolfgang Reif (HRI, 2022)

Sensor-guided motions for robot-based component testing. - Julian Hanke; Christian Eymüller; Alexander Poeppel; Julia Reichmann; Anna Trauth; Markus G. R. Sause; Wolfgang Reif (IRC, 2022)

External Torque Estimation for Mobile Manipulators: A Comparison of Model-based and LSTM Methods. - Matthias Stueben; Alexander Poeppel; Wolfgang Reif (IRC, 2022)

A Recommendation System for CAD Assembly Modeling Based on Graph Neural Networks. - Carola Gajek; Alexander Schiendorfer; Wolfgang Reif (ECML/PKDD (1), 2022)

Separating Separation Logic - Modular Verification of Red-Black Trees. - Gerhard Schellhorn; Stefan Bodenmüller; Martin Bitterlich; Wolfgang Reif (VSTTE, 2022)

Finstreder: Simple and fast Spoken Language Understanding with Finite State Transducers using modern Speech-to-Text models. - Daniel Bermuth; Alexander Poeppel; Wolfgang Reif (CoRR, 2022)

Verification of Crashsafe Caching in a Virtual File System Switch. - Stefan Bodenmüller; Gerhard Schellhorn; Wolfgang Reif (Formal Aspects Comput., 2022)

Towards Self-Configuring Plug & Produce Robot Systems Based on Ontologies. - Christian Eymüller; Julian Hanke; Alexander Poeppel; Wolfgang Reif (ICARA, 2023)

SensorClouds: A Framework for Real-Time Processing of Multi-modal Sensor Data for Human-Robot-Collaboration. - Alexander Poeppel; Christian Eymüller; Wolfgang Reif (ICARA, 2023)

CASP: Computer Aided Specimen Placement for Robot-Based Component Testing. - Julian Hanke; Matthias Stueben; Christian Eymüller; Maximilian Enrico Müller; Alexander Poeppel; Wolfgang Reif (ICINCO (1), 2023)

Control of Composite Manufacturing Processes Through Deep Reinforcement Learning. - Simon Stieber; Leonard Heber; Christof Obertscheider; Wolfgang Reif (ICMLA, 2023)

Refinement and Separation: Modular Verification of Wandering Trees. - Gerhard Schellhorn; Stefan Bodenmüller; Wolfgang Reif (iFM, 2023)

RealCaPP: Real-Time Capable Plug & Produce Service Architecture for Distributed Robot Control. - Christian Eymüller; Julian Hanke; Alexander Poeppel; Constantin Wanninger; Wolfgang Reif (IRC, 2023)

Towards Automated COVID-19 Presence and Severity Classification. - Dominik Müller; Silvan Mertes; Niklas Schröter; Fabio Hellmann; Miriam Elia; Bernhard Bauer 001; Wolfgang Reif; Elisabeth André; Frank Kramer 001 (MIE, 2023)

UAV Inspection of Large Components: Determination of Alternative Inspection Points and Online Route Optimization. - Martin Schörner; Constantin Wanninger; Raphael Katschinsky; Simon Hornung; Christian Eymüller; Alexander Poeppel; Wolfgang Reif (RoSE@ICSE, 2023)

Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. - Gerhard Schellhorn; Stefan Bodenmüller; Wolfgang Reif (ABZ, 2023)

Localized Recommendation in Assembly Modeling: Employing GNNs for Targeted Part Placement. - Carola Lenzen; Wolfgang Reif (ICMLA, 2024)

VeriCode: Correct Translation of Abstract Specifications to C Code. - Gerhard Schellhorn; Stefan Bodenmüller; Wolfgang Reif (IFM, 2024)

Flexible assembly planning for self-organizing production cells. - Christian Lehner; Oliver Kosak; Hella Ponsar; Wolfgang Reif (ISM, 2024)

An Approach for Extended Swarm Formation Flight with Drones: tt PROTEASE2.0. - Oliver Kosak; Philipp Kastenmüller; Constantin Wanninger; Wolfgang Reif (ISoLA (2), 2024)

VoxelKeypointFusion: Generalizable Multi-View Multi-Person Pose Estimation. - Daniel Bermuth; Alexander Poeppel; Wolfgang Reif (CoRR, 2024)

Slungt: Even Faster Spoken Language Understanding with N-Grams and Tries. - Daniel Bermuth; Wolfgang Reif (ICASSP, 2025)

Verification of forward simulations with thread-local, step-local proof obligations. - Gerhard Schellhorn; Stefan Bodenmüller; Wolfgang Reif (Sci. Comput. Program., 2025)

SimpleDepthPose: Fast and Reliable Human Pose Estimation with RGBD-Images. - Daniel Bermuth; Alexander Poeppel; Wolfgang Reif (CoRR, 2025)

RapidPoseTriangulation: Multi-view Multi-person Whole-body Human Pose Triangulation in a Millisecond. - Daniel Bermuth; Alexander Poeppel; Wolfgang Reif (CoRR, 2025)