533 citations
- National Technical University of AthensGR139 papers
- National and Kapodistrian University of AthensGR134 papers
- Aristotle University of ThessalonikiGR131 papers
- University of GlasgowGB127 papers
- Hong Kong University of Science and TechnologyHK126 papers
- University of the AegeanGR126 papers
- Transylvania University of BrașovRO124 papers
- University of BirminghamGB124 papers
- Yale UniversityUS124 papers
- Institució Catalana de Recerca i Estudis AvançatsES123 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT123 papers
- University of LiverpoolGB123 papers
315 papers
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…
Fuzzy Distribution Modeling for Synthetic Tabular Data Generation with Causality Preservation
Michael Vasilakakis, Dimitris K. Iakovidis
Synthetic tabular data generation provides an effective alternative for the training of machine learning models when real-world data is limited or inaccessible. However, the hetero…
Self-Supervised Perceptually Interpretable Monocular Depth Estimation
Zain Ul Abidin, George Dimas, Dimitris K. Iakovidis
Self-supervised monocular depth estimation (MDE) enables depth prediction from monocular images without requiring ground-truth supervision, making it attractive for large-scale and…
Multi-Resolution Feature Fusion U-Net for Magnetic Resonance Imaging Segmentation
Eirini Cholopoulou, Dimitrios E. Diamantis, Dimitris K. Iakovidis
The segmentation of anatomical structures in medical images and particularly in MRI scans, is essential for clinical diagnosis and monitoring disease progression. While Deep Learni…
Efficient Automatic Modulation Classification for Next-Generation Wireless Networks
To Truong An, Antonios Argyriou, Annisa Anggun Puspitasari +2
With the imminent development of sixth-generation (6G) networks, there will be a demand for high-accuracy, computationally-efficient, and low-inference time automatic modulation cl…