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
92017
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
62018
Formal verification of cyber-physical systems in the industrial model-based design process
N Kekatos
Université Grenoble Alpes, 2018
52018
Modeling the wind turbine benchmark with PWA hybrid automata
N Kekatos, M Forets, G Frehse
EPiC Series in Computing 48, 100-113, 2017
32017
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
Plotting Options with SpaceEx
N Kekatos
2021
Encoding sinusoidal functions in hybrid automata formalism
N Kekatos
arXiv preprint arXiv:2101.00012, 2020
2020
A user-guide for running SpaceEx verification tool
N Kekatos
Verimag Laboratory, 2020
2020
Verifying a Cruise Control System using Simulink and SpaceEx
N Kekatos
arXiv preprint arXiv:2101.00102, 2020
2020
ForFET-SMT: Quantitative SMT Analysis of Hybrid Automata using Features
AAB da Costa, P Dasgupta, N Kekatos
2020
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
AAB da Costa, P Dasgupta, N Kekatos
arXiv preprint arXiv:2101.01255, 2020
2020
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
A Anastasio Bruto da Costa, P Dasgupta, N Kekatos
arXiv e-prints, arXiv: 2101.01255, 2020
2020
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
ARCH17. 4th International Workshop on Applied Verification of Continuous and …, 2017
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–16