Scholar
Anne Remke
Google Scholar ID: cLr3y94AAAAJ
Universität Münster
Critical Infrastructures
Dependability
Model Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,426
H-index
22
i10-index
58
Publications
20
Co-authors
20
list available
Publications
4 items
Stochastic Hybrid Automata for Power Profile Modeling in Energy Systems
2026
Cited
0
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
Co-authors
10 total
Boudewijn R. Haverkort
University of Twente
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Arnd Hartmanns
University of Twente
Geert Heijenk
Professor, University of Twente
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Laura Carnevali
Associate Professor, Department of Information Engineering, University of Florence
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Ramin Sadre
Université catholique de Louvain
