DE | EN

Profilbild von Professor Dr. Paula Herber

Professor Dr. Paula Herber

Aktuelle Zugehörigkeiten

Professur für Praktische Informatik (Prof. Herber)

Publikationen

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 (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation, 26-47. Crete: Springer. doi:10.1007/978-3-031-75380-0_3 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (Hrsg.), Integrated Formal Methods. iFM 2024, 172-193. Manchester: Springer Nature. doi:10.1007/978-3-031-76554-4_10 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems Becker-Kupczok, Jonas; Herber, Paula (2025) In: A., Madeira; A., Knapp (Hrsg.), Software Engineering and Formal Methods. SEFM 2024, 107-125. Cham: Springer. doi:10.1007/978-3-031-77382-2_7 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions Herber, Paula; Adelt, Julius; Tasche, Philip (2025) In: Madeira, Alexandre; Knapp, Alexander (Hrsg.), Software Engineering and Formal Methods, 3-21. Cham: Springer Nature. doi:10.1007/978-3-031-77382-2_1 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems Tasche Philip; Herber Paula; Huisman Marieke (2025) In: Madeira, Alexandre; Knapp, Alexander (Hrsg.), Software Engineering and Formal Methods, 404-422. Cham: Springer Nature. doi:10.1007/978-3-031-77382-2_23 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht

Alle Publikationen anzeigen

Projekte

Sichere Integration von Lernen in Autonomen cyber-physischen Systemen (Safe ILIAS) Laufzeit: 01.04.2024 - 31.03.2027 \| 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt
Scalable Verification of Industrial Embedded Control Systems (SAVES) Laufzeit: 01.01.2021 - 31.12.2021 Gefördert durch: Universität Münster-interne Förderung - Strategic Collaboration Grant Art des Projekts: Durch die Universität Münster intern gefördertes Projekt
SystemC to Timed Automata Transformation Engine (STATE) Laufzeit: seit 01.10.2018 Art des Projekts: Eigenmittelprojekt
Reliable Embedded System Design based on Co-verification in a Unified Environment (RESCUE) Laufzeit: 01.10.2018 - 31.12.2019 Art des Projekts: Eigenmittelprojekt
Bestimmung der effektiven Komplexität von Softwaremodellen (ECoSMo) Laufzeit: 01.10.2018 - 30.09.2019 Art des Projekts: Eigenmittelprojekt