Pauline Blohm

According to our database, Pauline Blohm authored at least 3 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

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