Anne Remke - Concepedia

Author

Anne Remke

University of Twente ORCID

Also Known As

A. Remke, A.K.I. Remke, Anne Remke, Avritzer, Alberto, Remke, Anne, Stoelinga, MariÃ«lle

128

Publications

Citations

H-Index

101

Concepts

All Affiliations

University of Twente University of Münster RWTH Aachen University TU Wien Delft University of Technology

About

Anne Remke is an author at University of Twente specializing in engineering, systems engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	29	525
2	Civil Engineering	2	2	43
3	Business	1	1	10
4	Health Sciences	1	1	11
5	Management	1	1	15

Anne Remke

Publications

610

Citations

H-Index

Page 1

	Year	Citations
Energy Resilience Modelling for Smart Houses Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn Jongerden, Built EnvironmentGerman GovernmentDistributed Energy SystemEngineeringSmart Building	2015	35
Hybrid Petri nets with general one-shot transitions Marco Gribaudo, Anne Remke Performance Evaluation Petri NetEngineeringReachability ProblemStochastic Petri NetProcess Control	2016	33
Survivability Evaluation of Gas, Water and Electricity Infrastructures Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Electronic Notes in Theoretical Computer Science	2015	28
An analytical model for beaconing in VANETs Martijn van Eenennaam, Anne Remke, Geert Heijenk Wireless CommunicationsVehicle CommunicationInternet Of VehicleEngineeringWireless Lan	2012	27
Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions Carina Pilch, Anne Remke Petri NetMultiple General TransitionsEngineeringVerificationComputer-aided Verification	2017	27
An integrated testbed for locally monitoring SCADA systems in smart grids Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort Energy Informatics	2018	27
CSL model checking algorithms for QBDs Anne Remke, Boudewijn R. Haverkort, Lucia Cloth Theoretical Computer Science EngineeringAutomated ReasoningSoftware TestingVerificationFormal Methods	2007	26
What's under the hood? Improving SCADA security with process awareness Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort EngineeringInformation SecurityInformation ForensicsCyber Security EngineeringScada Security	2016	25
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort Petri NetEngineeringCritical Infrastructure ProtectionIndustrial EngineeringVerification	2013	24
Does Your Domestic Photovoltaic Energy System Survive Grid Outages? Marijn Jongerden, Jannik Hüls, Anne Remke, Energies Distributed Energy SystemEngineeringEnergy EfficiencyLocal Energy StoragePhotovoltaic System	2016	24

Page 1