Nikolaos Kekatos

19 papers B 1C 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Digital twin for the formal analysis of a depth of anesthesia controller.
Simul.
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
2024 J jnl
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
CoRR
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
2024 J jnl
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.
CoRR
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
2023 — conf
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
PoEM Companion
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
2023 — conf
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
AISoLA
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
2023 — conf
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.
CDC
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
2022 — conf
On Neural Network Equivalence Checking Using SMT Solvers.
FORMATS
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
2022 J jnl
On Neural Network Equivalence Checking using SMT Solvers.
CoRR
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
2022 B conf
Runtime Verification for FMI-Based Co-simulation.
RV
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros
2022 — conf
Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems.
MESAS
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem
2021 J jnl
Encoding sinusoidal functions in hybrid automata formalism.
CoRR
Nikolaos Kekatos
2021 J jnl
Explaining Outcomes of Multi-Party Dialogues using Causal Learning.
CoRR
Priyanka Sinha, Pabitra Mitra, Antonio Anastasio Bruto da Costa, Nikolaos Kekatos
2021 J jnl
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
CoRR
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
2021 J jnl
Verifying a Cruise Control System using Simulink and SpaceEx.
CoRR
Nikolaos Kekatos
2018 C conf
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
ACC
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
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 — conf
Lane change maneuver for autonomous vehicles (Benchmark Proposal).
ARCH@ADHS
Nikolaos Kekatos, Daniel Heß, Goran Frehse
2017 — conf
Constructing verification models of nonlinear Simulink systems via syntactic hybridization.
CDC
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
2017 — conf
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.
ARCH@CPSWeek
Nikolaos Kekatos, Marcelo Forets, Goran Frehse