Nikolaos Kekatos

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 17

Top Venues

CoRR

CDC

ARCH@CPSWeek

ACC

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR (2024)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CoRR (2024)
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
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA (2023)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. PoEM Companion (2023)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CDC (2023)
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem
Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. MESAS (2022)
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
On Neural Network Equivalence Checking Using SMT Solvers. FORMATS (2022)
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
On Neural Network Equivalence Checking using SMT Solvers. CoRR (2022)
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros
Runtime Verification for FMI-Based Co-simulation. RV (2022)
Nikolaos Kekatos
Verifying a Cruise Control System using Simulink and SpaceEx. CoRR (2021)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
. CoRR (2021)
Priyanka Sinha, Pabitra Mitra, Antonio Anastasio Bruto da Costa, Nikolaos Kekatos
Explaining Outcomes of Multi-Party Dialogues using Causal Learning. CoRR (2021)
Nikolaos Kekatos
Encoding sinusoidal functions in hybrid automata formalism. CoRR (2021)
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC (2018)
Nikolaos Kekatos, Daniel Heß, Goran Frehse
Lane change maneuver for autonomous vehicles (Benchmark Proposal). ARCH@ADHS (2018)
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
Constructing verification models of nonlinear Simulink systems via syntactic hybridization. CDC (2017)
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. ARCH@CPSWeek (2017)

Nikolaos Kekatos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nikolaos Kekatos