Skip to main content

Publications

Gelenbe E, Nasereddin M. 2025. Data Driven Optimum Cyberattack Mitigation. IEEE DSAA 2025. Publications

Gelenbe E, Nasereddin M. 2025. Data Driven Optimum Cyberattack Mitigation. IEEE DSAA 2025.

Conference: 12th IEEE International Conference on Data Science and Advanced Analytics (DSAA 2025) Authors: Gelenbe E., Nasereddin M. Abstract: Gateways to the Internet of Things (IoT) are typically servers that communicate with IoT devices, providing them with low-latency services, and connecting them to the internet and other backbone networks. Since…
Dée-Lukács A, Földvári A. 2025. Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems. VERDI 2025. Publications

Dée-Lukács A, Földvári A. 2025. Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems. VERDI 2025.

Conference: 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), co-located with the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), 23. June 2025, Naples, Italy Authors: Dée-Lukács A, Földvári A. Abstract: The rapid advancement of large language models (LLMs) creates new opportunities…
Földvári A, Pataricza A. 2025. Model-driven, logic-supported exploratory dependability analysis. VERDI 2025. Publications

Földvári A, Pataricza A. 2025. Model-driven, logic-supported exploratory dependability analysis. VERDI 2025.

Conference: 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), co-located with the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), 23. June 2025, Naples, Italy Authors: Földvári A, Pataricza A. Abstract: Analyzing empirical dependability data now exceeds domain experts’ capabilities without adequate…
Apostolidis G, Siavvas M, Kalouptsoglou I, Tsoukalas D, Chatzigeorgiou A, Ampatzoglou A, Kehagias D, Tzovaras D. On the capacity of Technical Debt to indicate security issues in open-source software products. 2025. QUATIC 2025. Publications

Apostolidis G, Siavvas M, Kalouptsoglou I, Tsoukalas D, Chatzigeorgiou A, Ampatzoglou A, Kehagias D, Tzovaras D. On the capacity of Technical Debt to indicate security issues in open-source software products. 2025. QUATIC 2025.

Conference: 18th International Conference on the Quality of Information and Communications Technology (QUATIC 2025) Authors: Apostolidis G, Siavvas M, Kalouptsoglou I, Tsoukalas D, Chatzigeorgiou A, Ampatzoglou A, Kehagias D, Tzovaras D. Abstract: Technical Debt (TD) arises from insufficient design and poor coding practices, affecting important software quality attributes. As systems…
Apostolidis G, Kalouptsoglou I, Siavvas M, Kehagias D, Tzovaras D. 2025. AI-Enhanced Static Analysis: Reducing False Alarms Using Large Language Models. LIFESEC 2025. Publications

Apostolidis G, Kalouptsoglou I, Siavvas M, Kehagias D, Tzovaras D. 2025. AI-Enhanced Static Analysis: Reducing False Alarms Using Large Language Models. LIFESEC 2025.

Conference: Workshop on Whole-Lifecycle Security for Smart Systems: Methods and Tools (LIFESEC2025) at the 11th International Conference on Smart Computing (SMARTCOMP2025) , 16. June 2025, Cork, Ireland Authors: Apostolidis G, Kalouptsoglou I, Siavvas M, Kehagias D, Tzovaras D. Abstract: In modern software systems, early and accurate vulnerability detection is crucial.…