Seuraa
Anne Remke
Anne Remke
Universität Münster
Vahvistettu sähköpostiosoite verkkotunnuksessa wwu.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Hybrid Petri nets with general one-shot transitions
M Gribaudo, A Remke
Performance Evaluation 105, 22-50, 2016
53*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
512015
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
482015
Model checking infinite-state Markov chains
A Remke, BR Haverkort, L Cloth
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
402005
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
382013
An analytical model for beaconing in VANETs
M Van Eenennaam, A Remke, G Heijenk
2012 IEEE Vehicular Networking Conference (VNC), 9-16, 2012
382012
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
36*2017
Does your domestic photovoltaic energy system survive grid outages?
MR Jongerden, J Hüls, A Remke, BR Haverkort
Energies 9 (9), 736, 2016
36*2016
Survivability analysis of a sewage treatment facility using hybrid Petri nets
H Ghasemieh, A Remke, BR Haverkort
Performance evaluation 97, 36-56, 2016
36*2016
An integrated testbed for locally monitoring SCADA systems in smart grids
JJ Chromik, A Remke, BR Haverkort
Energy Informatics 1, 1-29, 2018
332018
ARCH-COMP19 category report: Stochastic modelling
A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ...
6th International Workshop on Applied Verification of Continuous and Hybrid …, 2019
312019
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
312012
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
292016
CSL model checking algorithms for QBDs
A Remke, BR Haverkort, L Cloth
Theoretical Computer Science 382 (1), 24-41, 2007
292007
Arch-comp21 category report: Stochastic models
A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ...
8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021
272021
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
252010
State-space construction of hybrid petri nets with multiple stochastic firings
J Hüls, C Pilch, P Schinke, H Niehaus, J Delicaris, A Remke
ACM Transactions on Modeling and Computer Simulation (TOMACS) 31 (3), 1-37, 2021
232021
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
232011
HYPEG: statistical model checking for hybrid petri nets: tool paper
C Pilch, F Edenfeld, A Remke
Proceedings of the 11th EAI international conference on performance …, 2017
222017
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
222017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20