Research

Publications

Kevin Zagalo, Yasmina Abdeddaïm, Avner Bar-Hen, Liliana Cucu-Grosjean. Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2023, pp.1-12. 10.1109/TC.2022.3211421, hal-03797980.
M. W. El Khazen, K. Zagalo, H. Clarke, M. Mezouak, Y. Abdeddaïm, A. Bar-Hen, S. Ben Amor, R. Bennour, A. Gogonel, K. Kougblenou, Y. Sorel, L. Cucu-Grosjean, Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators. 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022, pp. 309-312, doi: 10.1109/RTAS54340.2022.00035.
Kevin Zagalo, Liliana Cucu-Grosjean, Avner Bar-Hen. Identification of execution modes for real-time systems using cluster analysis. 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, Sep 2020, Vienne, Austria. 10.1109/ETFA46521.2020.9211983, hal-02938202

Kevin Zagalo, Olena Verbytska, Liliana Cucu-Grosjean and Avner Bar-Hen. Response Times Parametric Estimation of Real-Time Systems. Preprint, arXiv:2211.01720, hal-03839408.

Stochastic analysis of stationary real-time systems, NNT : 2023SORUS394, tel-04378907, Ph. D. thesis supervised by Liliana Cucu-Grosjean (Inria Paris) and Avner Bar-hen (Cnam Paris). Defended on September 28, 2023.
The Ulam-Hammersley problem, .pdf, Master thesis supervised by Quentin Berger (LPSM, Sorbonne Université). Defended on September 18, 2018.

I mainly implement things in Python.

An adapted version of SimSo for probabilistic execution times, implemented with Marc-Antoine Auvray (link)
A Python library for the reparameterized inverse Gaussian distribution, implemented with Olena Verbytska (link)
A Python library for hypoexponential distributions (link)