Assistant professor in the telecommunication department of INSA Lyon. I do my research in the Maracas team of Inria Lyon hosted in the CITI laboratory. I currently work on latency-focused analyses of random wireless networks based on stochastic geometry approaches. I also host the MARACAS seminar.
Research interests
Real-time scheduling
Random wireless networks
Contact
CITI–Inria Lab.
Office TLC 233
6 avenue des Arts
69621 Villeurbanne Cedex, France
View map
Publications
Download bibliography ↓2026
Response time central-limit and failure rate estimation for stationary periodic rate monotonic real-time systems
IEEE Transactions on Computers
HAL arXiv DOIBibTeX
@article{zagalo2026responsetimecentrallimitfailure, archiveprefix = {arXiv}, author = {Kevin Zagalo and Avner Bar-Hen}, eprint = {2211.01720}, hal_id = {hal-03839408}, doi = {10.1109/TC.2026.3742489}, journal = {{IEEE Transactions on Computers}}, publisher = {{Institute of Electrical and Electronics Engineers}}, title = {Response time central-limit and failure rate estimation for stationary periodic rate monotonic real-time systems}, url = {https://arxiv.org/abs/2211.01720}, year = {2026}, }Performance Guarantees of SIC-Based Decoding for VLSF Codes in Hardcore-Regulated MAC
IEEE Global Communications Conference, GLOBECOM
HAL arXivBibTeX
@inproceedings{zagal2026:hal-05768973, author = {Kevin Zagalo and Guodong Sun and Phillippe Mary and Samir M. Perlaza and Jean-Marie Gorce}, booktitle = {{IEEE Global Communications Conference, GLOBECOM}}, address = {Macau S.A.R., China}, title = {Performance Guarantees of SIC-Based Decoding for VLSF Codes in Hardcore-Regulated MAC}, year = {2026}, month = Dec, year={2026}, eprint={2609.37192}, archivePrefix={arXiv}, primaryClass={cs.IT}, hal_id = {hal-05768973}, }Decoding Delay Guarantees of Space Regulated Multiple Access Random Wireless Networks using Successive Interference Cancellation
Preprint
HAL arXivBibTeX
@misc{zagalo2026decodingdelayguaranteesspace, archiveprefix = {arXiv}, author = {Kevin Zagalo and Jean-Marie Gorce and Fran{\c c}ois Baccelli}, eprint = {2604.25868}, hal_id = {hal-05754349}, primaryclass = {cs.NI}, title = {Decoding Delay Guarantees of Space Regulated Multiple Access Random Wireless Networks using Successive Interference Cancellation}, url = {https://arxiv.org/abs/2604.25868}, year = {2026}, }
2023
Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems
IEEE Transactions on Computers
HAL arXiv DOIBibTeX
@article{zagalo:hal-03797980, author = {Kevin Zagalo and Yasmina Abdedda{\"\i}m and Avner Bar-Hen and Liliana Cucu-Grosjean}, doi = {10.1109/TC.2022.3211421}, hal_id = {hal-03797980}, hal_version = {v2}, issn = {2326-3814}, journal = {{IEEE Transactions on Computers}}, month = Jan, pages = {1-12}, publisher = {{Institute of Electrical and Electronics Engineers}}, title = {{Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems}}, url = {https://inria.hal.science/hal-03797980}, volume = {72}, year = {2023}, eprint = {2609.21760}, }Stochastic analysis of stationary real-time systems
PhD thesis · Sorbonne Université
HAL DOI Theses.frBibTeX
@phdthesis{zagalo:tel-04378907, author = {Kevin Zagalo}, doi = {10.70675/d090d426za945z4753za48dzc1a208094436}, hal_id = {tel-04378907}, hal_version = {v1}, keywords = {Real-time systems ; Scheduling ; Stochastic analysis ; Ordonnancement ; Syst{\`e}mes temps r{\'e}el ; Analyse stochastique}, month = Sep, nnt = {2023SORUS394}, number = {2023SORUS394}, school = {{Sorbonne Universit{\'e}}}, title = {{Stochastic analysis of stationary real-time systems}}, type = {Theses}, url = {https://theses.hal.science/tel-04378907}, year = {2023}, }
2022
Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators
RTAS 2022 - IEEE 28th Real-Time and Embedded Technology and Applications Symposium
HAL DOIBibTeX
@inproceedings{khazen:hal-03951194, author = {Marwan Wehaiba El Khazen and Kevin Zagalo and Hadrien Clarke and Mehdi Mezouak and Yasmina Abdedda{\"\i}m and Avner Bar-Hen and Slim Ben Amor and Rihab Bennour and Adriana Gogonel and Kossivi Kougblenou and Yves Sorel and Liliana Cucu-Grosjean}, booktitle = {{RTAS 2022 - IEEE 28th Real-Time and Embedded Technology and Applications Symposium}}, date-modified = {2026-09-25 16:33:38 +0200}, doi = {10.1109/RTAS54340.2022.00035}, hal_id = {hal-03951194}, hal_version = {v1}, keywords = {Measurement-based WCET estimation ; Benchmarks}, month = May, note = {Poster}, pages = {309-312}, publisher = {{IEEE}}, title = {{Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators}}, year = {2022}, }
2020
Identification of execution modes for real-time systems using cluster analysis
25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
HAL DOIBibTeX
@inproceedings{zagalo:hal-02938202, address = {Vienne, Austria}, author = {Kevin Zagalo and Liliana Cucu-Grosjean and Avner Bar-Hen}, booktitle = {{25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA}}, doi = {10.1109/ETFA46521.2020.9211983}, hal_id = {hal-02938202}, hal_version = {v1}, keywords = {Gaussian mixtures ; Real-time systems ; Timing analysis}, month = Sep, title = {{Identification of execution modes for real-time systems using cluster analysis}}, year = {2020}, }
2018
Le probleme d'Ulam-Hammersley
MSc thesis · Sorbonne Université
BibTeX
@mastersthesis{zagal2019, author = {Kevin Zagalo}, school = {{Sorbonne Universit{\'e}}}, title = {Le probleme d'Ulam-Hammersley}, year = {2018}}
Teaching
Advanced digital communications · INSA LyonFall 2026
Bayesian decision theory
Base band signals, channel and noise
Gaussian channel, selective channel and OFDM
Rayleigh channel, diversity and MIMO
Network performance evaluation · INSA LyonFall 2026
Discrete time Markov chains
Continuous time Markov chains
Queueing theory
Jackson networks
Bayesian decision theory · INSA LyonSpring 2027
Likelihood, a priori and a posteriori distributions
Likelihood ratio test
Neyman-Person theorem
Bayesian estimators
Fisher information and Cramer-Rao theorem
Digital communications · INSA LyonSpring 2027
Modulation, I/Q symbols
Compression, Huffman codes
Linear codes, cyclic codes, Reed-Solomon codes
Previous teaching
Digital communications, INSA Lyon, Spring 2026.
Radio access networks, INSA Lyon, Spring 2026.
Advanced digital communications, INSA Lyon, Fall 2025.
Network performance evaluation, INSA Lyon, Fall 2025.
Introduction to probabilities, INSA Lyon, Fall 2025.
Radio Access Network (tutorials), INSA Lyon, Spring 2025.
Digital communications, INSA Lyon, Spring 2025.
Hertzian and optical propagation, INSA Lyon, Fall 2024.
Probabilities, INSA Lyon, Fall 2024.
Machine learning, ESIEE, Université Gustave Eiffel, Fall 2021.
Probabilities, ESIEE, Université Gustave Eiffel, Spring 2021.
Machine learning, ESIEE, Université Gustave Eiffel, Fall 2020.
Student supervision
Johan Bartosik, GNN for Joint User Detection and Channel Estimation, 2025.
Marc-Antoine Auvray, Autopilot execution time prediction from sensors data, 2022.
Olena Verbytska, Parametric estimation of response time distributions of periodic real-time systems, Spring 2022.
Margarita Tomina, Multivariate inverse Gaussian applied to response time analysis of real-time systems, Spring 2022.
Activities
Invited talks
GLOBECOM 2026, Macau, December, 8 2026.
MARACAS Seminar, CITI, November, 26 2026.
PEPR Futur networks, PC9 Found Seminar, April, 27 2026.
Earlier talks
The Way to 6G Workshop, IEEE MASCOTS, October 23, 2025.
Journées PEPR Réseaux du futur, Bordeaux, June 2, 2025.
France PhD Information Theory Workshop, Telecom Paris, June 7, 2024. poster
Journées PEPR Réseaux du futur, Grenoble, March 20, 2024.
MARACAS Seminar, Inria Lyon, October 19, 2023.
Real-Time Systems Group Seminar, Max Planck Institute for Software Systems, July 12, 2023.
Verification Seminar, IRIF, February 20, 2023.
Committees
External Reviewer for IEEE ITW’27.
External Reviewer for Globecom 2026.
Program committee member of RTCSA 2026.
Previous committees & service
External Reviewer for WCNC 2026.
Program committee member of RTCSA 2025.
Local organization of RTSS 2022.
Web chair of RTNS 2022.
Workshop Committee member of JRWRTC 2022.
Workshop Committee member of JRWRTC 2021.
Local organization of RTNS 2020.