| Model checking infinite-state Markov chains A Remke, BR Haverkort, L Cloth International Conference on Tools and Algorithms for the Construction and …, 2005 | 33 | 2005 |
| An analytical model for beaconing in VANETs M Van Eenennaam, A Remke, G Heijenk 2012 IEEE Vehicular Networking Conference (VNC), 9-16, 2012 | 32 | 2012 |
| Survivability Evaluation of Gas, Water and Electricity Infrastructures. A Avritzer, L Carnevali, H Ghasemieh, L Happe, BR Haverkort, A Koziolek, ... Electron. Notes Theor. Comput. Sci. 310, 5-25, 2015 | 30 | 2015 |
| Hybrid Petri nets with general one-shot transitions M Gribaudo, A Remke Performance Evaluation 105, 22-50, 2016 | 29* | 2016 |
| CSL model checking algorithms for QBDs A Remke, BR Haverkort, L Cloth Theoretical Computer Science 382 (1), 24-41, 2007 | 28 | 2007 |
| 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 | 27 | 2012 |
| 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 | 26 | 2013 |
| 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 | 25 | 2015 |
| 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 | 23 | 2010 |
| Does your domestic photovoltaic energy system survive grid outages? MR Jongerden, J Hüls, A Remke, BR Haverkort Energies 9 (9), 736, 2016 | 22* | 2016 |
| 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 | 22 | 2011 |
| Survivability analysis of a sewage treatment facility using hybrid Petri nets H Ghasemieh, A Remke, BR Haverkort Performance evaluation 97, 36-56, 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 | 21 | 2013 |
| 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 | 18* | 2010 |
| Statistical Model Checking for hybrid Petri nets with multiple general transitions C Pilch, A Remke 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems …, 2017 | 16* | 2017 |
| 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 | 14 | 2014 |
| Time-Bounded Reachability in Tree-Structured QBDs by Abstraction BRH Daniel Klink, Anne Remke, Joost-Pieter Katoen 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009 | 14* | 2009 |
| What's under the hood? Improving SCADA security with process awareness JJ Chromik, A Remke, BR Haverkort 2016 Joint Workshop on Cyber-Physical Security and Resilience in Smart Grids …, 2016 | 13 | 2016 |
| 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 | 12 | 2017 |
| Hybrid Petri nets with multiple stochastic transition firings H Ghasemieh, A Remke, BR Haverkort Proceedings of the 8th International Conference on Performance Evaluation …, 2014 | 12 | 2014 |
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
