Développement prouvé de structures de données sans verrou. (Provably correct lock-free data structure). - Loïc Fejoz (2008)

Towards Certifying Network Calculus. - Etienne Mabille; Marc Boyer; Loïc Fejoz; Stephan Merz (ITP, 2013)

Connected motorized riders - A smart mobility system to connect two and three-wheelers. - Sakthivel Manikandan Sundharam; Loïc Fejoz; Nicolas Navet (ISED, 2016)

CPAL: high-level abstractions for safe embedded systems. - Nicolas Navet; Loïc Fejoz (DSM@SPLASH, 2016)

Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems. - Loïc Fejoz; Nicolas Navet; Sakthivel Manikandan Sundharam; Sebastian Altmeyer (RTAS, 2016)

A Framework for Evaluating Schedulability Analysis Tools. - Lijun Shan; Susanne Graf; Sophie Quinton; Loïc Fejoz (Models, Algorithms, Logics and Tools, 2017)

Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach. - Anh-Toan Bui Long; Yassine Ouhammou; Emmanuel Grolleau; Loïc Fejoz; Laurent Rioux (RTNS, 2017)

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). - Sebastian Altmeyer; Étienne André; Silvano Dal-Zilio; Loïc Fejoz; Michael González Harbour; Susanne Graf; J. Javier Gutiérrez; Rafik Henia; Didier Le Botlan; Giuseppe Lipari; Julio L. Medina; Nicolas Navet; et al. (ECRTS, 2023)

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). - Sebastian Altmeyer; Étienne André; Silvano Dal-Zilio; Loïc Fejoz; Michael González Harbour; Susanne Graf; J. Javier Gutiérrez; Rafik Henia; Didier Le Botlan; Giuseppe Lipari; Julio L. Medina; Nicolas Navet; et al. (Dagstuhl Artifacts Ser., 2023)