Loïc Fejoz

Pragmatic Incremental Approach to an Affordable Certification Process for RPAS-Building-up from core Safety Functions

Laurent Ciarletta, Adrien Guenard, Nicolas Navet, 2015 .

A Framework for Evaluating Schedulability Analysis Tools

Lijun Shan, Sophie Quinton, Susanne Graf, 2017, Models, Algorithms, Logics and Tools.

Software - The DIXIT toolkit

Dominique Méry, Stephan Merz, Loïc Fejoz, 2006 .

Towards Certifying Network Calculus

Stephan Merz, Marc Boyer, Loïc Fejoz, 2013, ITP.

Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems

Sebastian Altmeyer, Nicolas Navet, Sakthivel Manikandan Sundharam, 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

Certifying Network Calculus in a Proof Assistant

Stephan Merz, Marc Boyer, Loïc Fejoz, 2013 .

CPAL: high-level abstractions for safe embedded systems

Nicolas Navet, Loïc Fejoz, 2016, DSM@SPLASH.

Connected motorized riders — A smart mobility system to connect two and three-wheelers

Nicolas Navet, Sakthivel Manikandan Sundharam, Loïc Fejoz, 2016, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED).

Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach

Emmanuel Grolleau, Laurent Rioux, Loïc Fejoz, 2017, RTNS.

Time4Sys – Integrating Timing Verification in your Engineering Practices

Liliana Cucu-Grosjean, Rafik Henia, Lionel Havet, 2018, IEEE Real-Time Systems Symposium.

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

Loïc Fejoz, Loic Féjoz, 2008 .

Insights on the Configuration and Performances of SOME/IP Service Discovery

Nicolas Navet, Loïc Fejoz, Jan R. Seyler, 2015 .