Loc Fejoz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2013–2023
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ECRTS | From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | Sebastian Altmeyer, tienne Andr, Silvano Dal-Zilio, Loc Fejoz, Michael Gonzlez Harbour, Susanne Graf, J. Javier Gutirrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun |
| 2017 | RTNS | Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach. | Anh-Toan Bui Long, Yassine Ouhammou, Emmanuel Grolleau, Loc Fejoz, Laurent Rioux |
| 2016 | OOPSLA | CPAL: high-level abstractions for safe embedded systems. | Nicolas Navet, Loc Fejoz |
| 2016 | RTAS | Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems. | Loc Fejoz, Nicolas Navet, Sakthivel Manikandan Sundharam, Sebastian Altmeyer |
| 2013 | ITP | Towards Certifying Network Calculus. | Etienne Mabille, Marc Boyer, Loc Fejoz, Stephan Merz |