Skip navigation

Items where Author is "Koulamas, C."

Items where Author is "Koulamas, C."

[up] Up a level
Group by: Item Type | Uncontrolled Keywords | No Grouping
cyber-physical systems formal specification formal specifications Generative AI industrial control industrial Control Systems (ICS) inline monitors integrated circuit modeling Java Java Modeling Language (JML) large language models large language models (LLMs) monitoring robustness run-time verification security security monitoring training water distribution systems
Number of items: 20.

cyber-physical systems

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

formal specification

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

formal specifications

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

Generative AI

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

industrial control

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

industrial Control Systems (ICS)

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

inline monitors

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

integrated circuit modeling

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

Java

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

Java Modeling Language (JML)

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

large language models

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

large language models (LLMs)

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

monitoring

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

robustness

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

run-time verification

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

security

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

security monitoring

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

training

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

water distribution systems

Raptis, G. E., Khan, M. T. ORCID logoORCID: 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)

This list was generated on Wed Dec 10 20:33:06 2025 UTC.