Wolfgang Reif

ORCID

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 110

Top Venues

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. ABZ (2023)
Christian Eymüller, Julian Hanke, Alexander Poeppel, Constantin Wanninger, Wolfgang Reif
RealCaPP: Real-Time Capable Plug & Produce Service Architecture for Distributed Robot Control. IRC (2023)
Dominik Müller, Niklas Schröter, Silvan Mertes, Fabio Hellmann, Miriam Elia, Wolfgang Reif, Bernhard Bauer, Elisabeth André, Frank Kramer
Towards Automated COVID-19 Presence and Severity Classification. CoRR (2023)
Dominik Müller, Silvan Mertes, Niklas Schröter, Fabio Hellmann, Miriam Elia, Bernhard Bauer, Wolfgang Reif, Elisabeth André, Frank Kramer
Towards Automated COVID-19 Presence and Severity Classification. MIE (2023)
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
Refinement and Separation: Modular Verification of Wandering Trees. iFM (2023)
Julian Hanke, Matthias Stueben, Christian Eymüller, Maximilian Enrico Müller, Alexander Poeppel, Wolfgang Reif
CASP: Computer Aided Specimen Placement for Robot-Based Component Testing. ICINCO (1) (2023)
Christian Eymüller, Julian Hanke, Alexander Poeppel, Wolfgang Reif
Towards Self-Configuring Plug & Produce Robot Systems Based on Ontologies. ICARA (2023)
Alexander Poeppel, Christian Eymüller, Wolfgang Reif
SensorClouds: A Framework for Real-Time Processing of Multi-modal Sensor Data for Human-Robot-Collaboration. ICARA (2023)
Simon Stieber, Leonard Heber, Christof Obertscheider, Wolfgang Reif
Control of Composite Manufacturing Processes Through Deep Reinforcement Learning. ICMLA (2023)
Martin Schörner, Constantin Wanninger, Raphael Katschinsky, Simon Hornung, Christian Eymüller, Alexander Poeppel, Wolfgang Reif
UAV Inspection of Large Components: Determination of Alternative Inspection Points and Online Route Optimization. RoSE@ICSE (2023)
Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
Finstreder: Simple and fast Spoken Language Understanding with Finite State Transducers using modern Speech-to-Text models. CoRR (2022)
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Software & System Verification with KIV. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
Jaco: An Offline Running Privacy-aware Voice Assistant. HRI (2022)
Matthias Stueben, Alexander Poeppel, Wolfgang Reif
External Torque Estimation for Mobile Manipulators: A Comparison of Model-based and LSTM Methods. IRC (2022)
Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
Jaco: An Offline Running Privacy-aware Voice Assistant. CoRR (2022)
Julian Hanke, Christian Eymüller, Alexander Poeppel, Julia Reichmann, Anna Trauth, Markus Sause, Wolfgang Reif
Sensor-guided motions for robot-based component testing. IRC (2022)
Carola Gajek, Alexander Schiendorfer, Wolfgang Reif
A Recommendation System for CAD Assembly Modeling Based on Graph Neural Networks. ECML/PKDD (1) (2022)
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Separating Separation Logic - Modular Verification of Red-Black Trees. VSTTE (2022)
Julian Hanke, Christian Eymüller, Julia Reichmann, Anna Trauth, Markus Sause, Wolfgang Reif
Software-defined testing facility for component testing with industrial robots. ETFA (2022)
Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
Verification of Crashsafe Caching in a Virtual File System Switch. Formal Aspects Comput. 34 (1) (2022)
Jonas Wilfert, Simon Stieber, Frederik Wilhelm, Wolfgang Reif
Genetic Programming for Fiber-Threading for Fiber-Reinforced Plastics. ETFA (2021)
Simon Stieber, Niklas Schröter, Ewald Fauster, Alexander Schiendorfer, Wolfgang Reif
PermeabilityNets: Comparing Neural Network Architectures on a Sequence-to-Instance Task in CFRP Manufacturing. ICMLA (2021)
Christian Eymüller, Julian Hanke, Alwin Hoffmann, Alexander Poeppel, Constantin Wanninger, Wolfgang Reif
Towards a Real-Time Capable Plug & Produce Environment for Adaptable Factories. ETFA (2021)
Matthias Stueben, Alwin Hoffmann, Wolfgang Reif
Constraint-based Whole-Body-Control of Mobile Manipulators in Human-Centered Environments. ETFA (2021)
Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
Scribosermo: Fast Speech-to-Text models for German and other Languages. CoRR (2021)
Jonas Wilfert, Niklas Paprotta, Oliver Kosak, Simon Stieber, Alexander Schiendorfer, Wolfgang Reif
A Real-Word Realization of the AntNet Routing Algorithm with ActivityBots. ACSOS-C (2021)
Martin Schörner, Michelle Bettendorf, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
UAV Inspection of Large Components: Indoor Navigation Relative to Structures. ICINCO (2021)
Constantin Wanninger, Luca Alfano, Martin Schömer, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif
Semantic Plug and Play: An Architecture Combining Linked Data and Reconfigurable Hardware. ICSC (2021)
Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif
Architecture for Emergency Control of Autonomous UAV Ensembles**This work is partly funded by the German Research Foundation (DFG) under the COMBO grant. RoSE@ICSE (2021)
Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak, Wolfgang Reif
Distributed Constraint Optimization for Task Allocation in Self-Adaptive Manufacturing Systems. ACSOS-C (2021)
Christian Eymüller, Julian Hanke, Alwin Hoffmann, Wolfgang Reif, Markus Kugelmann, Florian Grätz
RealCaPP: Real-time capable Plug & Produce communication platform with OPC UA over TSN for distributed industrial robot control. CASE (2021)
Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Logic, Computation and Rigorous Methods (2021)
Simon Stieber, Niklas Schröter, Alexander Schiendorfer, Alwin Hoffmann, Wolfgang Reif
FlowFrontNet: Improving Carbon Composite Manufacturing with CNNs. ECML/PKDD (4) (2020)
Simon Stieber, Alwin Hoffmann, Alexander Schiendorfer, Wolfgang Reif, Matthias Beyrle, Jan Faber, Michaela Richter, Markus Sause
Towards Real-time Process Monitoring and Machine Learning for Manufacturing Composite Structures. ETFA (2020)
Christian Eymüller, Julian Hanke, Alwin Hoffmann, Markus Kugelmann, Wolfgang Reif
Real-time capable OPC-UA Programs over TSN for distributed industrial control. ETFA (2020)
Alexander Schiendorfer, Carola Gajek, Wolfgang Reif
Turning Software Engineers into Machine Learning Engineers. Teaching ML (2020)
Oliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
Swarm and Collective Capabilities for Multipotent Robot Ensembles. ISoLA (2) (2020)
Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif
Adding Concurrency to a Sequential Refinement Tower. ABZ (2020)
Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. IFM (2020)
Constantin Wanninger, Raphael Katschinsky, Alwin Hoffmann, Martin Schörner, Wolfgang Reif
Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning. ICINCO (2020)
Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak, Wolfgang Reif
Deadlock Avoidance for Multiple Tasks in a Self-Organizing Production Cell. ACSOS (2020)
Miriam Elia, Carola Gajek, Alexander Schiendorfer, Wolfgang Reif
An Interactive Web Application for Decision Tree Learning. Teaching ML (2020)
Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak, Hella Ponsar, Wolfgang Reif
Modeling and Execution of Coordinated Missions in Reconfigurable Robot Ensembles. IRC (2020)
Alexander Poeppel, Alwin Hoffmann, Martin Siehler, Wolfgang Reif
Robust Distance Estimation of Capacitive Proximity Sensors in HRI using Neural Networks. IRC (2020)
Michael Filipenko, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif
Opportunities and Limitations of Mixed Reality Holograms in Industrial Robotics. CoRR (2020)
Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif
How to find assembly plans (fast): Hierarchical state space partitioning for efficient multi-robot assembly. IRC (2020)
Oliver Kosak, Lukas Huhn, Felix Bohn, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning. ISoLA (2) (2020)
Julia Krützmann, Alexander Schiendorfer, Sergej Beratz, Judith Moosburger-Will, Wolfgang Reif, Siegfried Horn
Learning Controllers for Adaptive Spreading of Carbon Fiber Tows. LOD (2) (2020)
Ludwig Nägele, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif
LegoBot: Automated Planning for Coordinated Multi-Robot Assembly of LEGO structures. IROS (2020)
Martin Schörner, Raphael Katschinsky, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning and View Angle Dependent Optimization Strategies. ICINCO (Selected Papers) (2020)
Alexander Schiendorfer, Wolfgang Reif
Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. CP (2019)
Oliver Kosak, Felix Bohn, Felix Keller, Hella Ponsar, Wolfgang Reif
Ensemble Programming for Multipotent Systems. FAS*W@SASO/ICAC (2019)
Carola Gajek, Alexander Schiendorfer, Wolfgang Reif
A Chained Neural Network Model for Photovoltaic Power Forecast. LOD (2019)
Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif
Modular and Domain-guided Multi-robot Planning for Assembly Processes. ICINCO (2) (2019)
Oliver Kosak, Constantin Wanninger, Alwin Hoffmann, Hella Ponsar, Wolfgang Reif
Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles. Sensors 19 (1) (2019)
Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif
Qualitative and quantitative analysis of safety-critical systems with s#. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif
Test suite reduction for self-organizing systems: a mutation-based approach. AST@ICSE (2018)
Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. ISoLA (3) (2018)
Julian Hanke, Oliver Kosak, Alexander Schiendorfer, Wolfgang Reif
Self-Organized Resource Allocation for Reconfigurable Robot Ensembles. SASO (2018)
Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp, Wolfgang Reif
Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems. Softwaretechnik-Trends 38 (1) (2018)
Constantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif
Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap. ISoLA (3) (2018)
Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter
Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams. ICINCO (2) (2018)
Andreas Schierl, Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif
Integrating planning and reactive behavior by using semantically annotated robot tasks. Encycl. Semantic Comput. Robotic Intell. 2 (1) (2018)
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif
Symbolic execution for a clash-free subset of ASMs. Sci. Comput. Program. 158 (2018)
André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing. Softwaretechnik-Trends 38 (1) (2018)
Johannes Leupolz, Axel Habermaier, Wolfgang Reif
Quantitative and qualitative safety analysis of a hemodialysis machine with S#. J. Softw. Evol. Process. 30 (5) (2018)
Christian Eymüller, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
Semantic Plug and Play - Self-Descriptive Modular Hardware for Robotic Applications. Int. J. Semantic Comput. 12 (4) (2018)
Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif
MiniBrass: Soft constraints for MiniZinc. Constraints An Int. J. 23 (4) (2018)
Andreas Schierl, Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif
Integrating Reactive Behavior and Planning: Optimizing Execution Time Through Predictive Preparation of State Machine Tasks. IRC (2018)
Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert, Wolfgang Reif
Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager. QRS Companion (2018)
Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif
Automatic Planning of Manufacturing Processes using Spatial Construction Plan Analysis and Extensible Heuristic Search. ICINCO (2) (2018)
Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
Modular Verification of Order-Preserving Write-Back Caches. IFM (2017)
Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif
Toward Adaptive, Self-Aware Test Automation. AST@ICSE (2017)
Michael Vistein, Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Wolfgang Reif
Towards Re-orchestration of Real-Time Component Systems in Robotics. IRC (2017)
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif
Consistent World Models for Cooperating Robots: Separating Logical Relationships, Sensor Interpretation and Estimation. IRC (2017)
Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif
Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. SpaCCS Workshops (2017)
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
A Relational Encoding for a Clash-Free Subset of ASMs. ABZ (2016)
Alwin Hoffmann, Alexander Poeppel, Andreas Schierl, Wolfgang Reif
Environment-aware proximity detection with capacitive sensors for human-robot-interaction. IROS (2016)
André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen
Risk-Based Interoperability Testing Using Reinforcement Learning. ICTSS (2016)
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
Modular, crash-safe refinement for ASMs with submachines. Sci. Comput. Program. 131 (2016)
Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. FMICS-AVoCS (2016)
Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif
Back-to-Back Testing of Self-organization Mechanisms. ICTSS (2016)
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
An Approach for Isolated Testing of Self-Organization Algorithms. CoRR (2016)
Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
Secure Integration of Third Party Components in a Model-Driven Approach. Trans. Large Scale Data Knowl. Centered Syst. 30 (2016)
Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Poeppel, Wolfgang Reif
Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems. QRS Companion (2016)
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
Declassification of Information with Complex Filter Functions. ICISSP (2016)
Axel Habermaier, Johannes Leupolz, Wolfgang Reif
Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. FMICS-AVoCS (2016)
Gerrit Anders, Alexander Schiendorfer, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif
Cooperative Resource Allocation in Open Systems of Systems. ACM Trans. Auton. Adapt. Syst. 10 (2) (2015)
Oliver Kosak, Gerrit Anders, Florian Siefert, Wolfgang Reif
An Approach to Robust Resource Allocation in Large-Scale Systems of Systems. SASO (2015)
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
Inside a Verified Flash File System: Transactions and Garbage Collection. VSTTE (2015)
Alexander Schiendorfer, Gerrit Anders, Jan-Philipp Steghöfer, Wolfgang Reif
Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation. Trans. Comput. Collect. Intell. 20 (2015)
Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
Partial Valuation Structures for Qualitative Soft Constraints. Software, Services, and Systems (2015)
Alexander Schiendorfer, Yves Wautelet, Wolfgang Reif
Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper. ICAART (2) (2015)
Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz, Wolfgang Reif
Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#. SASO Workshops (2015)
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif
A Research Overview and Evaluation of Performance Metrics for Self-Organization Algorithms. SASO Workshops (2015)
Kurt Stenzel, Nina Moebius, Wolfgang Reif
Formal verification of QVT transformations for code generation. Softw. Syst. Model. 14 (2) (2015)
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif
A Framework for Testing Selforganisation Algorithms. Softwaretechnik-Trends 35 (1) (2015)
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif
A Taxonomy of Distribution for Cooperative Mobile Manipulators. ICINCO (2) (2015)
Gerrit Anders, Florian Siefert, Wolfgang Reif
A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives. ICAART (Revised Selected Papers) (2015)
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif
On Structure and Distribution of Software for Mobile Manipulators. ICINCO (Selected Papers) (2015)

Wolfgang Reif.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Reif