Person:

Zeige:

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. Crete: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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. Manchester: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
18th International Conference on integrated Formal Methods, {iFM} 2023 Herber, Paula; Wijs, Anton (Hrsg.) (2024) Leiden: . Art der Publikation: Konferenzband
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC Tasche, Philipp; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke (2024) In: Dimitrova, Rayna ; Lahav, Ori; Wolff, Sebastian (Hrsg.), Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024. London: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Reusable formal models for concurrency and communication in custom real-time operating systems Adelt Julius; Gebker Julian; Herber Paula (2024) In: International Journal on Software Tools for Technology Transfer, 26(2) Art der Publikation: Forschungsartikel (Zeitschrift)
Ernst Denert Software Engineering Award 2022 Bodden, E; Felderer, M; Hasselbring, W; Herber, P; Koziolek, H; Lilienthal, C; Matthes, F; Prechelt, L; Rumpe, B; Schaefer, I (Hrsg.) (2024) Cham, Switzerland: . Art der Publikation: Fachbuch (Herausgegebenes Buch)
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems Becker-Kupczok, Jonas; Herber, Paula (2024) In: Margaria, Tiziana; Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27…. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)