Pauline Anne Blohm

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. CreteSpringer. 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. ManchesterSpringer Nature. doi:10.1007/978-3-031-76554-4_10 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
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, 187-209. LondonSpringer. doi:10.1007/978-3-031-50521-8_9 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Designing a tool for authoring digital problem-solving tasks in an app – an integrative learning design study Mense, Sophie; Höveler, Karina; Blohm, Pauline Anne; Willemsen, Lisa Constanze (2023) In: Drijvers, P.; Csapodi, C.; Palmér, H.; Gosztonyi, K.; Kónya, E. (Hrsg.), Proceedings of the 13th Congress of the European Society for Research in Mathematics Education (CERME13), 2993-3000. BudapestAlfréd Rényi Institute of Mathematics and ERME. Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking Blohm, Pauline; Adelt, Julius; Herber, Paula (2023) In: von Hanxleden, Reinhard; Edwards, Stephen A.; Brandt, Jens; Zhu, Qi (Hrsg.), 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, 12-22. HamburgWiley-IEEE Computer Society Press. doi:10.1145/3610579.3611078 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht

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