Login / Signup
Pauline Blohm
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Model Checking
Timed Automata
Finite State Machines
Temporal Properties
Top Venues
VMCAI (2)
MEMOCODE
</>
Publications
</>
Philip Tasche
,
Raúl E. Monti
,
Stefanie Eva Drerup
,
Pauline Blohm
,
Paula Herber
,
Marieke Huisman
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.
VMCAI (2)
(2024)
Pauline Blohm
,
Julius Adelt
,
Paula Herber
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.
MEMOCODE
(2023)