Nicolas Navet

According to our database, Nicolas Navet authored at least 57 papers between 1999 and 2023.

Collaborative distances:

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

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

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

Constraint Programming with External Worst-Case Traversal Time Analysis.

Pierre Talbot, Tingting Hu, Nicolas Navet

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN.

Patrick Keller, Nicolas Navet

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

2021

Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations.

Tieu Long Mai, Nicolas Navet

ACM Trans. Cyber Phys. Syst., 2021

Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations.

Tieu Long Mai, Nicolas Navet

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

2020

Automated fault tolerance augmentation in model-driven engineering for CPS.

Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, Lionel Havet

Comput. Stand. Interfaces, 2020

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

A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks.

Tieu Long Mai, Nicolas Navet, Jörn Migge

Proceedings of the 15th IEEE International Workshop on Factory Communication Systems, 2019

On the use of supervised machine learning for assessing schedulability: application to ethernet TSN.

Tieu Long Mai, Nicolas Navet, Jörn Migge

Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

2018

A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints.

Sakthivel Manikandan Sundharam, Nicolas Navet, Sebastian Altmeyer, Lionel Havet

Sensors, 2018

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

2017

Model-based design languages: A case study.

Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet

Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 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

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

Software patterns for fault injection in CPS engineering.

Nicolas Navet, Ivan Cibrario Bertolotti, Tingting Hu

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Towards seamless integration of N-version programming in model-based design.

Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Towards a declarative modeling and execution framework for real-time systems.

Sebastian Altmeyer, Nicolas Navet

SIGBED Rev., 2016

Poster Abstract: An Optimizing Framework for Real-Time Scheduling.

Sakthivel Manikandan Sundharam, Sebastian Altmeyer, Nicolas Navet

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 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

A model-based development environment for rapid-prototyping of latency-sensitive automotive control software.

Sakthivel Manikandan Sundharam, Lionel Havet, Sebastian Altmeyer, Nicolas Navet

Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 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

2015

A Contract-Based Approach to Support Goal-Driven Analysis.

Guillaume Brau, Jérôme Hugues, Nicolas Navet

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Formal analysis of the startup delay of SOME/IP service discovery.

Jan R. Seyler, Thilo Streichert, Michael Glaß, Nicolas Navet, Jürgen Teich

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

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

Traffic shaping to reduce jitter in controller area network (CAN).

Robert I. Davis, Nicolas Navet

SIGBED Rev., 2012

Controller Area Network (CAN): Response time analysis with offsets.

Patrick Meumeu Yomsi, Dominique Bertrand, Nicolas Navet, Robert I. Davis

Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues.

Robert I. Davis, Nicolas Navet

Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

2011

Impact of clock drifts on CAN frame response time distributions.

Aurelien Monot, Nicolas Navet, Bernard Bavoux

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Schedulability analysis of CAN with non-abortable transmission requests.

Dawood Ashraf Khan, Robert I. Davis, Nicolas Navet

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus.

Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level.

Dawood Khan, Nicolas Navet, Bernard Bavoux, Jörn Migge

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Trends in Automotive Communication Systems.

Nicolas Navet, Françoise Simonot-Lion

Proceedings of the Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook, 2009

2008

On Predictability and Profitability: Would GP Induced Trading Rules be Sensitive to the Observed Entropy of Time Series?

Nicolas Navet, Shu-Heng Chen

Proceedings of the Natural Computing in Computational Finance, 2008

Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS.

Mathieu Grenier, Nicolas Navet

IEEE Trans. Ind. Informatics, 2008

Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms.

Vincent Nélis, Joël Goossens, Raymond R. Devillers, Dragomir Milojevic, Nicolas Navet

Proceedings of the IEEE International Conference on Sensor Networks, 2008

2007

Dynamic voltage scaling under EDF revisited.

Bruno Gaujal, Nicolas Navet

Real Time Syst., 2007

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

Frame packing algorithms for automotive applications.

Rishi Saket, Nicolas Navet

J. Embed. Comput., 2006

Battery aware dynamic scheduling for periodic task graphs.

Venkat Rao, Nicolas Navet, Gaurav Singhal, Anshul Kumar, G. S. Visweswaran

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Pretests for Genetic-Programming Evolved Trading Programs: "zero-intelligence" Strategies and Lottery Trading.

Shu-Heng Chen, Nicolas Navet

Proceedings of the Neural Information Processing, 13th International Conference, 2006

2005

Fault-Tolerant Services for Safe In-Car Embedded Systems.

Nicolas Navet, Françoise Simonot-Lion

Proceedings of the Embedded Systems Handbook., 2005

Fault confinement mechanisms on CAN: analysis and improvements.

Bruno Gaujal, Nicolas Navet

IEEE Trans. Veh. Technol., 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

Maximizing the Robustness of TDMA Networks with Applications to TTP/C.

Bruno Gaujal, Nicolas Navet

Real Time Syst., 2005

Trends in Automotive Communication Systems.

Nicolas Navet, Yeqiong Song, Françoise Simonot-Lion, Cédric Wilwert

Proc. IEEE, 2005

Battery Model for Embedded Systems.

Venkat Rao, Gaurav Singhal, Anshul Kumar, Nicolas Navet

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

Configuration of in-vehicle embedded systems under real-time constraints.

R. S. Marques, Nicolas Navet, Françoise Simonot-Lion

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2003

Nouvelles politiques pour la réservation explicite de ressources en avance.

Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion

Tech. Sci. Informatiques, 2003

Timing Analysis of Compound Scheduling Policies: Application to Posix1003.1B.

Jörn Migge, Alain Jean-Marie, Nicolas Navet

J. Sched., 2003

Dual-Priority versus Background Scheduling: A Path-Wise Comparison.

Bruno Gaujal, Nicolas Navet, Jörn Migge

Real Time Syst., 2003

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

2001

Validation of in-vehicle real-time applications.

Nicolas Navet, Ye-Qiong Song

Comput. Ind., 2001

2000

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

1999

Évaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages.

Nicolas Navet

PhD thesis, 1999

Traffic shaping in real-time distributed systems: a low-complexity approach.

Bruno Gaujal, Nicolas Navet

Comput. Commun., 1999