DE | EN

Professor Dr. Paula Herber

Current affiliations

Professorship for practical comuter science

Publications

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. Manchester: 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
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions Herber, Paula; Adelt, Julius; Tasche, Philip (2025) In: Madeira, Alexandre; Knapp, Alexander (eds.), Software Engineering and Formal Methods, 3-21. Cham: Springer Nature. doi:10.1007/978-3-031-77382-2_1 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems Tasche Philip; Herber Paula; Huisman Marieke (2025) In: Madeira, Alexandre; Knapp, Alexander (eds.), Software Engineering and Formal Methods, 404-422. Cham: Springer Nature. doi:10.1007/978-3-031-77382-2_23 Research article in edited proceedings (conference) \| Peer reviewed \| Published

Show all publications

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