Publications
Recent
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
Courses Academic Year 2022/2023
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.
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