Welcome...

dr. A.K.I. Remke (Anne)

Associate Professor

Expertise

Model Checking
Petri Nets
Water
Critical Infrastructures
Stochastic Models
Outages
Water Treatment
Markov Processes

Publications

Recent Articles
Chromik, J. J., Haverkort, B. R. H. M., Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., ... Wieland, J. (2017). Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases. Paper presented at SmartGridComm 2017, Dresden, Germany.
Kolesnichenko, A. V., Haverkort, B. R. H. M., Remke, A. K. I., & de Boer, P-T. (2016). Fitting a code-red virus spread model: An account of putting theory into practice. 39-46. Paper presented at 12th International Conference on the Design of Reliable Communication Networks (DRCN 2016), .DOI: 10.1109/DRCN.2016.7470833
Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M., & Remke, A. K. I. (2016). Assessing the Cost of Energy Independence. In Proceedings of the IEEE International Energy Conference, ENERGYCON 2016 (pp. 1-6). USA: IEEE Power & Energy Society. DOI: 10.1109/ENERGYCON.2016.7514139
Chromik, J. J., Remke, A. K. I., & Haverkort, B. R. H. M. (2016). What's under the hood? Improving SCADA security with process awareness. In Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016) (pp. -). USA: IEEE. DOI: 10.1109/CPSRSG.2016.7684100
Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T., & Haverkort, B. R. H. M. (2016). Model checking two layers of mean-field models. In L. Fiondella, & A. Puliafito (Eds.), Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday (pp. 341-369). (Springer series in reliability engineering). London: Springer Verlag. DOI: 10.1007/978-3-319-30599-8_13
Chromik, J. J., Remke, A. K. I., & Haverkort, B. R. H. M. (2016). Improving SCADA security of a local process with a power grid model. In Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016 (pp. 114-123). (Electronic Workshops in Computing). UK: BCS Learning & Development Ltd.. DOI: 10.14236/ewic/ICS2016.13
Ghasemieh, H., Haverkort, B. R. H. M., Jongerden, M. R., & Remke, A. K. I. (2015). Energy Resilience Modeling for Smart Houses. In Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015 (pp. 275-286). USA: IEEE Computer Society. DOI: 10.1109/DSN.2015.31
van den Berg, F., Remke, A. K. I., & Haverkort, B. R. H. M. (2015). iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. In M. Beltran, W. Knottenbelt, & J. Bradley (Eds.), Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015 (pp. 227-242). (Lecture Notes in Computer Science; Vol. 9272). Berlin: Springer. DOI: 10.1007/978-3-319-23267-6_15

UT Research Information System

Google Scholar Link

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 5051
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  5051
P.O. Box 217
7500 AE Enschede
The Netherlands

Additional Contact Information