A.K.I. Remke (Anne)

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