Kevin Zagalo

Ph D. student at Kopernic, Keeping worst case reasoning appropriate for different criticalities.
Supervised by Liliana Cucu-Grosjean (Inria) and Avner Bar-Hen (Cnam).

Research interests

Embedded real-time systems
Stochastic analysis

mail kevin.zagalo@inria.fr

Keywords

Markovian processes, Monte-Carlo methods, queueing models.

Cyber physical systems, timing analysis, execution time predictability.