A.K.I. Remke (Anne)

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

Abate, A., Blom, H., Cauchi, N., Degiorgio, K., Fränzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M., Pilch, C. , Remke, A., Salamati, M., Soudjani, S., van Huijgevoort, B., & Vinod, A. P. (2019). ARCH-COMP19 Category Report: Stochastic Modelling. In G. Frehse, & M. Althoff (Eds.), ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (pp. 62-102). (EPiC Series in Computing; Vol. 61). EasyChair. https://doi.org/10.29007/f2vb

Chromik, J. J. (2019). Process-aware SCADA traffic monitoring: A local approach. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente. https://doi.org/10.3990/1.9789036548014

Chromik, J. J. , Remke, A. K. I. , Haverkort, B. R. H. M., & Geist, G. (2019). A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. In 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Industry Track IEEE. https://doi.org/10.1109/DSN-Industry.2019.00008