Anne Remke
Anne Remke
Universität Münster, University of Twente
Verified email at wwu.de - Homepage
TitleCited byYear
Model checking infinite-state Markov chains
A Remke, BR Haverkort, L Cloth
International Conference on Tools and Algorithms for the Construction and …, 2005
342005
An analytical model for beaconing in VANETs
M Van Eenennaam, A Remke, G Heijenk
2012 IEEE Vehicular Networking Conference (VNC), 9-16, 2012
292012
CSL model checking algorithms for QBDs
A Remke, BR Haverkort, L Cloth
Theoretical Computer Science 382 (1), 24-41, 2007
272007
Survivability evaluation of gas, water and electricity infrastructures
A Avritzer, L Carnevali, H Ghasemieh, L Happe, BR Haverkort, A Koziolek, ...
Electronic Notes in Theoretical Computer Science 310, 5-25, 2015
252015
Survivability evaluation of fluid critical infrastructures using hybrid Petri nets
H Ghasemieh, A Remke, BR Haverkort
2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing …, 2013
252013
Region-Based analysis of hybrid petri nets with a single general one-shot transition
H Ghasemieh, A Remke, B Haverkort, M Gribaudo
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
242012
Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study
A Kolesnichenko, A Remke, PT de Boer, BR Haverkort
European Performance Engineering Workshop, 133-147, 2011
222011
Hybrid petri nets with general one-shot transitions for dependability evaluation of fluid critical infrastructures
M Gribaudo, A Remke
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
222010
Hybrid Petri nets with general one-shot transitions
M Gribaudo, A Remke
Performance Evaluation 105, 22-50, 2016
21*2016
A logic for model-checking mean-field models
A Kolesnichenko, PT de Boer, A Remke, BR Haverkort
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
212013
Evaluating repair strategies for a water-treatment facility using Arcade
BR Haverkort, M Kuntz, A Remke, S Roolvink, MIA Stoelinga
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
17*2010
Survivability analysis of a sewage treatment facility using hybrid Petri nets
H Ghasemieh, A Remke, BR Haverkort
Performance evaluation 97, 36-56, 2016
15*2016
Energy resilience modelling for smart houses
H Ghasemieh, BR Haverkort, MR Jongerden, A Remke
2015 45th Annual IEEE/IFIP International Conference on Dependable Systems …, 2015
152015
A domain specific language for performance evaluation of medical imaging systems
F Van Den Berg, A Remke, BR Haverkort
5th Workshop on Medical Cyber-Physical Systems, 2014
122014
Performance evaluation for collision prevention based on a domain specific language
F van den Berg, A Remke, A Mooij, B Haverkort
European Workshop on Performance Engineering, 276-287, 2013
122013
Time-bounded reachability in tree-structured QBDs by abstraction
D Klink, A Remke, BR Haverkort, JP Katoen
Performance Evaluation 68 (2), 105-125, 2011
122011
Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process
J Hüls, A Remke
proceedings of the 10th EAI International Conference on Performance …, 2017
112017
Computing response time distributions using iterative probabilistic model checking
F Van Den Berg, J Hooman, A Hartmanns, BR Haverkort, A Remke
European Workshop on Performance Engineering, 208-224, 2015
102015
Hybrid Petri nets with multiple stochastic transition firings
H Ghasemieh, A Remke, BR Haverkort
Proceedings of the 8th International Conference on Performance Evaluation …, 2014
102014
Model checking structured infinite Markov chains
A Remke
Diss. University of Twente, 2008
10*2008
The system can't perform the operation now. Try again later.
Articles 1–20