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
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
Chromik, J. J.
, Remke, A.
, & Haverkort, B. R. (2018).
An integrated testbed for locally monitoring SCADA systems in smart grids.
Energy Informatics,
1, 1-29. [56].
https://doi.org/10.1186/s42162-018-0058-7
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede