default search action
Paula Herber
Person information
- affiliation: University of Münster, Computer Science Department, Germany
- affiliation: International Computer Science Institute (ICSI), Berkeley, CA, USA
- affiliation (PhD): TU Berlin, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Eric Bodden, Yasemin Acar, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Bernhard Rumpe:
Ernst Denert Preis 2023. Softwaretechnik-Trends 44(2): 55 (2024) - [j7]Julius Adelt, Julian Gebker, Paula Herber:
Reusable formal models for concurrency and communication in custom real-time operating systems. Int. J. Softw. Tools Technol. Transf. 26(2): 229-245 (2024) - [c63]Julius Adelt, Robert Mensing, Paula Herber:
Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. FM (2) 2024: 208-228 - [c62]Ulrike Witteck, Jan Stambke, Denis Grießbach, Paula Herber:
Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability. ICSOFT 2024: 207-218 - [c61]Pauline Blohm, Paula Herber, Anne Remke:
Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. PhD@IFM 2024: 1-6 - [c60]Pauline Blohm, Paula Herber, Anne Remke:
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. IFM 2024: 172-193 - [c59]Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich:
SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. ISoLA (3) 2024: 3-7 - [c58]Pauline Blohm
, Martin Fränzle
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. ISoLA (3) 2024: 26-47 - [c57]Jonas Becker-Kupczok, Paula Herber
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. ISoLA (4) 2024: 115-131 - [c56]Paula Herber, Julius Adelt, Philip Tasche:
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. SEFM 2024: 3-21 - [c55]Jonas Becker-Kupczok, Paula Herber:
Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. SEFM 2024: 107-125 - [c54]Philip Tasche, Paula Herber, Marieke Huisman:
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. SEFM 2024: 404-422 - [c53]Philip Tasche
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) 2024: 187-209 - [e1]Paula Herber
iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings. Lecture Notes in Computer Science 14300, Springer 2024, ISBN 978-3-031-47704-1 [contents] - 2023
- [c52]Philip Tasche
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. ICST 2023: 25-36 - [c51]Pauline Blohm, Julius Adelt, Paula Herber:
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. MEMOCODE 2023: 12-22 - [c50]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: 29-30 - [c49]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: 94-118 - 2022
- [c48]Julius Adelt, Daniel Brettschneider, Paula Herber:
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. ATVA 2022: 58-74 - [c47]Julius Adelt, Julian Gebker, Paula Herber:
Towards Reusable Formal Models for Custom Real-Time Operating Systems. FMICS 2022: 69-85 - [c46]Marcel Schoppmeier, Paula Herber:
Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis. IESS 2022: 16-27 - [c45]Wolfgang Ahrendt, Paula Herber, Marieke Huisman
SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) 2022: 3-6 - [c44]Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke:
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. ISoLA (1) 2022: 299-319 - 2021
- [j6]Timm Liebrenz, Paula Herber
Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Sci. Comput. Program. 211: 102694 (2021) - [c43]Paula Herber, Timm Liebrenz, Julius Adelt:
Combining Forces: How to Formally Verify Informally Defined Embedded Systems. FM 2021: 3-22 - [c42]Julius Adelt, Timm Liebrenz, Paula Herber:
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. FM 2021: 349-366 - [c41]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 - 2020
- [c40]Ulrike Witteck, Denis Grießbach, Paula Herber:
A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications. ICSOFT 2020: 128-135 - [c39]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: 134-157 - [c38]Dilian Gurov
Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) 2020: 235-239 - [c37]Timm Liebrenz, Paula Herber, Sabine Glesner:
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. ISoLA (3) 2020: 307-325 - [c36]Paula Herber, Timm Liebrenz:
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. MEMOCODE 2020: 1-6 - [c35]Stefan Sydow
Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. SBAC-PAD 2020: 289-296 - [c34]Josef Treus, Paula Herber:
Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC. VTC Spring 2020: 1-5 - [c33]Simon Schwan, Paula Herber:
Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver. WETICE 2020: 225-230
2010 – 2019
- 2019
- [j5]Marcus Mikulcak
Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. 48(2): 299-315 (2019) - [c32]Timm Liebrenz, Paula Herber, Sabine Glesner:
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. FACS 2019: 127-146 - [c31]Ulrike Witteck, Denis Grießbach, Paula Herber:
Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing. ICSOFT (Selected Papers) 2019: 3-25 - [c30]Ulrike Witteck, Denis Grießbach, Paula Herber:
Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms. ICSOFT 2019: 15-26 - 2018
- [c29]Benjamin Feldner, Paula Herber:
A Qualitative Evaluation of IPv6 for the Industrial Internet of Things. FNC/MobiSPC 2018: 377-384 - [c28]Timm Liebrenz, Paula Herber, Sabine Glesner:
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. ICFEM 2018: 89-105 - [c27]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: 28-54 - [c26]Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber:
Automated Selection of Software Refactorings that Improve Performance. ICSOFT 2018: 67-78 - [c25]Stefan Sydow
A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. PDP 2018: 239-243 - [c24]Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner:
Equivalence Checking for Hybrid Control Systems Modelled in Simulink. QRS Companion 2018: 572-579 - [c23]Marcus Mikulcak
Information Flow Analysis of Combined Simulink/Stateflow Models. WETICE 2018: 223-228 - [c22]Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner:
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. WETICE 2018: 235-240 - 2017
- [c21]Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner:
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. COMPSAC (2) 2017: 469-474 - [c20]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: 454-461 - 2016
- [j4]Paula Herber, Verena Klös:
A multi-robot search using LEGO mindstorms: an embedded software design project. SIGBED Rev. 14(1): 61-70 (2016) - [c19]Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner:
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. CyPhy 2016: 71-86 - [c18]Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner:
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. GI-Jahrestagung 2016: 1495-1508 - [c17]Tobias F. Pfeffer, Stefan Sydow
Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. QRS 2016: 230-241 - 2015
- [c16]Paula Herber, Verena Klös:
A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project. WESE 2015: 2:1-2:8 - [c15]Paula Herber, Marcel Pockrandt, Sabine Glesner:
STATE - A SystemC to Timed Automata Transformation Engine. HPCC/CSS/ICESS 2015: 1074-1077 - [c14]Lydia Jaß, Paula Herber:
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving. IESS 2015: 51-63 - [c13]Marcus Mikulcak
Timed Path Conditions in MATLAB/Simulink. IESS 2015: 64-76 - [c12]Paula Herber, Sabine Glesner:
Verification of Embedded Real-time Systems. SyDe Summer School 2015: 1-25 - 2014
- [c11]Paula Herber:
The RESCUE Approach - Towards Compositional Hardware/Software Co-verification. HPCC/CSS/ICESS 2014: 721-724 - [c10]Paula Herber, Bettina Hünnemeyer:
Formal Verification of SystemC Designs using the BLAST Software Model Checker. ACES-MB@MoDELS 2014: 44-53 - [c9]Tobias F. Pfeffer, Paula Herber, Jörg Schneider:
Reverse Engineering of ARM Binaries Using Formal Transformations. SIN 2014: 345 - 2013
- [j3]Paula Herber, Sabine Glesner:
A HW/SW co-verification framework for SystemC. ACM Trans. Embed. Comput. Syst. 12(1s): 61:1-61:23 (2013) - [c8]Paula Herber, Robert Reicherdt, Patrick Bittner:
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. EMSOFT 2013: 8:1-8:10 - [c7]Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner:
Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS 2013: 92-103 - 2012
- [j2]Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner:
Optimized Transformation and Verification of SystemC Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012) - [j1]Paula Herber:
Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. it Inf. Technol. 54(6): 296- (2012) - 2011
- [c6]Marcel Pockrandt, Paula Herber, Sabine Glesner:
Model checking a SystemC/TLM design of the AMBA AHB protocol. ESTIMedia 2011: 66-75 - [c5]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: 170-179 - [c4]Paula Herber, Marcel Pockrandt, Sabine Glesner:
Transforming SystemC Transaction Level Models into UPPAAL timed automata. MEMOCODE 2011: 161-170 - 2010
- [b1]Paula Herber:
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. Berlin Institute of Technology, Logos 2010, ISBN 978-3-8325-2511-8, pp. 1-147 - [c3]Paula Herber, Marcel Pockrandt, Sabine Glesner:
Automated conformance evaluation of SystemC designs using timed automata. ETS 2010: 188-193 - [p1]Paula Herber:
Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. Ausgezeichnete Informatikdissertationen 2010: 101-110
2000 – 2009
- 2009
- [c2]Paula Herber, Florian Friedemann, Sabine Glesner:
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP@TOOLS 2009: 121-136 - 2008
- [c1]Paula Herber, Joachim Fellmuth, Sabine Glesner:
Model checking SystemC designs using timed automata. CODES+ISSS 2008: 131-136
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: