Nikolaos Kekatos
Nikolaos Kekatos
University Grenoble Alpes, VERIMAG Laboratory, Grenoble, France
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα univ-grenoble-alpes.fr
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
72018
Formal verification of cyber-physical systems in the industrial model-based design process
N Kekatos
Université Grenoble Alpes, 2018
62018
Modeling the wind turbine benchmark with PWA hybrid automata
N Kekatos, M Forets, G Frehse
EPiC Series in Computing 48, 100-113, 2017
42017
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
Explaining Outcomes of Multi-Party Dialogues using Causal Learning
P Sinha, P Mitra, AAB da Costa, N Kekatos
arXiv preprint arXiv:2105.00944, 2021
2021
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
Université Grenoble Alpes (ComUE), 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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–17