University of Münster
CRIS@UM
DE | EN

Pauline Anne Blohm

Current affiliations

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. Switzerland: Springer Nature. doi:10.1007/978-3-031-76554-4_10
Research article in edited proceedings (conference) | Peer reviewed | Published
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025)
In: Prabhakar, Pavithra; Vandin, Andrea (eds.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 389-408. Switzerland: Springer Nature. doi:10.1007/978-3-032-05792-1_21
Research article in edited proceedings (conference) | Peer reviewed | Published
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 (eds.), Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, 187-209. London: Springer. doi:10.1007/978-3-031-50521-8_9
Research article in edited proceedings (conference) | Peer reviewed | Published
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. (eds.), Proceedings of the 13th Congress of the European Society for Research in Mathematics Education (CERME13), 2993-3000. Budapest:  / Alfréd Rényi Institute of Mathematics and ERME.
Research article in edited proceedings (conference) | Peer reviewed | Published
Show all publications (6)

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