Pauline Blohm

According to our database, Pauline Blohm authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata.

Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

2024

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.

Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems.

Pauline Blohm, Paula Herber, Anne Remke

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024

Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.

Pauline Blohm, Paula Herber, Anne Remke

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC.

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman

Dataset, September, 2023

Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.

Pauline Blohm, Julius Adelt, Paula Herber

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023