Constructing verification models of nonlinear Simulink systems via syntactic hybridization. - Nikolaos Kekatos; Marcelo Forets; Goran Frehse (CDC, 2017)

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. - Nikolaos Kekatos; Marcelo Forets; Goran Frehse (ARCH@CPSWeek, 2017)

Lane change maneuver for autonomous vehicles (Benchmark Proposal). - Nikolaos Kekatos; Daniel Heß; Goran Frehse (ARCH@ADHS, 2018)

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. - Goran Frehse; Nikolaos Kekatos; Dejan Nickovic; Jens Oehlerking; Simone Schuler; Alexander Walsch; Matthias Woehrle (ACC, 2018)

Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process. (Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle). - Nikolaos Kekatos (2018)

Encoding sinusoidal functions in hybrid automata formalism. - Nikolaos Kekatos (CoRR, 2021)

Verifying a Cruise Control System using Simulink and SpaceEx. - Nikolaos Kekatos (CoRR, 2021)

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta; Nikolaos Kekatos (CoRR, 2021)

Explaining Outcomes of Multi-Party Dialogues using Causal Learning. - Priyanka Sinha; Pabitra Mitra; Antonio Anastasio Bruto da Costa; Nikolaos Kekatos (CoRR, 2021)

On Neural Network Equivalence Checking Using SMT Solvers. - Charis Eleftheriadis; Nikolaos Kekatos; Panagiotis Katsaros; Stavros Tripakis (FORMATS, 2022)

Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. - Anastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros; Weicheng He; Saddek Bensalem; Hisham AbdElSabour; Mohamed Abdelsalam; Ashraf Salem (MESAS, 2022)

Runtime Verification for FMI-Based Co-simulation. - Anastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros (RV, 2022)

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. - Thao Dang 001; Alexandre Donzé; Inzemamul Haque; Nikolaos Kekatos; Indranil Saha (CDC, 2023)

A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. - Mohamed Abdelsalam; Loai Ali; Saddek Bensalem; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Doron Peled; Anastasios Temperekidis; Changshun Wu (PoEM Companion, 2023)

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. - Saddek Bensalem; Panagiotis Katsaros; Dejan Nickovic; Brian Hsuan-Cheng Liao; Ricardo Ruiz Nolasco; Mohamed Abd El Salam Ahmed; Tewodros A. Beyene; Filip Cano 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Digital twin for the formal analysis of a depth of anesthesia controller. - Mohamed Abdelsalam; Saddek Bensalem; Antoine Delacourt; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Ricardo Ruiz Nolasco; Doron Peled; Matthieu Ponchant; Ismail Ryad; Anastasios Temperekidis; Changshun Wu (Simul., 2025)