| Hybrid Petri nets with general one-shot transitions M Gribaudo, A Remke Performance Evaluation 105, 22-50, 2016 | 58* | 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 | 56 | 2015 |
| 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 | 49 | 2015 |
| Survivability analysis of a sewage treatment facility using hybrid Petri nets H Ghasemieh, A Remke, BR Haverkort Performance evaluation 97, 36-56, 2016 | 42* | 2016 |
| Does your domestic photovoltaic energy system survive grid outages? MR Jongerden, J Hüls, A Remke, BR Haverkort Energies 9 (9), 736, 2016 | 40* | 2016 |
| An analytical model for beaconing in VANETs M Van Eenennaam, A Remke, G Heijenk 2012 IEEE Vehicular Networking Conference (VNC), 9-16, 2012 | 40 | 2012 |
| Model checking infinite-state Markov chains A Remke, BR Haverkort, L Cloth International conference on tools and algorithms for the construction and …, 2005 | 40 | 2005 |
| 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 | 39 | 2013 |
| An integrated testbed for locally monitoring SCADA systems in smart grids JJ Chromik, A Remke, BR Haverkort Energy Informatics 1 (1), 56, 2018 | 38 | 2018 |
| 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 | 38* | 2017 |
| ARCH-COMP19 category report: Stochastic modelling A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ... 6th International Workshop on Applied Verification of Continuous and Hybrid …, 2019 | 33 | 2019 |
| 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 | 32 | 2016 |
| ARCH-COMP25 Category Report: Stochastic Models A Abate, O Akbarzadeh, HAP Blom, S Haesaert, S Hassani, A Lavaei, ... arXiv preprint arXiv:2506.17602, 2025 | 31 | 2025 |
| 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 | 31 | 2012 |
| 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 | 29 | 2010 |
| CSL model checking algorithms for QBDs A Remke, BR Haverkort, L Cloth Theoretical Computer Science 382 (1), 24-41, 2007 | 29 | 2007 |
| HYPEG: statistical model checking for hybrid petri nets: tool paper C Pilch, F Edenfeld, A Remke Proceedings of the 11th EAI international conference on performance …, 2017 | 27 | 2017 |
| Improving SCADA security of a local process with a power grid model JJ Chromik, AKI Remke, BRHM Haverkort 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR …, 2016 | 27 | 2016 |
| State-space construction of hybrid petri nets with multiple stochastic firings J Hüls, C Pilch, P Schinke, H Niehaus, J Delicaris, A Remke ACM Transactions on Modeling and Computer Simulation (TOMACS) 31 (3), 1-37, 2021 | 25 | 2021 |
| Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases JJ Chromik, C Pilch, P Brackmann, C Duhme, F Everinghoff, A Giberlein, ... 2017 IEEE international conference on smart grid communications …, 2017 | 24 | 2017 |
Boudewijn R. HaverkortUniversity of TwenteVerified email at utwente.nl
