| 2025 | ICASSP | Slungt: Even Faster Spoken Language Understanding with N-Grams and Tries. | Daniel Bermuth, Wolfgang Reif |
| 2024 | ICMLA | Localized Recommendation in Assembly Modeling: Employing GNNs for Targeted Part Placement. | Carola Lenzen, Wolfgang Reif |
| 2024 | IFM | VeriCode: Correct Translation of Abstract Specifications to C Code. | Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif |
| 2024 | ISoLA | An Approach for Extended Swarm Formation Flight with Drones: tt PROTEASE | Oliver Kosak, Philipp Kastenmller, Constantin Wanninger, Wolfgang Reif |
| 2023 | ICINCO | CASP: Computer Aided Specimen Placement for Robot-Based Component Testing. | Julian Hanke, Matthias Stueben, Christian Eymller, Maximilian Enrico Mller, Alexander Poeppel, Wolfgang Reif |
| 2023 | ICMLA | Control of Composite Manufacturing Processes Through Deep Reinforcement Learning. | Simon Stieber, Leonard Heber, Christof Obertscheider, Wolfgang Reif |
| 2023 | IFM | Refinement and Separation: Modular Verification of Wandering Trees. | Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif |
| 2022 | ETFA | Software-defined testing facility for component testing with industrial robots. | Julian Hanke, Christian Eymller, Julia Reichmann, Anna Trauth, Markus G. R. Sause, Wolfgang Reif |
| 2022 | HRI | Jaco: An Offline Running Privacy-aware Voice Assistant. | Daniel Bermuth, Alexander Poeppel, Wolfgang Reif |
| 2021 | ETFA | Towards a Real-Time Capable Plug & Produce Environment for Adaptable Factories. | Christian Eymller, Julian Hanke, Alwin Hoffmann, Alexander Poeppel, Constantin Wanninger, Wolfgang Reif |
| 2021 | ETFA | Constraint-based Whole-Body-Control of Mobile Manipulators in Human-Centered Environments. | Matthias Stueben, Alwin Hoffmann, Wolfgang Reif |
| 2021 | ETFA | Genetic Programming for Fiber-Threading for Fiber-Reinforced Plastics. | Jonas Wilfert, Simon Stieber, Frederik Wilhelm, Wolfgang Reif |
| 2021 | ICINCO | UAV Inspection of Large Components: Indoor Navigation Relative to Structures. | Martin Schrner, Michelle Bettendorf, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif |
| 2021 | ICMLA | PermeabilityNets: Comparing Neural Network Architectures on a Sequence-to-Instance Task in CFRP Manufacturing. | Simon Stieber, Niklas Schrter, Ewald Fauster, Alexander Schiendorfer, Wolfgang Reif |
| 2020 | ETFA | Real-time capable OPC-UA Programs over TSN for distributed industrial control. | Christian Eymller, Julian Hanke, Alwin Hoffmann, Markus Kugelmann, Wolfgang Reif |
| 2020 | ETFA | 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 |
| 2020 | ICINCO | Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning and View Angle Dependent Optimization Strategies. | Martin Schrner, Raphael Katschinsky, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif |
| 2020 | ICINCO | Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning. | Constantin Wanninger, Raphael Katschinsky, Alwin Hoffmann, Martin Schrner, Wolfgang Reif |
| 2020 | IROS | LegoBot: Automated Planning for Coordinated Multi-Robot Assembly of LEGO structures. | Ludwig Ngele, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif |
| 2020 | IFM | Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. | Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif |
| 2020 | ISoLA | Swarm and Collective Capabilities for Multipotent Robot Ensembles. | Oliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif |
| 2020 | ISoLA | Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning. | Oliver Kosak, Lukas Huhn, Felix Bohn, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif |
| 2019 | CP | Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. | Alexander Schiendorfer, Wolfgang Reif |
| 2019 | ICINCO | Modular and Domain-guided Multi-robot Planning for Assembly Processes. | Ludwig Ngele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif |
| 2018 | ICINCO | Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams. | Roland Glck, Alwin Hoffmann, Ludwig Ngele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter |
| 2018 | ICINCO | Automatic Planning of Manufacturing Processes using Spatial Construction Plan Analysis and Extensible Heuristic Search. | Ludwig Ngele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif |
| 2018 | ICSE | Test suite reduction for self-organizing systems: a mutation-based approach. | Andr Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif |
| 2018 | ISoLA | Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. | Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif |
| 2018 | ISoLA | Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap. | Constantin Wanninger, Christian Eymller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif |
| 2018 | QRS | Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager. | Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert, Wolfgang Reif |
| 2017 | ICSE | Toward Adaptive, Self-Aware Test Automation. | Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif |
| 2017 | IFM | Modular Verification of Order-Preserving Write-Back Caches. | Jrg Pfhler, Gidon Ernst, Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif |
| 2016 | FMICS | Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. | Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif |
| 2016 | FMICS | Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. | Axel Habermaier, Johannes Leupolz, Wolfgang Reif |
| 2016 | ICISSP | Declassification of Information with Complex Filter Functions. | Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif |
| 2016 | IROS | Environment-aware proximity detection with capacitive sensors for human-robot-interaction. | Alwin Hoffmann, Alexander Poeppel, Andreas Schierl, Wolfgang Reif |
| 2016 | QRS | Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems. | Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Poeppel, Wolfgang Reif |
| 2015 | ER | Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. | Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif |
| 2015 | ICAART | A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning Constraints. | Gerrit Anders, Florian Siefert, Wolfgang Reif |
| 2015 | ICAART | A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives. | Gerrit Anders, Florian Siefert, Wolfgang Reif |
| 2015 | ICAART | Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper. | Alexander Schiendorfer, Yves Wautelet, Wolfgang Reif |
| 2015 | ICINCO | Towards Multi-functional Robot-based Automation Systems. | Andreas Angerer, Michael Vistein, Alwin Hoffmann, Wolfgang Reif, Florian Krebs, Manfred Schnheits |
| 2015 | ICINCO | A Taxonomy of Distribution for Cooperative Mobile Manipulators. | Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif |
| 2015 | ICINCO | On Structure and Distribution of Software for Mobile Manipulators. | Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif |
| 2014 | FedCSIS | Synthesised Constraint Models for Distributed Energy Management. | Alexander Schiendorfer, Jan-Philipp Steghfer, Wolfgang Reif |
| 2014 | ICAART | Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems. | Alexander Schiendorfer, Jan-Philipp Steghfer, Wolfgang Reif |
| 2014 | ICTAI | Quality over Quantity in Soft Constraints. | Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif |
| 2014 | IFM | A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2014 | PRIMA | PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems. | Jan-Philipp Steghfer, Hella Seebach, Benedikt Eberhardinger, Wolfgang Reif |
| 2013 | GI | A System of Systems Approach to the Evolutionary Transformation of Power Management Systems. | Jan-Philipp Steghfer, Gerrit Anders, Florian Siefert, Wolfgang Reif |
| 2013 | ICAART | Trusted Community - A Trust-based Multi-Agent Organisation for Open Systems. | Lukas Klejnowski, Yvonne Bernard, Gerrit Anders, Christian Mller-Schloer, Wolfgang Reif |
| 2013 | IM | Synthesis of observers for autonomic evolutionary systems from requirements models. | Jan-Philipp Steghfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif |
| 2013 | ISSRE | Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. | Benedikt Eberhardinger, Jan-Philipp Steghfer, Florian Nafz, Wolfgang Reif |
| 2013 | RE | Security requirements formalized with OCL in a model-driven approach. | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2013 | SEFM | Model Checking of Security-Critical Applications in a Model-Driven Approach. | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2013 | SGAI | Constraint Relationships for Soft Constraints. | Alexander Schiendorfer, Jan-Philipp Steghfer, Alexander Knapp, Florian Nafz, Wolfgang Reif |
| 2012 | ESORICS | Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. | Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif |
| 2012 | ICINCO | Two-arm Robot Teleoperation using a Multi-touch Tangible User Interface. | Andreas Angerer, Andreas Bareth, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif |
| 2012 | ICINCO | 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 |
| 2012 | MODELS | Incremental development of large, secure smart card applications. | Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif |
| 2012 | PRIMA | A Decentralized Multi-agent Algorithm for the Set Partitioning Problem. | Gerrit Anders, Florian Siefert, Jan-Philipp Steghfer, Wolfgang Reif |
| 2012 | PST | 3rd edition of the workshop on trustworthy self-organizing systems (TSOS 2012). | Christian Mller-Schloer, Wolfgang Reif, Jan-Philipp Steghfer |
| 2012 | TrustCom | Confidence as a Means to Assess the Accuracy of Trust Values. | Rolf Kiefhaber, Gerrit Anders, Florian Siefert, Theo Ungerer, Wolfgang Reif |
| 2012 | SEW | Model-Driven Development of Secure Service Applications. | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2011 | GI | Simulating a Flash File System with CoreASM and Eclipse. | Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst |
| 2011 | ICTAC | Formal Verification of a Lock-Free Stack with Hazard Pointers. | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | MODELS | Formal Verification of QVT Transformations for Code Generation. | Kurt Stenzel, Nina Moebius, Wolfgang Reif |
| 2011 | SEFM | Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. | Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | TIME | Interleaved Programs and Rely-Guarantee Reasoning with ITL. | Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif |
| 2010 | ATC | A Formal Framework for Compositional Verification of Organic Computing Systems. | Florian Nafz, Hella Seebach, Jan-Philipp Steghfer, Simon Bumler, Wolfgang Reif |
| 2010 | ATC | Designing Self-healing in Automotive Systems. | Hella Seebach, Florian Nafz, Jrg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schfer |
| 2010 | ATC | Trustworthy Organic Computing Systems: Challenges and Perspectives. | Jan-Philipp Steghfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif, Theo Ungerer, Elisabeth Andr, Jrg Hhner, Christian Mller-Schloer |
| 2010 | ICFEM | Software Metrics in Static Program Analysis. | Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
| 2010 | ICINCO | 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 |
| 2010 | IROS | The Robotics API: An object-oriented framework for modeling industrial robotics applications. | Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif |
| 2010 | MPC | Temporal Logic Verification of Lock-Freedom. | Bogdan Tofan, Simon Bumler, Gerhard Schellhorn, Wolfgang Reif |
| 2009 | ATC | A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif |
| 2009 | FM | Abstract Specification of the UBIFS File System for Flash Memory. | Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
| 2009 | IROS | Hiding real-time: A new approach for the software development of industrial robots. | Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif |
| 2009 | ICSE | Generating formal specifications for security-critical applications - A model-driven approach. | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2009 | ICSE | A generic software framework for role-based Organic Computing systems. | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif |
| 2008 | ATVA | Automating Algebraic Specifications of Non-freely Generated Data Types. | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | CADE | Compositional Proofs with Symbolic Execution. | Simon Bumler, Florian Nafz, Michael Balser, Wolfgang Reif |
| 2008 | ENASE | Implementing Organic Computing Systems with AgentService. | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif |
| 2008 | FM | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | LPAR | Interactive Verification of Concurrent Systems using Symbolic Execution. | Michael Balser, Simon Bumler, Wolfgang Reif, Gerhard Schellhorn |
| 2008 | TAP | Bounded Relational Analysis of Free Data Types. | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
| 2007 | CEC | Design and construction of organic computing systems. | Hella Seebach, Frank Ortmeier, Wolfgang Reif |
| 2007 | ISCAS | Modeling of self-adaptive systems with SCADE. | Matthias Gdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif |
| 2007 | ICSEA | A Modeling Framework for the Development of Provably Secure E-Commerce Applications. | Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn |
| 2007 | IFM | Verifying Smart Card Applications: An ASM Approach. | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
| 2007 | SAFECOMP | Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. | Matthias Gdemann, Frank Ortmeier, Wolfgang Reif |
| 2007 | SEFM | ASN1-light: A Verified Message Encoding for Security Protocols. | Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif |
| 2006 | ATC | Formal Modeling and Verification of Systems with Self-x Properties. | Matthias Gdemann, Frank Ortmeier, Wolfgang Reif |
| 2006 | FM | The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif |
| 2006 | FM | Interactive Verification of Medical Guidelines. | Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos |
| 2006 | GI | Towards Safe and Secure Organic Computing Applications. | Matthias Gdemann, Florian Nafz, Wolfgang Reif, Hella Seebach |
| 2006 | ISoLA | Safety and Dependability Analysis of Self-Adaptive Systems. | Matthias Gdemann, Frank Ortmeier, Wolfgang Reif |
| 2005 | EDCC | Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn |
| 2005 | SEFM | Object Oriented Verification Kernels for Secure Java Applications. | Holger Grandy, Kurt Stenzel, Wolfgang Reif |
| 2004 | DSN | Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. | Frank Ortmeier, Wolfgang Reif |
| 2004 | FORTE | A Construction Kit for Modeling the Security of M-commerce Applications. | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
| 2004 | ICFEM | Interactive Verification of UML State Machines. | Michael Balser, Simon Bumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |
| 2003 | GI | Design for Trust: Security im M-Commerce. | Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel |
| 2002 | SAFECOMP | Safety Analysis of the Height Control System for the Elbtunnel. | Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh |
| 2001 | CADE | Flaw Detection in Formal Specifications. | Wolfgang Reif, Gerhard Schellhorn, Andreas Thums |
| 2000 | ESORICS | Verification of a Formal Security Model for Multiapplicative Smart Cards. | Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll |
| 2000 | FASE | Formal System Development with KIV. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums |
| 2000 | FMCAD | Do You Trust Your Model Checker? | Wolfgang Reif, Jrgen Ruf, Gerhard Schellhorn, Tobias Vollmer |
| 2000 | GI | Workshop ber Rigorose Entwicklung software-intensiver Systeme. | Martin Wirsing, Martin Gogolla, Hans-Jrg Kreowski, Tobias Nipkow, Wolfgang Reif |
| 1998 | FM | KIV 3.0 for Provably Correct Systems. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | FM | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1997 | CADE | Proving System Correctness with KIV 3.0. | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1993 | GI | KORSO: Das Verbundprojekt "Korrekte Software". | Heinrich Humann, Jacques Loeckx, Wolfgang Reif |
| 1993 | STACS | The KIV System: A Tool for Formal Program Development. | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers |
| 1992 | CADE | The KIV System: Systematic Construction of Verified Software. | Wolfgang Reif |
| 1992 | LFCS | Correctness of Generic Modules. | Wolfgang Reif |
| 1992 | SEKE | Correctness of Full First-Order Specifications. | Wolfgang Reif |
| 1990 | CADE | Tactical Theorem Proving in Program Verification. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1989 | KI | Machine-Assisted Program Construction and Modification. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1988 | CADE | Implementing Verification Strategies in the KIV-System. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1987 | CSL | Program Verification Using Dynamic Logic. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1987 | KI | Program Verification by Symbolic Execution and Induction. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1986 | CADE | An Interactive Verification System Based on Dynamic Logic. | Reiner Hhnle, Maritta Heisel, Wolfgang Reif, Werner Stephan |