University of Münster
CRIS@UM
DE | EN
Profile picture of Professor Dr. Paula Herber

Professor Dr. Paula Herber

Current affiliations

Publications

Research software from the integrated Formal Methods (iFM) conference 2023
Herber P; Osama M; Wijs A (2026)
In: Science of Computer Programming, 248, 103384-103384. doi:10.1016/j.scico.2025.103384
Research article (journal) | Peer reviewed | Published
Automated Abstraction Refinement for Information Flow Security in Embedded Systems
Becker-Kupczok, Jonas; Ernst, Lukas; Herber, Paula (2026)
In: arXiv:2609.29645.
Research article in digital collection | Preprint | Published
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025)
In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation, 26-47. Crete: Springer. doi:10.1007/978-3-031-75380-0_3
Research article in edited proceedings (conference) | Peer reviewed | Published
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata
Blohm, Pauline; Herber, Paula; Remke, Anne (2025)
In: Kosmatov, Nikolai; Kovács, Laura (eds.), Integrated Formal Methods. iFM 2024, 172-193. Switzerland: Springer Nature. doi:10.1007/978-3-031-76554-4_10
Research article in edited proceedings (conference) | Peer reviewed | Published
Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems
Becker-Kupczok, Jonas; Herber, Paula (2025)
In: A., Madeira; A., Knapp (eds.), Software Engineering and Formal Methods. SEFM 2024, 107-125. Cham: Springer. doi:10.1007/978-3-031-77382-2_7
Research article in edited proceedings (conference) | Peer reviewed | Published
Show all publications (79)

Projects

Safe Integration of Learning In Autonomous cyber-physical Systems (Safe ILIAS)
Duration: 01/04/2024 - 31/03/2027 | 1st Funding period
Funded by: DFG - Individual Grants Programme
Type of project: Individual project
Scalable Verification of Industrial Embedded Control Systems (SAVES)
Duration: 01/01/2021 - 31/12/2021
Funded by: Uni Münster-internal funding - Strategic Collaboration Grant
Type of project: Internally at the University of Münster funded project
SystemC to Timed Automata Transformation Engine (STATE)
Duration: since 01/10/2018
Type of project: Own resources project
Reliable Embedded System Design based on Co-verification in a Unified Environment (RESCUE)
Duration: 01/10/2018 - 31/12/2019
Type of project: Own resources project
Effective Quality of Software Models (ECoSMo)
Duration: 01/10/2018 - 30/09/2019
Type of project: Own resources project