Skip navigation

Items where Author is "Raptis, George E."

Items where Author is "Raptis, George E."

[up] Up a level
Group by: Item Type | Uncontrolled Keywords | No Grouping
behavior-based security monitoring computational attacks critical systems cyber security cybersecurity distributed ICS distributed industrial control systems (ICS) distributed systems false data injection (FDI) attacks formal verification generative AI industrial control systems inline security monitoring JML specifications large language models model-based network attacks runtime anomaly detection specification water distribution systems water management system
Number of items: 29.

behavior-based security monitoring

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Applying inline monitoring to detect run-time security incidents in water distribution systems. In: IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey. ISBN 978-1665464550 (doi:10.1109/IECON55916.2024.10905306)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

computational attacks

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

critical systems

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Applying inline monitoring to detect run-time security incidents in water distribution systems. In: IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey. ISBN 978-1665464550 (doi:10.1109/IECON55916.2024.10905306)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

cyber security

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Applying inline monitoring to detect run-time security incidents in water distribution systems. In: IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey. ISBN 978-1665464550 (doi:10.1109/IECON55916.2024.10905306)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

cybersecurity

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Applying inline monitoring to detect run-time security incidents in water distribution systems. In: IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey. ISBN 978-1665464550 (doi:10.1109/IECON55916.2024.10905306)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

distributed ICS

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

distributed industrial control systems (ICS)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Applying inline monitoring to detect run-time security incidents in water distribution systems. In: IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey. ISBN 978-1665464550 (doi:10.1109/IECON55916.2024.10905306)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

distributed systems

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Applying inline monitoring to detect run-time security incidents in water distribution systems. In: IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey. ISBN 978-1665464550 (doi:10.1109/IECON55916.2024.10905306)

false data injection (FDI) attacks

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

formal verification

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

generative AI

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

industrial control systems

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

inline security monitoring

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

JML specifications

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

large language models

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

model-based

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

network attacks

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

runtime anomaly detection

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

specification

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

water distribution systems

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

water management system

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Applying inline monitoring to detect run-time security incidents in water distribution systems. In: IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey. ISBN 978-1665464550 (doi:10.1109/IECON55916.2024.10905306)

Raptis, George E., Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Sepanos, Dimitrios (2024) Towards integration of EPANET and ASM2S to enhance security in water distribution systems. In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 10th - 13th September 2024. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-835031230; 979-8350361247 ISSN 1946-0759 (Print), 1946-0740 (Online) (doi:10.1109/ETFA61755.2024.10710978)

This list was generated on Wed Dec 10 19:07:41 2025 UTC.