Nikolaos Kekatos
Nikolaos Kekatos
University Grenoble Alpes, VERIMAG Laboratory, Grenoble, France
Verified email at univ-grenoble-alpes.fr
Title
Cited by
Cited by
Year
Constructing verification models of nonlinear Simulink systems via syntactic hybridization
N Kekatos, M Forets, G Frehse
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 1788-1795, 2017
62017
A toolchain for verifying safety properties of hybrid automata via pattern templates
G Frehse, N Kekatos, D Nickovic, J Oehlerking, S Schuler, A Walsch, ...
2018 Annual American Control Conference (ACC), 2384-2391, 2018
32018
Modeling the wind turbine benchmark with PWA hybrid automata
N Kekatos, M Forets, G Frehse
EPiC Series in Computing 48, 100-113, 2017
32017
Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process
N Kekatos
12018
Lane change maneuver for autonomous vehicles (Benchmark Proposal).
N Kekatos, D Heß, G Frehse
ARCH@ ADHS, 229-241, 2018
12018
Formally correct monitors for hybrid automata
G Frehse, N Kekatos, D Nickovic
Verimag Research Report, 2017
12017
Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle
N Kekatos
Grenoble Alpes, 2018
2018
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)
N Kekatos, M Forets, G Frehse
2017
Formal Verification of Nonlinear Simulink Models via Syntactic Hybridization
N Kekatos, M Forets, G Frehse
2017
The system can't perform the operation now. Try again later.
Articles 1–9