Pauline Blohm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2023–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IFM | Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. | Pauline Blohm, Paula Herber, Anne Remke |
| 2024 | IFM | Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. | Pauline Blohm, Paula Herber, Anne Remke |
| 2024 | ISoLA | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. | Pauline Blohm, Martin Frnzle, Paula Herber, Paul Krger, Anne Remke |
| 2024 | VMCAI | Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. | Philip Tasche, Ral E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman |
| 2023 | MEMOCODE | Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. | Pauline Blohm, Julius Adelt, Paula Herber |