Panagiotis Katsaros
Scholar

Panagiotis Katsaros

Google Scholar ID: IF0oXd8AAAAJ
Professor of Computer Science, Aristotle University of Thessaloniki, Greece
Software SecurityVerificationModel CheckingFormal MethodsSoftware Architecture
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,068
 
H-index
23
 
i10-index
51
 
Publications
20
 
Co-authors
78
list available
Publications
8 items
Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola
2026
Cited
0
Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach
2026
Cited
0
Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
2026
Cited
0
Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents
2026
Cited
0
A Resilient Runtime-Verification Fabric for Security Monitoring of Critical Edge-IoT Infrastructure
2026
Cited
0
Architecting the Secure AI-SOC: A Neurosymbolic Framework for Pipeline Integrity and Threat Mitigation
2026
Cited
0
Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric
2026
Cited
0
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
2026
Cited
0
Co-authors
6 total
Saddek Bensalem
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Anastasios Gounaris
Anastasios Gounaris
Professor of Aristotle University of Thessaloniki
Scott A. Smolka
Scott A. Smolka
Professor of Computer Science, Stony Brook University
George Stergiopoulos
George Stergiopoulos
Assistant Professor, Information Systems Security at Athens University of Economics and Business
Alexios Lekidis
Alexios Lekidis
University of Thessaly
Ezio Bartocci
Ezio Bartocci
Faculty of Informatics, TU Wien