Loïc Fejoz

According to our database, Loïc Fejoz authored at least 9 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Sophie Quinton, Juan Maria Rivas, Youcheng Sun

Dagstuhl Artifacts Ser., 2023

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, Sophie Quinton, Juan Maria Rivas, Youcheng Sun

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

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

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

A Framework for Evaluating Schedulability Analysis Tools.

Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz

Proceedings of the Models, Algorithms, Logics and Tools, 2017

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

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

CPAL: high-level abstractions for safe embedded systems.

Nicolas Navet, Loïc Fejoz

Proceedings of the International Workshop on Domain-Specific Modeling, 2016

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

Sakthivel Manikandan Sundharam, Loïc Fejoz, Nicolas Navet

Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016

2013

Towards Certifying Network Calculus.

Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2008

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

Loïc Fejoz

PhD thesis, 2008