Traffic shaping in real-time distributed systems: a low-complexity approach. - Bruno Gaujal; Nicolas Navet (Comput. Commun., 1999)

Évaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages. - Nicolas Navet (1999)

Worst-case deadline failure probability in real-time applications distributed over controller area network. - Nicolas Navet; Ye-Qiong Song; Françoise Simonot (J. Syst. Archit., 2000)

Validation of in-vehicle real-time applications. - Nicolas Navet; Ye-Qiong Song (Comput. Ind., 2001)

Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems. - Nicolas Navet; Jörn Migge (IEE Proc. Softw., 2003)

Dual-Priority versus Background Scheduling: A Path-Wise Comparison. - Bruno Gaujal; Nicolas Navet; Jörn Migge (Real Time Syst., 2003)

Timing Analysis of Compound Scheduling Policies: Application to Posix1003.1B. - Jörn Migge; Alain Jean-Marie; Nicolas Navet (J. Sched., 2003)

Nouvelles politiques pour la réservation explicite de ressources en avance. - Fabrice Jumel; Nicolas Navet; Françoise Simonot-Lion (Tech. Sci. Informatiques, 2003)

Configuration of in-vehicle embedded systems under real-time constraints. - R. S. Marques; Nicolas Navet; Françoise Simonot-Lion (ETFA, 2005)

Battery Model for Embedded Systems. - Venkat Rao; Gaurav Singhal; Anshul Kumar; Nicolas Navet (VLSI Design, 2005)

Trends in Automotive Communication Systems. - Nicolas Navet; Yeqiong Song; Françoise Simonot-Lion; Cédric Wilwert (Proc. IEEE, 2005)

Maximizing the Robustness of TDMA Networks with Applications to TTP/C. - Bruno Gaujal; Nicolas Navet (Real Time Syst., 2005)

Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use. - Bruno Gaujal; Nicolas Navet; Cormac Walsh (ACM Trans. Embed. Comput. Syst., 2005)

Fault confinement mechanisms on CAN: analysis and improvements. - Bruno Gaujal; Nicolas Navet (IEEE Trans. Veh. Technol., 2005)

Fault-Tolerant Services for Safe In-Car Embedded Systems. - Nicolas Navet; Françoise Simonot-Lion (Embedded Systems Handbook, 2005)

Pretests for Genetic-Programming Evolved Trading Programs: "zero-intelligence" Strategies and Lottery Trading. - Shu-Heng Chen; Nicolas Navet (ICONIP (3), 2006)

Battery aware dynamic scheduling for periodic task graphs. - Venkat Rao; Nicolas Navet; Gaurav Singhal; Anshul Kumar; G. S. Visweswaran (IPDPS, 2006)

Frame packing algorithms for automotive applications. - Rishi Saket; Nicolas Navet (J. Embed. Comput., 2006)

Impact de choix d'implantation sur les performances d'une application de contrôle-commande. - Fabrice Jumel; Nicolas Navet; Françoise Simonot-Lion (Tech. Sci. Informatiques, 2006)

Dynamic voltage scaling under EDF revisited. - Bruno Gaujal; Nicolas Navet (Real Time Syst., 2007)

Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. - Vincent Nélis; Joël Goossens; Raymond Devillers; Dragomir Milojevic; Nicolas Navet (SUTC, 2008)

Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS. - Mathieu Grenier; Nicolas Navet (IEEE Trans. Ind. Informatics, 2008)

On Predictability and Profitability: Would GP Induced Trading Rules be Sensitive to the Observed Entropy of Time Series? - Nicolas Navet; Shu-Heng Chen (Natural Computing in Computational Finance, 2008)

Trends in Automotive Communication Systems. - Nicolas Navet; Françoise Simonot-Lion (Networked Embedded Systems, 2009)

Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level. - Dawood Khan; Nicolas Navet; Bernard Bavoux; Jörn Migge (ETFA, 2009)

The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus. - Marc Boyer; Nicolas Navet; Xavier Olive; Eric Thierry (ISoLA (1), 2010)

Schedulability analysis of CAN with non-abortable transmission requests. - Dawood Ashraf Khan; Robert I. Davis 001; Nicolas Navet (ETFA, 2011)

Impact of clock drifts on CAN frame response time distributions. - Aurelien Monot; Nicolas Navet; Bernard Bavoux (ETFA, 2011)

Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues. - Robert I. Davis 001; Nicolas Navet (WFCS, 2012)

Controller Area Network (CAN): Response time analysis with offsets. - Patrick Meumeu Yomsi; Dominique Bertrand; Nicolas Navet; Robert I. Davis 001 (WFCS, 2012)

Traffic shaping to reduce jitter in controller area network (CAN). - Robert I. Davis 001; Nicolas Navet (SIGBED Rev., 2012)

Multisource Software on Multicore Automotive ECUs - Combining Runnable Sequencing With Task Scheduling. - Aurelien Monot; Nicolas Navet; Bernard Bavoux; Françoise Simonot-Lion (IEEE Trans. Ind. Electron., 2012)

Formal analysis of the startup delay of SOME/IP service discovery. - Jan R. Seyler; Thilo Streichert; Michael Glaß; Nicolas Navet; Jürgen Teich (DATE, 2015)

A Contract-Based Approach to Support Goal-Driven Analysis. - Guillaume Brau; Jérôme Hugues; Nicolas Navet (ISORC, 2015)

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

A model-based development environment for rapid-prototyping of latency-sensitive automotive control software. - Sakthivel Manikandan Sundharam; Lionel Havet; Sebastian Altmeyer; 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)

Poster Abstract: An Optimizing Framework for Real-Time Scheduling. - Sakthivel Manikandan Sundharam; Sebastian Altmeyer; Nicolas Navet (RTAS, 2016)

Towards a declarative modeling and execution framework for real-time systems. - Sebastian Altmeyer; Nicolas Navet (SIGBED Rev., 2016)

Towards seamless integration of N-version programming in model-based design. - Tingting Hu; Ivan Cibrario Bertolotti; Nicolas Navet (ETFA, 2017)

Software patterns for fault injection in CPS engineering. - Nicolas Navet; Ivan Cibrario Bertolotti; Tingting Hu (ETFA, 2017)

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. - Guillaume Brau; Nicolas Navet; Jérôme Hugues (RTNS, 2017)

Model-based design languages: A case study. - Ivan Cibrario Bertolotti; Tingting Hu; Nicolas Navet (WFCS, 2017)

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. - Guillaume Brau; Jérôme Hugues; Nicolas Navet (Sci. Comput. Program., 2018)

A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints. - Sakthivel Manikandan Sundharam; Nicolas Navet; Sebastian Altmeyer; Lionel Havet (Sensors, 2018)

On the use of supervised machine learning for assessing schedulability: application to ethernet TSN. - Tieu Long Mai; Nicolas Navet; Jörn Migge (RTNS, 2019)

A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks. - Tieu Long Mai; Nicolas Navet; Jörn Migge (WFCS, 2019)

Event Notification in CAN-Based Sensor Networks. - Gedare Bloom; Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Nicolas Navet; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2019)

Automated fault tolerance augmentation in model-driven engineering for CPS. - Tingting Hu; Ivan Cibrario Bertolotti; Nicolas Navet; Lionel Havet (Comput. Stand. Interfaces, 2020)

Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations. - Tieu Long Mai; Nicolas Navet (RTNS, 2021)

Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations. - Tieu Long Mai; Nicolas Navet (ACM Trans. Cyber Phys. Syst., 2021)

Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN. - Patrick Keller; Nicolas Navet (RTNS, 2022)

Constraint Programming with External Worst-Case Traversal Time Analysis. - Pierre Talbot; Tingting Hu; Nicolas Navet (CP, 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; 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)

Multi-Objective Optimization for Safety-Related Available E/E Architectures Scoping Highly Automated Driving Vehicles. - Ricardo Gonzalez de Oliveira; Nicolas Navet; Achim Henkel (ACM Trans. Design Autom. Electr. Syst., 2023)

Total Execution Order in Fault-Tolerant Real-Time Systems. - Amin Naghavi; Nicolas Navet (RTNS, 2024)

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 (WFCS, 2024)