Model checking SystemC designs using timed automata. - Paula Herber; Joachim Fellmuth; Sabine Glesner (CODES+ISSS, 2008)

Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. - Paula Herber; Florian Friedemann; Sabine Glesner (TAP@TOOLS, 2009)

A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. - Paula Herber (Logos, 2010)

Automated conformance evaluation of SystemC designs using timed automata. - Paula Herber; Marcel Pockrandt; Sabine Glesner (ETS, 2010)

Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. - Paula Herber (Ausgezeichnete Informatikdissertationen, 2010)

Model checking a SystemC/TLM design of the AMBA AHB protocol. - Marcel Pockrandt; Paula Herber; Sabine Glesner (ESTIMedia, 2011)

An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. - Joachim Hänsel; Daniela Rose; Paula Herber; Sabine Glesner (ICST, 2011)

Transforming SystemC Transaction Level Models into UPPAAL timed automata. - Paula Herber; Marcel Pockrandt; Sabine Glesner (MEMOCODE, 2011)

Optimized Transformation and Verification of SystemC Methods. - Marcel Pockrandt; Paula Herber; Holger Gross; Sabine Glesner (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. - Paula Herber (it Inf. Technol., 2012)

Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. - Paula Herber; Robert Reicherdt; Patrick Bittner (EMSOFT, 2013)

Model Checking Memory-Related Properties of Hardware/Software Co-designs. - Marcel Pockrandt; Paula Herber; Verena Klös; Sabine Glesner (IESS, 2013)

A HW/SW co-verification framework for SystemC. - Paula Herber; Sabine Glesner (ACM Trans. Embed. Comput. Syst., 2013)

The RESCUE Approach - Towards Compositional Hardware/Software Co-verification. - Paula Herber (HPCC/CSS/ICESS, 2014)

Formal Verification of SystemC Designs using the BLAST Software Model Checker. - Paula Herber; Bettina Hünnemeyer (ACES-MB@MoDELS, 2014)

Reverse Engineering of ARM Binaries Using Formal Transformations. - Tobias F. Pfeffer; Paula Herber; Jörg Schneider 001 (SIN, 2014)

STATE - A SystemC to Timed Automata Transformation Engine. - Paula Herber; Marcel Pockrandt; Sabine Glesner (HPCC/CSS/ICESS, 2015)

Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving. - Lydia Jaß; Paula Herber (IESS, 2015)

Timed Path Conditions in MATLAB/Simulink. - Marcus Mikulcak; Paula Herber; Thomas Göthel; Sabine Glesner (IESS, 2015)

Verification of Embedded Real-time Systems. - Paula Herber; Sabine Glesner (SyDe Summer School, 2015)

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. - Sebastian Schlesinger; Paula Herber; Thomas Göthel; Sabine Glesner (CyPhy, 2016)

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. - Marcus Mikulcak; Thomas Göthel; Paula Herber; Sabine Glesner (GI-Jahrestagung, 2016)

Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. - Tobias F. Pfeffer; Stefan Sydow; Joachim Fellmuth; Paula Herber (QRS, 2016)

A multi-robot search using LEGO mindstorms: an embedded software design project. - Paula Herber; Verena Klös (SIGBED Rev., 2016)

Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. - Timm Liebrenz; Paula Herber; Thomas Göthel; Sabine Glesner (COMPSAC (2), 2017)

Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. - Joachim Fellmuth; Paula Herber; Tobias F. Pfeffer; Sabine Glesner (DASC/PiCom/DataCom/CyberSciTech, 2017)

A Qualitative Evaluation of IPv6 for the Industrial Internet of Things. - Benjamin Feldner; Paula Herber (FNC/MobiSPC, 2018)

Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. - Timm Liebrenz; Paula Herber; Sabine Glesner (ICFEM, 2018)

Automated Selection of Software Refactorings that Improve Performance. - Nikolai Moesus; Matthias Scholze; Sebastian Schlesinger; Paula Herber (ICSOFT, 2018)

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 (ICSOFT (Selected Papers), 2018)

A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. - Stefan Sydow; Mohannad Nabelsee; Helge Parzyjegla; Paula Herber (PDP, 2018)

Equivalence Checking for Hybrid Control Systems Modelled in Simulink. - Sebastian Schlesinger; Paula Herber; Thomas Göthel; Sabine Glesner (QRS Companion, 2018)

Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. - Tobias F. Pfeffer; Paula Herber; Lucas Druschke; Sabine Glesner (WETICE, 2018)

A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. - Timm Liebrenz; Paula Herber; Sabine Glesner (FACS, 2019)

Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms. - Ulrike Witteck; Denis Grießbach; Paula Herber (ICSOFT, 2019)

Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing. - Ulrike Witteck; Denis Grießbach; Paula Herber (ICSOFT (Selected Papers), 2019)

Information Flow Analysis of Combined Simulink/Stateflow Models. - Marcus Mikulcak; Paula Herber; Thomas Göthel; Sabine Glesner (Inf. Technol. Control., 2019)

A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications. - Ulrike Witteck; Denis Grießbach; Paula Herber (ICSOFT, 2020)

A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing. - Ulrike Witteck; Denis Grießbach; Paula Herber (ICSOFT (Selected Papers), 2020)

Automated Verification of Embedded Control Software - Track Introduction. - Dilian Gurov; Paula Herber; Ina Schaefer (ISoLA (3), 2020)

Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. - Timm Liebrenz; Paula Herber; Sabine Glesner (ISoLA (3), 2020)

Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. - Paula Herber; Timm Liebrenz (MEMOCODE, 2020)

Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. - Stefan Sydow; Mohannad Nabelsee; Sabine Glesner; Paula Herber (SBAC-PAD, 2020)

Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC. - Josef Treus; Paula Herber (VTC Spring, 2020)

Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver. - Simon Schwan; Paula Herber (WETICE, 2020)

Combining Forces: How to Formally Verify Informally Defined Embedded Systems. - Paula Herber; Timm Liebrenz; Julius Adelt (FM, 2021)

Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. - Paula Herber; Julius Adelt; Timm Liebrenz (Software Engineering (Satellite Events), 2021)

Service-oriented decomposition and verification of hybrid system models using feature models and contracts. - Timm Liebrenz; Paula Herber; Sabine Glesner (Sci. Comput. Program., 2021)

Ernst Denert Software Engineering Award 2022. - Eric Bodden; Michael Felderer; Wilhelm Hasselbring; Paula Herber; Heiko Koziolek; Carola Lilienthal; Florian Matthes; Lutz Prechelt; Bernhard Rumpe; Ina Schaefer (Ernst Denert Award for Software Engineering, 2022)

Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. - Julius Adelt; Daniel Brettschneider; Paula Herber (ATVA, 2022)

Towards Reusable Formal Models for Custom Real-Time Operating Systems. - Julius Adelt; Julian Gebker; Paula Herber (FMICS, 2022)

Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis. - Marcel Schoppmeier; Paula Herber (IESS, 2022)

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. - Julius Adelt; Paula Herber; Mathis Niehage; Anne Remke (ISoLA (1), 2022)

SpecifyThis - Bridging Gaps Between Program Specification Paradigms. - Wolfgang Ahrendt; Paula Herber; Marieke Huisman; Mattias Ulbrich (ISoLA (1), 2022)

A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. - Philip Tasche; Paula Herber (ICST, 2023)

Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. - Pauline Blohm; Julius Adelt; Paula Herber (MEMOCODE, 2023)

Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. - Julius Adelt; Timm Liebrenz; Paula Herber (Software Engineering, 2023)

The VerifyThis Collaborative Long-Term Challenge Series. - Wolfgang Ahrendt; Gidon Ernst; Paula Herber; Marieke Huisman; Raúl E. Monti; Mattias Ulbrich; Alexander Weigl (TOOLympics@ETAPS, 2023)

Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. - Julius Adelt; Sebastian Bruch 002; Paula Herber; Mathis Niehage; Anne Remke (AISoLA, 2023)

Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. - Julius Adelt; Robert Mensing; Paula Herber (FM (2), 2024)

Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability. - Ulrike Witteck; Jan Stambke; Denis Grießbach; Paula Herber (ICSOFT, 2024)

Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. - Pauline Blohm; Paula Herber; Anne Remke (IFM, 2024)

Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. - Pauline Blohm; Paula Herber; Anne Remke (PhD@IFM, 2024)

Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. - Jonas Becker-Kupczok; Paula Herber (ISoLA (4), 2024)

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. - Pauline Blohm; Martin Fränzle; Paula Herber; Paul Kröger; Anne Remke (ISoLA (3), 2024)

SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. - Gidon Ernst; Paula Herber; Marieke Huisman; Mattias Ulbrich (ISoLA (3), 2024)

Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. - Jonas Becker-Kupczok; Paula Herber (SEFM, 2024)

Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. - Paula Herber; Julius Adelt; Philip Tasche (SEFM, 2024)

Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. - Philip Tasche; Paula Herber; Marieke Huisman (SEFM, 2024)

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. - Philip Tasche; Raúl E. Monti; Stefanie Eva Drerup; Pauline Blohm; Paula Herber; Marieke Huisman (VMCAI (2), 2024)

Reusable formal models for concurrency and communication in custom real-time operating systems. - Julius Adelt; Julian Gebker; Paula Herber (Int. J. Softw. Tools Technol. Transf., 2024)

Ernst Denert Preis 2023. - Eric Bodden; Yasemin Acar; Michael Felderer; Wilhelm Hasselbring; Paula Herber; Bernhard Rumpe (Softwaretechnik-Trends, 2024)

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. - Pauline Blohm; Felix Schulz; Lisa Willemsen; Anne Remke; Paula Herber (CoRR, 2025)