Anne Remke

Cited by

	All	Since 2018
Citations	1021	564
h-index	18	14
i10-index	44	23

120

20052006200720082009201020112012201320142015201620172018201920202021202220235 7 16 22 14 11 17 24 38 46 52 109 77 87 74 111 96 117 78

Public access

View all

10 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Hamed GhasemiehPhD, University of TwenteVerified email at utwente.nl
Justyna ChromikPhD candidate, University of TwenteVerified email at utwente.nl
Marco GribaudoPolitecnico di MilanoVerified email at polimi.it
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Geert HeijenkProfessor, University of TwenteVerified email at heijenk.com
Pieter-Tjerk de BoerAssociate professor, University of TwenteVerified email at utwente.nl
Alberto AvritzereSulabSolutionsVerified email at esulabsolutions.com
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Marijn JongerdenHAN University of Applied SciencesVerified email at han.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Emiel Martijn van Eenennaam, Ph.D.Software Engineer at Nedap HealthcareVerified email at freeminded.org
Laura CarnevaliAssociate Professor, Department of Information Engineering, University of FlorenceVerified email at unifi.it
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Ramin SadreUniversité catholique de LouvainVerified email at uclouvain.be
Carina da SilvaResearcher, University of Münster (WWU)Verified email at wwu.de
Emmanuele ZambonEindhoven University of TechnologyVerified email at tue.nl
Gianfranco CiardoIowa State UniversityVerified email at iastate.edu
Robin E BloomfieldCity University and Adelard LLPVerified email at csr.city.ac.uk

Anne Remke

Universität Münster

Verified email at wwu.de - Homepage

Critical Infrastructures Dependability Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Hybrid Petri nets with general one-shot transitions M Gribaudo, A Remke Performance Evaluation 105, 22-50, 2016	46*	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	41	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	40	2015
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
An analytical model for beaconing in VANETs M Van Eenennaam, A Remke, G Heijenk 2012 IEEE Vehicular Networking Conference (VNC), 9-16, 2012	38	2012
Does your domestic photovoltaic energy system survive grid outages? MR Jongerden, J Hüls, A Remke, BR Haverkort Energies 9 (9), 736, 2016	33*	2016
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	33	2013
Survivability analysis of a sewage treatment facility using hybrid Petri nets H Ghasemieh, A Remke, BR Haverkort Performance evaluation 97, 36-56, 2016	31*	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	29*	2017
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	29	2012
CSL model checking algorithms for QBDs A Remke, BR Haverkort, L Cloth Theoretical Computer Science 382 (1), 24-41, 2007	29	2007
An integrated testbed for locally monitoring SCADA systems in smart grids JJ Chromik, A Remke, BR Haverkort Energy Informatics 1 (1), 1-29, 2018	26	2018
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	24	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	24	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
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
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	20	2010
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	18	2017
Improving SCADA security of a local process with a power grid model JJ Chromik, A Remke, BR Haverkort 4th International Symposium for ICS & SCADA Cyber Security Research 2016 4 …, 2016	18	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors