Publications
Recent
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). [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
Menzel, V.
, Arias, N. B.
, Hurink, J. L.
, & Remke, A. (2023).
Securing Smart Grids Locally using a Power Flow-based Intrusion Detection System. In
2023 IEEE Belgrade PowerTech [10202762] IEEE.
https://doi.org/10.1109/PowerTech55446.2023.10202762
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 [10] Association for Computing Machinery.
https://doi.org/10.1145/3365365.3382198
Flosbach, R.
, Chromik, J. J.
, & Remke, A. K. I. (2020).
Architecture and prototype implementation for process-aware intrusion detection in electrical grids. In
2019 38th Symposium on Reliable Distributed Systems (SRDS) IEEE.
https://doi.org/10.1109/SRDS47363.2019.00015
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
Mailing Address
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands