Pauline Blohm

According to our database, Pauline Blohm authored at least 5 papers between 2023 and 2024.

Collaborative distances:

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

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

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