| 2025 | HPCC | Tolerating Node Failures in Multi-Processor Real-Time Systems with Data Dependencies. | Amin Naghavi, Tingting Hu, Nicolas Navet |
| 2024 | RTNS | Total Execution Order in Fault-Tolerant Real-Time Systems. | Amin Naghavi, Nicolas Navet |
| 2024 | WFCS | Approximation of Worst-Case Traversal Times in Real-Time Ethernet Networks: Exploring the Potential of Many-Objective Optimization for Simulation Aggregation. | Patrick Keller, Nicolas Navet |
| 2023 | CP | Constraint Programming with External Worst-Case Traversal Time Analysis. | Pierre Talbot, Tingting Hu, Nicolas Navet |
| 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 |
| 2022 | RTNS | Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN. | Patrick Keller, Nicolas Navet |
| 2021 | RTNS | Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations. | Tieu Long Mai, Nicolas Navet |
| 2019 | RTNS | On the use of supervised machine learning for assessing schedulability: application to ethernet TSN. | Tieu Long Mai, Nicolas Navet, Jrn Migge |
| 2019 | WFCS | A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks. | Tieu Long Mai, Nicolas Navet, Jrn Migge |
| 2017 | ETFA | Towards seamless integration of N-version programming in model-based design. | Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet |
| 2017 | ETFA | Software patterns for fault injection in CPS engineering. | Nicolas Navet, Ivan Cibrario Bertolotti, Tingting Hu |
| 2017 | RTNS | Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. | Guillaume Brau, Nicolas Navet, Jrme Hugues |
| 2017 | WFCS | Model-based design languages: A case study. | Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet |
| 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 |
| 2016 | RTAS | Poster Abstract: An Optimizing Framework for Real-Time Scheduling. | Sakthivel Manikandan Sundharam, Sebastian Altmeyer, Nicolas Navet |
| 2015 | DATE | Formal analysis of the startup delay of SOME/IP service discovery. | Jan R. Seyler, Thilo Streichert, Michael Gla, Nicolas Navet, Jrgen Teich |
| 2015 | ISORC | A Contract-Based Approach to Support Goal-Driven Analysis. | Guillaume Brau, Jrme Hugues, Nicolas Navet |
| 2012 | WFCS | Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues. | Robert I. Davis, Nicolas Navet |
| 2012 | WFCS | Controller Area Network (CAN): Response time analysis with offsets. | Patrick Meumeu Yomsi, Dominique Bertrand, Nicolas Navet, Robert I. Davis |
| 2011 | ETFA | Schedulability analysis of CAN with non-abortable transmission requests. | Dawood Ashraf Khan, Robert I. Davis, Nicolas Navet |
| 2011 | ETFA | Impact of clock drifts on CAN frame response time distributions. | Aurelien Monot, Nicolas Navet, Bernard Bavoux |
| 2010 | ISoLA | The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus. | Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry |
| 2009 | ETFA | Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level. | Dawood Khan, Nicolas Navet, Bernard Bavoux, Jrn Migge |
| 2006 | ICONIP | Pretests for Genetic-Programming Evolved Trading Programs: "zero-intelligence" Strategies and Lottery Trading. | Shu-Heng Chen, Nicolas Navet |
| 2005 | ETFA | Configuration of in-vehicle embedded systems under real-time constraints. | R. S. Marques, Nicolas Navet, Franoise Simonot-Lion |
| 2005 | VLSID | Battery Model for Embedded Systems. | Venkat Rao, Gaurav Singhal, Anshul Kumar, Nicolas Navet |