194 citations
- Aristotle University of ThessalonikiGR10 papers
- University of IoanninaGR3 papers
- University of ThessalyGR3 papers
- Kingston University LondonGB2 papers
- National and Kapodistrian University of AthensGR2 papers
- University of SheffieldGB2 papers
- University of Western MacedoniaGR2 papers
- Agricultural University of AthensGR1 paper
- Complexity Science HubAT1 paper
- Directorate-General for Research and InnovationBE1 paper
- European CommissionBE1 paper
- Greek Association of Alzheimer's Disease and Related DisordersGR1 paper
33 papers
An Experimental Study on the Functional Correctness of Network Device Configurations Produced by Large Language Models
Anastasios C. Politis
This paper presents a preliminary study on the efficacy of network device configuration produced by Large Language Models (LLMs). Currently, the study focuses on routing protocol c…
Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola
Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros +5
Security monitoring of edge-IoT fleets faces three structural challenges. (i) A per-node monitor is cheap but cannot see attacks that coordinate across devices. (ii) A cloud monito…
Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
Nikolaos Kekatos, Stylianos Basagiannis, Marinelio Chintri +5
Guardrails for tool-using LLM agents are usually application-specific rules, which makes multi-step, data-dependent safety policies hard to specify, audit and reuse. As a declarati…
On the Performance of DCF in Full Duplex WLANs with Hidden Terminals
Anastasios C. Politis, Constantinos S. Hilas, Hristos T. Anastassiu
Full Duplex (FD) technology is considered as one of the next big leap in the evolution of modern WLANs. Allowing a node to simultaneously transmit a data frame while in receive mod…
Throughput and Delay Performance of Slotted Aloha in SmartBANs under Saturation Conditions
Anastasios C. Politis, Constantinos S. Hilas
This letter evaluates the performance of the slotted Aloha protocol defined by the European Telecommunication Standard Institute (ETSI) SmartBAN specification, under saturation con…
From Textbook to Talkbot: A Case Study of a Greek-Language RAG-Based Chatbot in Higher Education
Maria Eleni Koutsiaki, Marina Delianidi, Chaido Mizeli +3
The integration of AI chatbots into educational settings has opened new pathways for transforming teaching and learning, offering enhanced support to both educators and learners. T…