Anne Remke
Scholar

Anne Remke

Google Scholar ID: cLr3y94AAAAJ
Universität Münster
Critical InfrastructuresDependabilityModel Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,426
 
H-index
22
 
i10-index
58
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
3 items
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
2026
Cited
0
Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
2025
Cited
0
ARCH-COMP25 Category Report: Stochastic Models
2025
Cited
0
Resume (English only)
Co-authors
20 total
Boudewijn R. Haverkort
Boudewijn R. Haverkort
University of Twente
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Erika Abraham
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Arnd Hartmanns
Arnd Hartmanns
University of Twente
Geert Heijenk
Geert Heijenk
Professor, University of Twente
Co-author 8
Co-author 8