Nikolaos Kekatos

According to our database, Nikolaos Kekatos authored at least 15 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, 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

Proceedings of the Bridging the Gap Between AI and Reality, 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

Proceedings of the Companion Proceedings of the 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling and the 13th Enterprise Design and Engineering Working Conference: BES, DTE, FACETE, Tools & Demos, Forum, EDEN Doctoral Consortium co-located with PoEM 2023, Vienna, Austria, November 28, 2023

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.

Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Runtime Verification for FMI-Based Co-simulation.

Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros

Proceedings of the Runtime Verification - 22nd International Conference, 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

Proceedings of the Modelling and Simulation for Autonomous Systems, 2022

On Neural Network Equivalence Checking Using SMT Solvers.

Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

Explaining Outcomes of Multi-Party Dialogues using Causal Learning.

Priyanka Sinha, Pabitra Mitra, Antonio Anastasio Bruto da Costa, Nikolaos Kekatos

CoRR, 2021

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET^SMT.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos

CoRR, 2021

Verifying a Cruise Control System using Simulink and SpaceEx.

Nikolaos Kekatos

CoRR, 2021

Encoding sinusoidal functions in hybrid automata formalism.

Nikolaos Kekatos

CoRR, 2021

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

PhD thesis, 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

Proceedings of the 2018 Annual American Control Conference, 2018

Lane change maneuver for autonomous vehicles (Benchmark Proposal).

Nikolaos Kekatos, Daniel Heß, Goran Frehse

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.

Nikolaos Kekatos, Marcelo Forets, Goran Frehse

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Constructing verification models of nonlinear Simulink systems via syntactic hybridization.

Nikolaos Kekatos, Marcelo Forets, Goran Frehse

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017