Organisation:

Zeige:

Publikationen

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 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
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: . 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. Switzerland: . 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: . 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: . 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: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (Hrsg.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 389-408. Switzerland: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Deductive Verification of Cooperative RTOS Applications Tasche P; Herber P; Huisman M (2025) In: Transactions on Embedded Computing Systems, 24(5s). doi:10.1145/3759251 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Introduction to the Special Collection from iFM 2023 Herber P; Wijs A (2025) In: Formal Aspects of Computing, 37(4). doi:10.1145/3765650 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
18th International Conference on integrated Formal Methods, {iFM} 2023 Herber, Paula; Wijs, Anton (Hrsg.) (2024) Leiden: . Konferenzband \| Veröffentlicht