| Hybrid Petri nets with general one-shot transitions M Gribaudo, A Remke Performance Evaluation 105, 22-50, 2016 | 49* | 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 | 45 | 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 | 43 | 2015 |
| An analytical model for beaconing in VANETs M Van Eenennaam, A Remke, G Heijenk 2012 IEEE Vehicular Networking Conference (VNC), 9-16, 2012 | 39 | 2012 |
| Model checking infinite-state Markov chains A Remke, BR Haverkort, L Cloth Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 39 | 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 | 36 | 2013 |
| Survivability analysis of a sewage treatment facility using hybrid Petri nets H Ghasemieh, A Remke, BR Haverkort Performance evaluation 97, 36-56, 2016 | 35* | 2016 |
| 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 | 34* | 2017 |
| Does your domestic photovoltaic energy system survive grid outages? MR Jongerden, J Hüls, A Remke, BR Haverkort Energies 9 (9), 736, 2016 | 34* | 2016 |
| An integrated testbed for locally monitoring SCADA systems in smart grids JJ Chromik, A Remke, BR Haverkort Energy Informatics 1, 1-29, 2018 | 30 | 2018 |
| Region-based analysis of hybrid petri nets with a single general one-shot transition H Ghasemieh, A Remke, B Haverkort, M Gribaudo Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012 | 30 | 2012 |
| CSL model checking algorithms for QBDs A Remke, BR Haverkort, L Cloth Theoretical Computer Science 382 (1), 24-41, 2007 | 30 | 2007 |
| 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 | 25 | 2016 |
| 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 | 25 | 2010 |
| 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 Computer Performance Engineering: 8th European Performance Engineering …, 2011 | 23 | 2011 |
| 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 | 22 | 2013 |
| 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 | 21 | 2017 |
| 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 | 21 | 2017 |
| 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 | 20 | 2021 |
| 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 | 20 | 2010 |
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg University在 uvt.nl 的电子邮件经过验证
