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
Conference contribution
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

2018
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
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

85 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
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)
18 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
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
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
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)
327 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
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
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
2010
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
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
2008
54 Downloads (Pure)

A uniformization-based algorithm for model checking the CSL until operator on labeled queueing networks

Remke, A. K. I. & Haverkort, B. R. H. M., 15 Sep 2008, The 6th International Conference on Formal Modelling and Analysis of Timed Systems. Berlin: Springer, p. 188-202 15 p. 10.1007/978-3-540-85778-5_14. (Lecture Notes in Computer Science; no. 302).

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

File
4 Citations (Scopus)
7 Downloads (Pure)

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks

Remke, A., Haverkort, B. R., Heijenk, G. & Cloth, L., 4 Jun 2008, Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings. Al-Begain, K., Heindl, A. & Telek, M. (eds.). Berlin- Heidelberg: Springer, p. 279-294 16 p. (Lecture Notes in Computer Science; vol. 5055).

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

Ad hoc networks
Quality of service
Local area networks
Throughput
Bandwidth
2007
6 Citations (Scopus)
29 Downloads (Pure)

CSL Model Checking Algorithms for Infinite-state Structured Markov chains

Remke, A. K. I. & Haverkort, B. R. H. M., 3 Oct 2007, 5th International Conference, FORMATS 2007. Raskin, J-F. & Thiagarajan, P. S. (eds.). London: Springer, p. 336-351 16 p. 10.1007/978-3-540-75454-1_24. (Lecture Notes in Computer Science; vol. 4763, no. LNCS4549).

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

File
2006
3 Citations (Scopus)
46 Downloads (Pure)

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Sep 2006, Third International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society, p. 63-72 10 p. 10.1109/QEST.2006.3

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

File
19 Downloads (Pure)

Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., Nov 2006, Stochastic Performance Models for Resource Allocation in Communication Systems. Mandjes, M., van der Mei, R. & Nunez Queija, R. (eds.). Centrum voor Wiskunde en Informatica, p. 23-26 4 p.

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

File
1 Citation (Scopus)
18 Downloads (Pure)

Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Oct 2006, First International Conference on Performance Evaluation Methodologies and Tools. New York: Association for Computing Machinery (ACM), p. 7 10 p. 10.1145/1190366.1190372

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

File
2005
23 Citations (Scopus)
7 Downloads (Pure)

Model checking Infinite-State Markov Chains

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 2005, Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005). Halbwachs, N. & Zuck, L. D. (eds.). Berlin / Heidelberg, Germany: Springer, p. 237-252 16 p. (Lecture Notes in Computer Science; vol. 3440).

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

File