Concepedia

Anne Remke

AR

34

Publications

610

Citations

17

H-Index

2007

Active since

Affiliations

University of Twente(Current)

University of Münster

RWTH Aachen University

Delft University of Technology

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

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationSmart GridProcess ControlModeling And SimulationVerification

Publications per year

2007–2023

34

Publications

34

Energy Resilience Modelling for Smart Houses

Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn Jongerden et al. · 2015 · 35 citations · Full text

Built Environment, German Government, Distributed Energy System +15

Hybrid Petri nets with general one-shot transitions

Marco Gribaudo, Anne Remke · Performance Evaluation · 2016 · 33 citations

Petri Net, Engineering, Reachability Problem +6

Survivability Evaluation of Gas, Water and Electricity Infrastructures

Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh et al. · Electronic Notes in Theoretical Computer Science · 2015 · 28 citations · Full text

An analytical model for beaconing in VANETs

Martijn van Eenennaam, Anne Remke, Geert Heijenk · 2012 · 27 citations

Wireless Communications, Vehicle Communication, Internet Of Vehicle +11

Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions

Carina Pilch, Anne Remke · 2017 · 27 citations

Petri Net, Multiple General Transitions, Engineering +20

Rows per page

1–5 of 34