Anne Remke

Cited by

	All	Since 2018
Citations	939	485
h-index	18	13
i10-index	38	19

120

20052006200720082009201020112012201320142015201620172018201920202021202220235 7 16 22 16 11 17 21 37 44 55 111 77 87 73 112 98 113 1

Public access

View all

10 articles

3 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
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
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Marijn JongerdenHAN University of Applied SciencesVerified email at han.nl
Emiel Martijn van Eenennaam, Ph.D.Software Engineer at Nedap HealthcareVerified email at freeminded.org
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
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
Marco GribaudoPolitecnico di milanoVerified email at polimi.it
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
Carina da SilvaResearcher, University of Münster (WWU)Verified email at wwu.de

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	43*	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	39	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	39	2015
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
Model checking infinite-state Markov chains A Remke, BR Haverkort, L Cloth Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005	36	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	33	2013
Does your domestic photovoltaic energy system survive grid outages? MR Jongerden, J Hüls, A Remke, BR Haverkort Energies 9 (9), 736, 2016	31*	2016
Survivability analysis of a sewage treatment facility using hybrid Petri nets H Ghasemieh, A Remke, BR Haverkort Performance evaluation 97, 36-56, 2016	29*	2016
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
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	28*	2017
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
An integrated testbed for locally monitoring SCADA systems in smart grids JJ Chromik, A Remke, BR Haverkort Energy Informatics 1 (1), 1-29, 2018	22	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	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	20	2010
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	19	2017
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	16	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	15	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