Items where Author is "Koulamas, C."
![[up]](/style/images/multi_up.png)
Up a levelJump to: Conference Proceedings
Number of items: 1.
Conference Proceedings
Raptis, G. E., Khan, M. T. 
ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, C. and Serpanos, D.
(2025)
Synthesizing inline security monitors for ICS using Generative AI and FormalBench.
In: IECON 2025: 51st Annual Conference of the IEEE Industrial Electronics Society 14th - 17th Oct. 2025.
IEEE Xplore
.
Institute of Electrical and Electronics Engineers, Inc. (IEEE), Piscataway, New Jersey, pp. 1-6.
(doi:10.1109/IECON58223.2025.11221437)