Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. - Pauline Blohm; Julius Adelt; Paula Herber (MEMOCODE, 2023)

Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. - Pauline Blohm; Paula Herber; Anne Remke (IFM, 2024)

Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. - Pauline Blohm; Paula Herber; Anne Remke (PhD@IFM, 2024)

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. - Pauline Blohm; Martin Fränzle; Paula Herber; Paul Kröger; Anne Remke (ISoLA (3), 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 (VMCAI (2), 2024)

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. - Pauline Blohm; Felix Schulz; Lisa Willemsen; Anne Remke; Paula Herber (CoRR, 2025)