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

2019

A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications

Chromik, J. J., Remke, A. K. I., Haverkort, B. R. H. M. & Geist, G., 24 Jun 2019, (Accepted/In press) IEEE/IFIP International Conference on Dependable Systems and Networks.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Architecture and prototype implementation for process-aware intrusion detection in electrical grids

Flosbach, R., Chromik, J. J. & Remke, A. K. I., May 2019, (Accepted/In press).

Research output: Contribution to conferencePaperAcademicpeer-review

Intrusion detection
SCADA systems
Electric power distribution
Scalability
Processing
38 Downloads (Pure)

Process-aware SCADA traffic monitoring: A local approach

Chromik, J. J., 12 Jul 2019, Enschede: University of Twente. 231 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
SCADA systems
Data acquisition
Monitoring
Remote control
Testbeds
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
106 Downloads (Pure)

A Tool for Generating Automata of IEC60870-5-104 Implementations

Kerkers, M., Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 2018, Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. German, R., Hielscher, K-S. & Krieger, U. R. (eds.). p. 307-311 (Lecture notes in computer science; vol. 10740).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specifications
Network protocols
Finite automata
Electric power distribution

Bro in SCADA: dynamic intrusion detection policies based on a system model

Chromik, J. J., Remke, A. & Haverkort, B. R., 30 Aug 2018, 5th International Symposium for ICS&SCADA Cyber Security Research (ICS-CSR 2018). Hamburg: BCS Learning & Development Ltd., p. 112-121 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Intrusion detection
SCADA systems
Sensors
Monitoring
3 Citations (Scopus)
196 Downloads (Pure)

Intrusion Detection for sequence-based attacks with reduced traffic models

Ferling, B., Chromik, J. J., Caselli, M. & Remke, A. K. I., 2018.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Intrusion detection
Gases
2017
96 Downloads (Pure)

Analysis of hybrid Petri nets with random discrete events

Ghasemieh, H., 3 Feb 2017, Enschede: University of Twente. 196 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
Petri nets
Critical infrastructures
Intelligent buildings
Sewage treatment
Electric power distribution

Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases

Chromik, J. J., Haverkort, B. R. H. M., Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., Everinghoff, F., Giberlein, A., Teodorowicz, T. & Wieland, J., 2017. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

SCADA systems
Intrusion detection
Testbeds
Electric power distribution
2016
7 Citations (Scopus)

Assessing the Cost of Energy Independence

Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M. & Remke, A. K. I., Apr 2016, Proceedings of the IEEE International Energy Conference, ENERGYCON 2016. USA: IEEE Power & Energy Society, p. 1-6 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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
23 Downloads (Pure)

Fitting a code-red virus spread model: An account of putting theory into practice

Kolesnichenko, A. V., Haverkort, B. R. H. M., Remke, A. K. I. & de Boer, P-T., Mar 2016, p. 39-46. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
88 Downloads (Pure)

Improving SCADA security of a local process with a power grid model

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., Aug 2016, Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016. UK: BCS Learning & Development Ltd., p. 114-123 10 p. (Electronic Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Model checking two layers of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Apr 2016, Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Fiondella, L. & Puliafito, A. (eds.). London: Springer, p. 341-369 29 p. (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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

5 Citations (Scopus)
83 Downloads (Pure)

What's under the hood? Improving SCADA security with process awareness

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 12 Apr 2016, Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016). USA: IEEE, p. - 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2015
8 Citations (Scopus)
5 Downloads (Pure)

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B. R. H. M. & Remke, A. K. I., 31 Aug 2015, Proceedings of the 12th European Workshop on Computer Performance Engineering (EPEW 2015). Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Cham: Springer, p. 208-224 17 p. (Lecture notes in computer science; vol. 9272).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Model checking
Image processing
Sampling
X rays
Statistical Models
11 Citations (Scopus)
19 Downloads (Pure)

Energy Resilience Modeling for Smart Houses

Ghasemieh, H., Haverkort, B. R. H. M., Jongerden, M. R. & Remke, A. K. I., Jun 2015, Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015. USA: IEEE Computer Society, p. 275-286 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
6 Citations (Scopus)
3 Downloads (Pure)

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems

van den Berg, F., Remke, A. K. I. & Haverkort, B. R. H. M., 30 Aug 2015, Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Berlin: Springer, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9272).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2014
8 Citations (Scopus)
11 Downloads (Pure)

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

van den Berg, F., Remke, A. K. I. & Haverkort, B. R. H. M., 14 Apr 2014, Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014. Turau, V., Kwiatkowska, M., Mangharam, R. & Weyer, C. (eds.). Dagstuhl, Germany: Schloss Dagstuhl, p. 80-93 14 p. (OASICS; vol. 36).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
111 Downloads (Pure)

Applying Mean-Field Approximation to Continuous Time Markov Chains

Kolesnichenko, A. V., Senni, V., Pourranjabar, A. & Remke, A., Oct 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: Advanced Lectures of the International Autumn School ROCKS 2012. Remke, A. & Stoelinga, M. (eds.). Berlin: Springer, p. 242-280 39 p. (Lecture Notes in Computer Science; vol. 8453).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Continuous-time Markov Chain
Mean-field Approximation
Mean Field
Computer Science
Performance Modeling
5 Citations (Scopus)
80 Downloads (Pure)

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Postema, B. F., Remke, A. K. I., Haverkort, B. R. H. M. & Ghasemieh, H., 17 Mar 2014, 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014. Switzerland: Springer, p. 255-259 5 p. (Lecture Notes in Computer Science; vol. 8376).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
117 Downloads (Pure)

Hybrid Petri nets with multiple stochastic transition firings

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., 9 Dec 2014, p. 217-224. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
57 Downloads (Pure)

Model-Checking Mean-Field Models: Algorithms & Applications

Kolesnichenko, A. V., 17 Dec 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 194 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
3 Citations (Scopus)
17 Downloads (Pure)

Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks

Heijenk, G., van Eenennaam, M. & Remke, A. K. I., Sep 2014, Proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014. Norman, G. & Sanders, W. (eds.). Switzerland: Springer, p. 154-169 16 p. (Lecture Notes in Computer Science; vol. 8657).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Stochastic systems
Model checking
Stochastic models
Speech recognition
Computer science
2013
9 Citations (Scopus)
19 Downloads (Pure)

A logic for model-checking mean-field models

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I. & Haverkort, B. R. H. M., Jun 2013, 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013). USA: IEEE, p. 1-12 12 p. (International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
9 Citations (Scopus)
13 Downloads (Pure)

Analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Dec 2013, Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013. New York: Association for Computing Machinery (ACM), p. 165-174 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Downloads (Pure)

Performance evaluation for collision prevention based on a domain specic language

van den Berg, F., Remke, A. K. I., Mooij, A. & Haverkort, B. R. H. M., 29 Sep 2013, Proceedings of the 10th European Workshop on Performance Engineering, EPEW 2013. Balsamo, M. S., Knottenbelt, W. J. & Marin, A. (eds.). Berlin: Springer, p. 276-287 12 p. (Lecture Notes in Computer Science; vol. 8168).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
18 Citations (Scopus)
63 Downloads (Pure)

Survivability evaluation of fluid critical infrastructures using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Dec 2013, Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013. USA: IEEE Computer Society, p. 152-161 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Citations (Scopus)
329 Downloads (Pure)

WirelessHART modeling and performance evaluation

Remke, A. K. I. & Wu, X., 24 Jun 2013, 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2013. USA: IEEE Computer Society, p. 1-12 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2012
59 Downloads (Pure)

A logic for model-checking of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., 30 Mar 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-12-11)

Research output: Book/ReportReportProfessional

File
15 Citations (Scopus)
28 Downloads (Pure)

An analytical model for beaconing in VANETs

van Eenennaam, M., Remke, A. K. I. & Heijenk, G., 14 Nov 2012, Fourth IEEE Vehicular Networking Conference (VNC 2012). USA: IEEE Communications Society, p. 9-16 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
17 Downloads (Pure)

Assessing dependability and resilience in critical infrastructures: challenges and opportunities

Avritzer, A., Di Giandomenico, F., Remke, A. K. I. & Riedl, M., 1 Jan 2012, Resilience assessment and evaluation of computing systems. Wolter, K., Avritzer, A., Vieira, M. & van Moorsel, A. (eds.). Berlin: Springer, p. 41-63 23 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
16 Citations (Scopus)
16 Downloads (Pure)

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

Ghasemieh, H., Remke, A. K. I., Haverkort, B. R. H. M. & Gribaudo, M., Sep 2012, 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012). London: Springer, p. 139-154 16 p. (Lecture Notes in Computer Science; vol. 7595).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
56 Downloads (Pure)

Simulative and Analytical Evaluation for ASD-Based Embedded Software

Sadre, R., Remke, A. K. I., Hettinga, S. & Haverkort, B. R. H. M., Mar 2012, 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Schmitt, J. B. (ed.). London: Springer, p. 166-181 16 p. (Lecture Notes in Computer Science; vol. 7201).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Embedded software
Software design
Numerical analysis
Software engineering
Simulators
2011
15 Citations (Scopus)
20 Downloads (Pure)

Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Oct 2011, Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011. Thomas, N. (ed.). London: Springer, p. 133-147 15 p. (Lecture Notes in Computer Science; vol. 6977).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
85 Downloads (Pure)

Is Quantitative Analysis of Stuxnet Possible?

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I., Zambon, E. & Haverkort, B. R. H. M., 7 Sep 2011, QEST 2011: Fast Abstracts. Katoen, J. P. & Van Houdt, B. (eds.). Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT), p. 9-10 2 p. (CTIT Workshop Proceedings; vol. WP11-03).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
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
12 Citations (Scopus)
31 Downloads (Pure)

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I., Roolvink, S. & Stoelinga, M. I. A., Jul 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). Los Alamitos: IEEE Computer Society Press, p. 419-424 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Downloads (Pure)

Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I. & Roolvink, S., 5 Sep 2010, Proceedings of the ESREL 2010 Annual Conference. Ale, B. J. M., Papazoglou, I. A. & Zio, E. (eds.). London: Taylor & Francis, p. 27-34 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
15 Citations (Scopus)
42 Downloads (Pure)

Hybrid Petri nets with general one-shot transitions for dependability evaluation of fluid critical infrastructures

Gribaudo, M. & Remke, A. K. I., 1 Nov 2010, 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010. USA: IEEE Computer Society, p. 84-93 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Probabilistic verification of Architectural software models using SoftArc and Prism

Haverkort, B. R. H. M., Kuntz, G. W. M., Leitner-Fischer, F., Remke, A. K. I. & Roolvink, S., 5 Sep 2010, Proceedings of the ESREL 2010 Annual Conference. London: Taylor & Francis, p. 852-860 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
53 Downloads (Pure)

Setting the parameters right for two-hop IEEE 802.11e ad hoc networks

Remke, A. K. I., Haverkort, B. R. H. M., Heijenk, G. & Bax, J., Mar 2010, 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems. Müller-Clostermann, B., Echtle, K. & Rathgeb, E. P. (eds.). London: Springer, p. 168-182 15 p. (Lecture Notes in Computer Science; vol. 5987).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
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

6 Downloads (Pure)

Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Roolvink, S., Remke, A. & Stoelinga, M., 17 Sep 2009, p. 4-7. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Water
Critical infrastructures
Water treatment
Potable water
Disasters
46 Downloads (Pure)

Survivability of SCADA Control Loop

Camacho, J., de Boer, P-T. & Remke, A. K. I., 1 Aug 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT technical report series; no. TR-CTIT-09-46)

Research output: Book/ReportReportOther research output

File
19 Downloads (Pure)

Survivability study of a Water Cleaning Facility using Fluid Stochastic Petri Nets

van den Broek, J. G., Remke, A. K. I. & Gribaudo, M., Sep 2009, Ninth International Workshop on Performability of Computer and Communication Systems. Eger: Budapest University of Technology and Economics, p. 54-58 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
67 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., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). IEEE Computer Society, p. 133-142 10 p. 10.1109/QEST.2009.9

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File