Here is a selection of our recent research publications. Do you have any questions or feedback? You are most welcome to contact us. You can also check out presentations on joint studies with OEMs and white papers/technical publications.


Damien Guidolin-Pina, Marc Boyer (Onera), Jean-Yves Le Boudec (EPFL), “Configuration of Guard Band and Offsets in Cyclic Queuing and Forwarding”, to appear in IEEE/ACM Transactions on Networking, 2023.

Damien Guidolin-Pina, Marc Boyer (Onera), “A first Network Calculus model for Cyclic Queuing and Forwarding”, Junior Researcher Workshop on Real-Time Computing (JRWRTC), June 6-7, 2023.

Seyed Mohammadhossein Tabatabaee (EPFL), Marc Boyer (Onera), Jean-Yves Le Boudec (EPFL), Jörn Migge, “Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks”, 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Antonio, Texas, May 9-12, 2023.

M. Boyer (Onera) and H. Daigmorte, “Improved Service Curve for Element With Known Transmission Rate“, IEEE Networking Letters, vol. 5, no. 1, pp. 46-49, March 2023.

Pascal Fradet (Inria), Xiaojie Guo, Sophie Quinton (Inria), “CertiCAN certifying CAN analyses and their results”, Real-Time Systems, issue 59, pages 160–198, 2023. The correctness of RTaW-Pegase results proven by an external verification tool written in COQ.

R. Gonzalez de Oliveira (R. Bosch GmbH), N. Navet, A. Henkel (R. Bosch GmbH), “Multi-objective optimization for safety-related available E/E architectures scoping highly automated driving vehicles“, ACM Trans. on Design Automation of Electronic Systems (TODAES), Volume 28, Issue 3, Article No.: 41, pp 1-37, 2023;

S. Altmeyer, E. André, S. Dal Zilio, L. Fejoz, M. González Harbour, S. Graf, J. Gutiérrez, R. Henia, D. Le Botlan, G. Lipari, J. Medina, N. Navet, S. Quinton, J.M. Rivas, Y. Sun, “From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS“, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), invited paper, Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, 2023.


Damien Guidolin–Pina, Marc Boyer (Onera), “Looking for equivalences of the services between left and right continuity in the Network Calculus theory”, 6th Workshop on Network Calculus (WoNeCa-6), EPFL, Lausanne, Switzerland, September 8-9, 2022.

Marc Boyer (Onera), Pierre Roux (Onera), Hugo Daigmorte, “Checking validity of the min-plus operations involved in the analysis of a real-time embedded network”, 11th European Congress Embedded Real Time System (ERTS 2022), June 1-2, 2022.


Marc Boyer (Onera), Pierre Roux (Onera), Hugo Daigmorte, David Puchmaille, “A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus”, 33rd Euromicro Conference on Real-Time Systems (ECRTS), 5-9 Juillet 2021.

Luxi Zhao (TU Denmark), Paul Pop (TU Denmark), Zhong Zheng (Beihang University), Hugo Daigmorte and Marc Boyer, “Latency Analysis of Multiple Classes of AVB Traffic in TSN With Standard Credit Behavior Using Network Calculus“, IEEE Transactions on Industrial Electronics, vol. 68, no. 10, pp. 10291-10302, Oct. 2021.

Xiaojie Guo, Lionel Rieg (Verimag), Paolo Torrini (Inria), “A generic approach for the certified schedulability analysis of software systems“, 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’2021), August 18-20, 2021.


Marc Boyer (Onera), Amaury Graillat (Kalray), Benoît Dupont de Dinechin (Kalray), Jörn Migge, “Bounding the delays of the MPPA network-on-chip with network calculus: Models and benchmarks”, Performance Evaluation, Volume 143, Elsevier, 2020.

Tingting Hu (Uni. Luxembourg), Ivan Cibrario Bertolotti (CNR Turin), Nicolas Navet, Lionel Havet, “Automated Fault Tolerance Augmentation in Model-Driven Engineering for CPS“, Computer Standards & Interfaces, Elsevier, vol. 70, June 2020.