Welcome...

A.K.I. Remke (Anne)

Professor

Publications

Recent
Abate, A., Blom, H., Cauchi, N., Delicaris, J., Haesaert, S., Huijgevoort, B. V., Lavaei, A. , Remke, A., Schön, O., Schupp, S., Shmarov, F., Soudjani, S. , Willemsen, L., & Zuliani, P. (2023). ARCH-COMP23 Category Report: Stochastic Models. In G. Frehse, & M. Althoff (Eds.), Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (pp. 126-150). (EPiC Series in Computing; Vol. 96). EasyChair. https://doi.org/10.29007/k7s6
Willemsen, L. , Remke, A., & Ábrahám, E. (2023). Comparing Two Approaches to Include Stochasticity in Hybrid Automata. In N. Jansen, & M. Tribastone (Eds.), Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings (pp. 238-254). Article Chapter 17 (Lecture Notes in Computer Science; Vol. 14287). Springer Nature. https://doi.org/10.1007/978-3-031-43835-6_17
Menzel, V., Großhanten, K. O. , & Remke, A. (2023). Evaluating a Process-Aware IDS for Smart Grids on Distributed Hardware. In 2023 IEEE International Conference on Cyber Security and Resilience (CSR) (pp. 418-425). IEEE. https://doi.org/10.1109/CSR57506.2023.10224985
Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M. , Remke, A., Schön, O., Schupp, S., Soudjani, S. , & Willemsen, L. (2022). ARCH-COMP22 Category Report: Stochastic Models. In G. Frehse, M. Althoff, E. Schoitsch, & J. Guiochet (Eds.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). (EPiC Series in Computing; Vol. 90). EasyChair. https://doi.org/10.29007/lsvc
Abate, A., Blom, H., Bouissou, M., Cauchi, N., Chraibi, H., Delicaris, J., Haesaert, S., Hartmanns, A., Khaled, M., Lavaei, A., Ma, H., Mallik, K., Niehage, M. , Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Thorpe, A., Turcuman, V., & Zuliani, P. (2021). ARCH-COMP21 Category Report: Stochastic Models. In G. Frehse, & M. Althoff (Eds.), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021 (pp. 55-89). (EPiC Series in Computing; Vol. 80). EasyChair. https://doi.org/10.29007/dprv
Niehage, M., Hartmanns, A. , & Remke, A. (2021). Learning optimal decisions for stochastic hybrid systems. In S. Arun-Kumar, D. Méry, I. Saha, & L. Zhang (Eds.), MEMOCODE '21: Prtoceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021 (pp. 44-55). ACM Press. https://doi.org/10.1145/3487212.3487339
Menzel, V. , Hurink, J. L. , & Remke, A. (2021). Securing SCADA networks for smart grids via a distributed evaluation of local sensor data. In 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) (pp. 405-411). IEEE. https://doi.org/10.1109/SmartGridComm51999.2021.9632283
Abate, A., Blom, H., Cauchi, N., Delicaris, J., Hartmanns, A., Khaled, M., Lavaei, A., Pilch, C. , Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Vinod, A. P., Wooding, B., Zamani, M., & Zuliani, P. (2020). ARCH-COMP20 Category Report: Stochastic Models. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020 (Vol. 74, pp. 76-106). (EPiC Series in Computing). EasyChair. https://doi.org/10.29007/mqzc
Pilch, C., Hartmanns, A. , & Remke, A. (2020). Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. In A. Ames, S. A. Seshia, & J. Deshmukh (Eds.), HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control Article 10 Association for Computing Machinery. https://doi.org/10.1145/3365365.3382198

Courses Academic Year  2023/2024

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
 

Courses Academic Year  2022/2023

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands