Get started
Author

Nikolaos Kekatos

Observed names: Kekatos, N, Kekatos, Nikolaos, Kekatos, Nikolaos S., N Kekatos, N. Kekatos
Observed institutions: University of Thessaly, Aristotle University of Thessaloniki, Larnaca College, Verimag, Draxis Environmental Technologies (Greece), Communauté Université Grenoble Alpes, Université Grenoble Alpes
ORCID: 0009-0000-2358-4270
Observed ORCID: 0009-0000-2358-4270
OpenAlex ID: A5074163346
On Neural Network Equivalence Checking Using SMT Solvers
2022 · Charis Eleftheriadis, Nikolaos Kekatos, et al. · Lecture notes in computer science · 14
PDF
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
2018 · Goran Frehse, Nikolaos Kekatos, et al. · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 12
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
2023 · Saddek Bensalem, Panagiotis Katsaros, et al. · Lecture notes in computer science · 9
PDF
Constructing verification models of nonlinear Simulink systems via syntactic hybridization
2017 · Nikolaos Kekatos, Marcelo Forets, et al. · IEEE Conference on Decision and Control (CDC) · 9
Runtime Verification for FMI-Based Co-simulation
2022 · Anastasios Temperekidis, Nikolaos Kekatos, et al. · Lecture notes in computer science · 8
Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process
2018 · Nikolaos Kekatos · 5
PDF
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata
2018 · Nikolaos Kekatos, Marcelo Forets, et al. · EPiC series in computing · 4
PDF
Digital twin for the formal analysis of a depth of anesthesia controller
2025 · Mohamed AbdElSalam, Saddek Bensalem, et al. · SIMULATION · 3
Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems
2023 · Anastasios Temperekidis, Nikolaos Kekatos, et al. · Lecture notes in computer science · 3
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
2024 · AbdElSalam, Mohamed, Ali, Loai, et al. · arXiv (Cornell University) · 2
PDF
Explaining Outcomes of Multi-Party Dialogues using Causal Learning
2021 · Sinha, Priyanka, Mitra, Pabitra, et al. · arXiv (Cornell University) · 2
PDF
Lane change maneuver for autonomous vehicles (Benchmark Proposal)
2018 · Nikolaos Kekatos, Daniel Heß, et al. · EPiC series in computing · 2
PDF
Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola
2026 · Nikolaos Kekatos, Marinelio Chintri, et al. · Lecture notes in computer science · 1
PDF
Security evaluation of 6G-oriented and O-RAN networks through targeted attacks
2026 · Valiakos, Apostolos, Psaltis, Dimitrios, et al. · arXiv (Cornell University)
PDF
Artifact for: Timing Assumptions in the Formal Analysis of NFC Relay Attacks on Contactless Payments in Cognitive Cities
2026 · Kekatos, Nikolaos, Stylianos, Basagiannis, et al. · Zenodo (CERN European Organization for Nuclear Research)
CYBERFORT: A Compliance-Chain Platform Operationalising the Cyber Resilience Act for SMEs
2026 · Kekatos, Nikolaos, Koutidis, Georgios, et al. · arXiv (Cornell University)
PDF
Constrained-Action AI Remediation for SIEM/XDR via a NeMo-Guardrails Proxy
2026 · Koutidis, Georgios, Kekatos, Nikolaos, et al. · arXiv (Cornell University)
PDF
Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach
2026 · Kekatos, Nikolaos, Chintri, Marinelio, et al. · arXiv (Cornell University)
PDF
Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
2026 · Nikolaos Kekatos, Stylianos Basagiannis, et al. · ACM Workshop on CPS&IoT Security and Privacy (CPSIoTSec)
The Amplifier Effect: Human-Factor Risks of AI-Suggested Correlation and Auto-Propagation in Multi-Framework GRC Self-Assessment
2026 · Kekatos, Nikolaos, Ioannou, Michael, et al. · arXiv (Cornell University)
PDF
Mission-Aware Attestation Envelopes for Time-Critical Autonomous Action: A Hardware-in-the-Loop V2I Study
2026 · Nikou, Dimitrios, Kekatos, Nikolaos, et al. · arXiv (Cornell University)
PDF
Quantifying the Privacy Posture of Operator-Side 5G/O-RAN Profiles
2026 · Kekatos, Nikolaos, Valiakos, Apostolos, et al. · arXiv (Cornell University)
PDF
Explainable Rule Mining of IPv6 Extension-Header Presence Patterns from Paired-Vantage Captures
2026 · Sinha, Priyanka, Kekatos, Nikolaos, et al. · arXiv (Cornell University)
PDF
Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents
2026 · Kekatos, Nikolaos, Nikou, Dimitrios, et al. · arXiv (Cornell University)
PDF
Preparing an AI-Augmented SIEM for the EU Cyber Resilience Act: A Practitioner Case Study
2026 · Koutidis, Georgios, Kekatos, Nikolaos, et al. · arXiv (Cornell University)
PDF
Works count: 49
Citation count: 74
H-index: 5
I10-index: 2
Year
Topic
Type