No photo of Anne Katharina Ingrid Remke

Anne Katharina Ingrid Remke

dr.

20042019
If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019

Filter
Article
2018
31 Downloads (Pure)

An integrated testbed for locally monitoring SCADA systems in smart grids

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 6 Nov 2018, In : Energy Informatics. 1, p. 1-29 56.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
SCADA systems
Testbeds
Monitoring
Simulators
Intrusion detection
2016
4 Citations (Scopus)
57 Downloads (Pure)

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

Jongerden, M. R., Hüls, J., Remke, A. & Haverkort, B. R., 9 Sep 2016, In : Energies. 9, 9, 17 p., 736.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Outages
Survivability
Grid
Battery
Energy
4 Citations (Scopus)

Survivability analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Mar 2016, In : Performance evaluation. 97, p. 36-56 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

2011
4 Citations (Scopus)
10 Downloads (Pure)

Time-bounded reachability in tree-structured QBDs by abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Feb 2011, In : Performance evaluation. 68, 2, p. 105-125 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2010
3 Citations (Scopus)
10 Downloads (Pure)

A Massively Scalable Architecture for Instant Messaging & Presence

Schippers, J., Remke, A., Punt, H., Wegdam, M. & Haverkort, B. R. H. M., 13 Feb 2010, In : Electronic notes in theoretical computer science. 261, p. 109-130 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Instant
Scalability
Queueing
Social Networks
Partitioning
2009

Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren

Haverkort, B. R. H. M., Remke, A. K. I. & Hartel, P. H., 16 Oct 2009, In : Bits en chips. 11, 16, p. 23-23 1 p.

Research output: Contribution to journalArticlePopular

2007
18 Citations (Scopus)
29 Downloads (Pure)

CSL model checking algorithms for QBDs

Di Pierro, A. (ed.), Remke, A. K. I., Haverkort, B. R. H. M., Wiklicky, H. (ed.) & Cloth, L., 28 Aug 2007, In : Theoretical computer science. 382, LNCS4549/1, p. 24-41 18 p., 10.1016/j.tcs.2007.05.007.

Research output: Contribution to journalArticleAcademicpeer-review

File