Login / Signup
Éléanore Meyer
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Business Process Models
Cooperative
Control Flow
Reactive Systems
Top Venues
CoRR
IJCAR (1)
</>
Publications
</>
Nils Lommen
,
Éléanore Meyer
,
Jürgen Giesl
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).
IJCAR (1)
(2024)
Nils Lommen
,
Éléanore Meyer
,
Jürgen Giesl
Control-Flow Refinement for Probabilistic Programs in KoAT.
CoRR
(2024)