Nicolas Navet

Orcid: 0000-0002-6417-358X

According to our database1, Nicolas Navet authored at least 58 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Approximation of Worst-Case Traversal Times in Real-Time Ethernet Networks: Exploring the Potential of Many-Objective Optimization for Simulation Aggregation.
Proceedings of the 20th IEEE International Conference on Factory Communication Systems, 2024

2023
Multi-Objective Optimization for Safety-Related Available E/E Architectures Scoping Highly Automated Driving Vehicles.
ACM Trans. Design Autom. Electr. Syst., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).
Dagstuhl Artifacts Ser., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

Constraint Programming with External Worst-Case Traversal Time Analysis.
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.
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.
ACM Trans. Cyber Phys. Syst., 2021

Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations.
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.
Comput. Stand. Interfaces, 2020

2019
Event Notification in CAN-Based Sensor Networks.
IEEE Trans. Ind. Informatics, 2019

A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks.
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.
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.
Sensors, 2018

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems.
Sci. Comput. Program., 2018

2017
Model-based design languages: A case study.
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.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Software patterns for fault injection in CPS engineering.
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.
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.
SIGBED Rev., 2016

Poster Abstract: An Optimizing Framework for Real-Time Scheduling.
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.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

CPAL: high-level abstractions for safe embedded systems.
Proceedings of the International Workshop on Domain-Specific Modeling, 2016

A model-based development environment for rapid-prototyping of latency-sensitive automotive control software.
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.
Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016

2015
A Contract-Based Approach to Support Goal-Driven Analysis.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Formal analysis of the startup delay of SOME/IP service discovery.
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.
IEEE Trans. Ind. Electron., 2012

Traffic shaping to reduce jitter in controller area network (CAN).
SIGBED Rev., 2012

Controller Area Network (CAN): Response time analysis with offsets.
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.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

2011
Impact of clock drifts on CAN frame response time distributions.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Schedulability analysis of CAN with non-abortable transmission requests.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Trends in Automotive Communication Systems.
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?
Proceedings of the Natural Computing in Computational Finance, 2008

Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS.
IEEE Trans. Ind. Informatics, 2008

Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms.
Proceedings of the IEEE International Conference on Sensor Networks, 2008

2007
Dynamic voltage scaling under EDF revisited.
Real Time Syst., 2007

2006
Impact de choix d'implantation sur les performances d'une application de contrôle-commande.
Tech. Sci. Informatiques, 2006

Frame packing algorithms for automotive applications.
J. Embed. Comput., 2006

Battery aware dynamic scheduling for periodic task graphs.
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.
Proceedings of the Neural Information Processing, 13th International Conference, 2006

2005
Fault-Tolerant Services for Safe In-Car Embedded Systems.
Proceedings of the Embedded Systems Handbook., 2005

Fault confinement mechanisms on CAN: analysis and improvements.
IEEE Trans. Veh. Technol., 2005

Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use.
ACM Trans. Embed. Comput. Syst., 2005

Maximizing the Robustness of TDMA Networks with Applications to TTP/C.
Real Time Syst., 2005

Trends in Automotive Communication Systems.
Proc. IEEE, 2005

Battery Model for Embedded Systems.
Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

Configuration of in-vehicle embedded systems under real-time constraints.
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.
Tech. Sci. Informatiques, 2003

Timing Analysis of Compound Scheduling Policies: Application to Posix1003.1B.
J. Sched., 2003

Dual-Priority versus Background Scheduling: A Path-Wise Comparison.
Real Time Syst., 2003

Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems.
IEE Proc. Softw., 2003

2001
Validation of in-vehicle real-time applications.
Comput. Ind., 2001

2000
Worst-case deadline failure probability in real-time applications distributed over controller area network.
J. Syst. Archit., 2000

1999
Évaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages.
PhD thesis, 1999

Traffic shaping in real-time distributed systems: a low-complexity approach.
Comput. Commun., 1999


  Loading...