| 2024 | FM | Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. | Julius Adelt, Robert Mensing, Paula Herber |
| 2024 | ICSoft | Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability. | Ulrike Witteck, Jan Stambke, Denis Griebach, Paula Herber |
| 2024 | IFM | Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. | Pauline Blohm, Paula Herber, Anne Remke |
| 2024 | IFM | Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. | Pauline Blohm, Paula Herber, Anne Remke |
| 2024 | ISoLA | Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. | Jonas Becker-Kupczok, Paula Herber |
| 2024 | ISoLA | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. | Pauline Blohm, Martin Frnzle, Paula Herber, Paul Krger, Anne Remke |
| 2024 | ISoLA | SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. | Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2024 | SEFM | Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. | Jonas Becker-Kupczok, Paula Herber |
| 2024 | SEFM | Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. | Paula Herber, Julius Adelt, Philip Tasche |
| 2024 | SEFM | Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. | Philip Tasche, Paula Herber, Marieke Huisman |
| 2024 | VMCAI | Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. | Philip Tasche, Ral E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman |
| 2023 | ICST | A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. | Philip Tasche, Paula Herber |
| 2023 | MEMOCODE | Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. | Pauline Blohm, Julius Adelt, Paula Herber |
| 2023 | VECoS | Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. | Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke |
| 2022 | ATVA | Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. | Julius Adelt, Daniel Brettschneider, Paula Herber |
| 2022 | FMICS | Towards Reusable Formal Models for Custom Real-Time Operating Systems. | Julius Adelt, Julian Gebker, Paula Herber |
| 2022 | ISoLA | Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. | Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke |
| 2022 | ISoLA | SpecifyThis - Bridging Gaps Between Program Specification Paradigms. | Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2021 | FM | Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. | Julius Adelt, Timm Liebrenz, Paula Herber |
| 2021 | FM | Combining Forces: How to Formally Verify Informally Defined Embedded Systems. | Paula Herber, Timm Liebrenz, Julius Adelt |
| 2020 | ICSoft | A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications. | Ulrike Witteck, Denis Griebach, Paula Herber |
| 2020 | ICSoft | A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing. | Ulrike Witteck, Denis Griebach, Paula Herber |
| 2020 | ISoLA | Automated Verification of Embedded Control Software - Track Introduction. | Dilian Gurov, Paula Herber, Ina Schaefer |
| 2020 | ISoLA | Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. | Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2020 | MEMOCODE | Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. | Paula Herber, Timm Liebrenz |
| 2020 | VTC | Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC. | Josef Treus, Paula Herber |
| 2020 | WETICE | Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver. | Simon Schwan, Paula Herber |
| 2020 | SBAC-PAD | Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. | Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber |
| 2019 | ICSoft | Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms. | Ulrike Witteck, Denis Griebach, Paula Herber |
| 2019 | ICSoft | Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing. | Ulrike Witteck, Denis Griebach, Paula Herber |
| 2018 | FNC | A Qualitative Evaluation of IPv6 for the Industrial Internet of Things. | Benjamin Feldner, Paula Herber |
| 2018 | ICFEM | Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. | Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2018 | ICSoft | Automated Selection of Software Refactorings that Improve Performance. | Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber |
| 2018 | ICSoft | A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability. | Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber |
| 2018 | PDP | A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. | Stefan Sydow, Mohannad Nabelsee, Helge Parzyjegla, Paula Herber |
| 2018 | QRS | Equivalence Checking for Hybrid Control Systems Modelled in Simulink. | Sebastian Schlesinger, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2018 | WETICE | Information Flow Analysis of Combined Simulink/Stateflow Models. | Marcus Mikulcak, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2018 | WETICE | Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. | Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner |
| 2017 | COMPSAC | Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. | Timm Liebrenz, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2017 | DASC | Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. | Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner |
| 2016 | GI | Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. | Marcus Mikulcak, Thomas Gthel, Paula Herber, Sabine Glesner |
| 2016 | QRS | Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. | Tobias F. Pfeffer, Stefan Sydow, Joachim Fellmuth, Paula Herber |
| 2015 | HPCC | STATE - A SystemC to Timed Automata Transformation Engine. | Paula Herber, Marcel Pockrandt, Sabine Glesner |
| 2014 | HPCC | The RESCUE Approach - Towards Compositional Hardware/Software Co-verification. | Paula Herber |
| 2014 | MODELS | Formal Verification of SystemC Designs using the BLAST Software Model Checker. | Paula Herber, Bettina Hnnemeyer |
| 2014 | SIN | Reverse Engineering of ARM Binaries Using Formal Transformations. | Tobias F. Pfeffer, Paula Herber, Jrg Schneider |
| 2013 | EMSOFT | Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. | Paula Herber, Robert Reicherdt, Patrick Bittner |
| 2011 | ICST | An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. | Joachim Hnsel, Daniela Rose, Paula Herber, Sabine Glesner |
| 2011 | MEMOCODE | Transforming SystemC Transaction Level Models into UPPAAL timed automata. | Paula Herber, Marcel Pockrandt, Sabine Glesner |
| 2010 | ETS | Automated conformance evaluation of SystemC designs using timed automata. | Paula Herber, Marcel Pockrandt, Sabine Glesner |
| 2009 | TAP | Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. | Paula Herber, Florian Friedemann, Sabine Glesner |