VLDB 2026 Research / reviewers in the wild / expert
Pauline Blohm
dblp:362/1726
· DBLP profile ↗
4ranked-venue papers
3as first author
4since 2021 · last 2024
0000-0001-8934-1861ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 3 first-author · 4 since 2021Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata
Pauline Blohm, Paula Herber, Anne Remke |
IFM | 1 |
| 2024 | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke |
ISoLA (3) | 1 |
| 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) | 4 |
| 2023 | Safe Integration of Learning in SystemC using Timed Contracts and Model Checking
Pauline Blohm, Julius Adelt, Paula Herber |
MEMOCODE | 1 |