Paula Herber

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 45

Top Venues

ICSOFT

IESS

ICSOFT (Selected Papers)

WETICE

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) (2024)
Pauline Blohm, Julius Adelt, Paula Herber
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. MEMOCODE (2023)
Philip Tasche, Paula Herber
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. ICST (2023)
Julius Adelt, Timm Liebrenz, Paula Herber
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. Software Engineering (2023)
Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. AISoLA (2023)
Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. ISoLA (1) (2022)
Julius Adelt, Julian Gebker, Paula Herber
Towards Reusable Formal Models for Custom Real-Time Operating Systems. FMICS (2022)
Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) (2022)
Marcel Schoppmeier, Paula Herber
Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis. IESS (2022)
Julius Adelt, Daniel Brettschneider, Paula Herber
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. ATVA (2022)
Julius Adelt, Timm Liebrenz, Paula Herber
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. FM (2021)
Timm Liebrenz, Paula Herber, Sabine Glesner
Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Sci. Comput. Program. 211 (2021)
Paula Herber, Julius Adelt, Timm Liebrenz
Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. Software Engineering (Satellite Events) (2021)
Paula Herber, Timm Liebrenz, Julius Adelt
Combining Forces: How to Formally Verify Informally Defined Embedded Systems. FM (2021)
Timm Liebrenz, Paula Herber, Sabine Glesner
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. ISoLA (3) (2020)
Dilian Gurov, Paula Herber, Ina Schaefer
Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) (2020)
Paula Herber, Timm Liebrenz
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. MEMOCODE (2020)
Simon Schwan, Paula Herber
Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver. WETICE (2020)
Josef Treus, Paula Herber
Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC. VTC Spring (2020)
Ulrike Witteck, Denis Grießbach, Paula Herber
A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications. ICSOFT (2020)
Ulrike Witteck, Denis Grießbach, Paula Herber
A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing. ICSOFT (Selected Papers) (2020)
Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber
Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. SBAC-PAD (2020)
Timm Liebrenz, Paula Herber, Sabine Glesner
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. FACS (2019)
Ulrike Witteck, Denis Grießbach, Paula Herber
Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms. ICSOFT (2019)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. 48 (2) (2019)
Ulrike Witteck, Denis Grießbach, Paula Herber
Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing. ICSOFT (Selected Papers) (2019)
Stefan Sydow, Mohannad Nabelsee, Helge Parzyjegla, Paula Herber
A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. PDP (2018)
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
Equivalence Checking for Hybrid Control Systems Modelled in Simulink. QRS Companion (2018)
Timm Liebrenz, Paula Herber, Sabine Glesner
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. ICFEM (2018)
Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber
Automated Selection of Software Refactorings that Improve Performance. ICSOFT (2018)
Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber
A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability. ICSOFT (Selected Papers) (2018)
Benjamin Feldner, Paula Herber
A Qualitative Evaluation of IPv6 for the Industrial Internet of Things. FNC/MobiSPC (2018)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Information Flow Analysis of Combined Simulink/Stateflow Models. WETICE (2018)
Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. WETICE (2018)
Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner
Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. DASC/PiCom/DataCom/CyberSciTech (2017)
Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. COMPSAC (2) (2017)
Tobias F. Pfeffer, Stefan Sydow, Joachim Fellmuth, Paula Herber
Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. QRS (2016)
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. CyPhy (2016)
Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. GI-Jahrestagung (2016)
Paula Herber, Verena Klös
A multi-robot search using LEGO mindstorms: an embedded software design project. SIGBED Rev. 14 (1) (2016)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Timed Path Conditions in MATLAB/Simulink. IESS (2015)
Paula Herber, Sabine Glesner
Verification of Embedded Real-time Systems. SyDe Summer School (2015)
Lydia Jaß, Paula Herber
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving. IESS (2015)
Paula Herber, Verena Klös
A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project. WESE (2015)
Paula Herber, Marcel Pockrandt, Sabine Glesner
STATE - A SystemC to Timed Automata Transformation Engine. HPCC/CSS/ICESS (2015)
Paula Herber
The RESCUE Approach - Towards Compositional Hardware/Software Co-verification. HPCC/CSS/ICESS (2014)
Tobias F. Pfeffer, Paula Herber, Jörg Schneider
Reverse Engineering of ARM Binaries Using Formal Transformations. SIN (2014)
Paula Herber, Bettina Hünnemeyer
Formal Verification of SystemC Designs using the BLAST Software Model Checker. ACES-MB@MoDELS (2014)
Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner
Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS (2013)
Paula Herber, Sabine Glesner
A HW/SW co-verification framework for SystemC. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Paula Herber, Robert Reicherdt, Patrick Bittner
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. EMSOFT (2013)
Paula Herber
Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. it Inf. Technol. 54 (6) (2012)
Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner
Optimized Transformation and Verification of SystemC Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Joachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. ICST (2011)
Paula Herber, Marcel Pockrandt, Sabine Glesner
Transforming SystemC Transaction Level Models into UPPAAL timed automata. MEMOCODE (2011)
Marcel Pockrandt, Paula Herber, Sabine Glesner
Model checking a SystemC/TLM design of the AMBA AHB protocol. ESTIMedia (2011)
Paula Herber, Marcel Pockrandt, Sabine Glesner
Automated conformance evaluation of SystemC designs using timed automata. ETS (2010)
Paula Herber
Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. Ausgezeichnete Informatikdissertationen (2010)
Paula Herber, Florian Friedemann, Sabine Glesner
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP@TOOLS (2009)
Paula Herber, Joachim Fellmuth, Sabine Glesner
Model checking SystemC designs using timed automata. CODES+ISSS (2008)

Paula Herber.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paula Herber