• 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.



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)