Anne Remke

Cited by

	All	Since 2016
Citations	733	470
h-index	16	12
i10-index	30	19

120

200520062007200820092010201120122013201420152016201720182019202020215 7 16 22 16 11 17 22 38 43 51 106 76 89 83 98 18

Public access

View all

7 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
Carina PilchPhD candidate, University of Münster (WWU)Verified email at wwu.de
Justyna ChromikPhD candidate, University of TwenteVerified email at utwente.nl
Pieter-Tjerk de BoerAssociate professor, University of TwenteVerified email at utwente.nl
Geert HeijenkProfessor, University of TwenteVerified email at heijenk.com
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Alberto AvritzereSulabSolutionsVerified email at esulabsolutions.com
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
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Laura CarnevaliAssistant Professor, 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
Emmanuele ZambonUniversity of TwenteVerified email at utwente.nl
Gianfranco CiardoIowa State UniversityVerified email at iastate.edu
Robin E BloomfieldCity University and Adelard LLPVerified email at csr.city.ac.uk
Marco GribaudoPolitecnico di milanoVerified email at polimi.it

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
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	34	2015
An analytical model for beaconing in VANETs M Van Eenennaam, A Remke, G Heijenk 2012 IEEE Vehicular Networking Conference (VNC), 9-16, 2012	34	2012
Model checking infinite-state Markov chains A Remke, BR Haverkort, L Cloth International Conference on Tools and Algorithms for the Construction and …, 2005	34	2005
Hybrid Petri nets with general one-shot transitions M Gribaudo, A Remke Performance Evaluation 105, 22-50, 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	30	2013
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	29	2012
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	28	2015
CSL model checking algorithms for QBDs A Remke, BR Haverkort, L Cloth Theoretical Computer Science 382 (1), 24-41, 2007	28	2007
Does your domestic photovoltaic energy system survive grid outages? MR Jongerden, J Hüls, A Remke, BR Haverkort Energies 9 (9), 736, 2016	25*	2016
Survivability analysis of a sewage treatment facility using hybrid Petri nets H Ghasemieh, A Remke, BR Haverkort Performance evaluation 97, 36-56, 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	23	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 European Performance Engineering Workshop, 133-147, 2011	22	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	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
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	19*	2017
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	16	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	15	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
Hybrid Petri nets with multiple stochastic transition firings H Ghasemieh, A Remke, BR Haverkort Proceedings of the 8th International Conference on Performance Evaluation …, 2014	13	2014

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

Upload PDF

Follow this author

Cited by

Co-authors