Welkom...

A.K.I. Remke (Anne)

Hoogleraar

Publicaties

Recent
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 (ACM). https://doi.org/10.1145/3365365.3382198
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

Contactgegevens

Bezoekadres

Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede