RT-simex: retro-analysis of execution traces. - Julien DeAntoni; Frédéric Mallet; Frédéric Thomas; Gonzague Reydet; Jean-Philippe Babau; Chokri Mraidha; Ludovic Gauthier; Laurent Rioux; Nicolas Sordon (SIGSOFT FSE, 2010)

Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System. - Rafik Henia; Laurent Rioux; Nicolas Sordon; Thomas Vergnaud (ISSRE Workshops, 2012)

TEMPO: performance viewpoint for component-based design of real-time systems. - Rafik Henia; Laurent Rioux; Nicolas Sordon (SIGBED Rev., 2013)

Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software. - Rafik Henia; Laurent Rioux; Nicolas Sordon; Gerald-Emmanuel Garcia; Marco Panunzio (MODELSWARD, 2014)

Integrating Formal Timing Analysis in the Real-Time Software Development Process. - Rafik Henia; Laurent Rioux; Nicolas Sordon; Gerald-Emmanuel Garcia; Marco Panunzio (WOSP-C@ICPE, 2015)

Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices. - Rafik Henia; Laurent Rioux; Nicolas Sordon (RTAS, 2016)

An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy. - Juan Maria Rivas; J. Javier Gutiérrez; Mario Aldea Rivas; César Cuevas; Michael González Harbour; José María Drake; Julio L. Medina; Laurent Rioux; Rafik Henia; Nicolas Sordon (STAF Workshops, 2016)

Using Model-Checking for Timing Verification in Industrial System Design. - Laurent Rioux; Rafik Henia; Nicolas Sordon (ICST Workshops, 2017)

Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA. - Rafik Henia; Lisa Roux; Nicolas Sordon; Zain Alabedin Haj Hammadeh; Rolf Ernst; Sophie Quinton (RTAS, 2017)

Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains. - Alain Girault; Christophe Prévot; Sophie Quinton; Rafik Henia; Nicolas Sordon (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)