Space-Optimal Deterministic Rendezvous. - Fabienne Carrier; Stéphane Devismes; Franck Petit; Yvan Rivierre (PDCAT, 2009)

Asymptotically Optimal Deterministic Rendezvous. - Fabienne Carrier; Stéphane Devismes; Franck Petit; Yvan Rivierre (Int. J. Found. Comput. Sci., 2011)

Timing analysis enhancement for synchronous program. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Fabienne Carrier (RTNS, 2013)

Self-Stabilizing ℓ-Exclusion Revisited. - Fabienne Carrier; Ajoy Kumar Datta; Stéphane Devismes; Lawrence L. Larmore (ICDCN, 2015)

Self-stabilizing (f, g)-alliances with safe convergence. - Fabienne Carrier; Ajoy Kumar Datta; Stéphane Devismes; Lawrence L. Larmore; Yvan Rivierre (J. Parallel Distributed Comput., 2015)

Timing analysis enhancement for synchronous program. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Fabienne Carrier; Mihail Asavoae (Real Time Syst., 2015)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

Improving WCET Evaluation using Linear Relation Analysis. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Erwan Jahier; Nicolas Halbwachs; Fabienne Carrier; Mihail Asavoae; Rémy Boutonnet (Leibniz Trans. Embed. Syst., 2019)