Nicolas Navet

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 24

Top Venues

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Patrick Keller, Nicolas Navet
Approximation of Worst-Case Traversal Times in Real-Time Ethernet Networks: Exploring the Potential of Many-Objective Optimization for Simulation Aggregation. WFCS (2024)
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
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS (2023)
Ricardo Gonzalez de Oliveira, Nicolas Navet, Achim Henkel
Multi-Objective Optimization for Safety-Related Available E/E Architectures Scoping Highly Automated Driving Vehicles. ACM Trans. Design Autom. Electr. Syst. 28 (3) (2023)
Pierre Talbot, Tingting Hu, Nicolas Navet
Constraint Programming with External Worst-Case Traversal Time Analysis. CP (2023)
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
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Patrick Keller, Nicolas Navet
Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN. RTNS (2022)
Tieu Long Mai, Nicolas Navet
Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations. ACM Trans. Cyber Phys. Syst. 5 (4) (2021)
Tieu Long Mai, Nicolas Navet
Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations. RTNS (2021)
Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, Lionel Havet
Automated fault tolerance augmentation in model-driven engineering for CPS. Comput. Stand. Interfaces 70 (2020)
Tieu Long Mai, Nicolas Navet, Jörn Migge
A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks. WFCS (2019)
Tieu Long Mai, Nicolas Navet, Jörn Migge
On the use of supervised machine learning for assessing schedulability: application to ethernet TSN. RTNS (2019)
Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet, Adriano Valenzano
Event Notification in CAN-Based Sensor Networks. IEEE Trans. Ind. Informatics 15 (10) (2019)
Sakthivel Manikandan Sundharam, Nicolas Navet, Sebastian Altmeyer, Lionel Havet
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints. Sensors 18 (2) (2018)
Guillaume Brau, Jérôme Hugues, Nicolas Navet
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. Sci. Comput. Program. 156 (2018)
Guillaume Brau, Nicolas Navet, Jérôme Hugues
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. RTNS (2017)
Nicolas Navet, Ivan Cibrario Bertolotti, Tingting Hu
Software patterns for fault injection in CPS engineering. ETFA (2017)
Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet
Model-based design languages: A case study. WFCS (2017)
Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet
Towards seamless integration of N-version programming in model-based design. ETFA (2017)
Nicolas Navet, Loïc Fejoz
CPAL: high-level abstractions for safe embedded systems. DSM@SPLASH (2016)
Sakthivel Manikandan Sundharam, Loïc Fejoz, Nicolas Navet
Connected motorized riders - A smart mobility system to connect two and three-wheelers. ISED (2016)
Loïc Fejoz, Nicolas Navet, Sakthivel Manikandan Sundharam, Sebastian Altmeyer
Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems. RTAS (2016)
Sakthivel Manikandan Sundharam, Lionel Havet, Sebastian Altmeyer, Nicolas Navet
A model-based development environment for rapid-prototyping of latency-sensitive automotive control software. ISED (2016)
Sebastian Altmeyer, Nicolas Navet
Towards a declarative modeling and execution framework for real-time systems. SIGBED Rev. 13 (2) (2016)
Sakthivel Manikandan Sundharam, Sebastian Altmeyer, Nicolas Navet
Poster Abstract: An Optimizing Framework for Real-Time Scheduling. RTAS (2016)
Guillaume Brau, Jérôme Hugues, Nicolas Navet
A Contract-Based Approach to Support Goal-Driven Analysis. ISORC (2015)
Jan R. Seyler, Thilo Streichert, Michael Glaß, Nicolas Navet, Jürgen Teich
Formal analysis of the startup delay of SOME/IP service discovery. DATE (2015)
Aurelien Monot, Nicolas Navet, Bernard Bavoux, Françoise Simonot-Lion
Multisource Software on Multicore Automotive ECUs - Combining Runnable Sequencing With Task Scheduling. IEEE Trans. Ind. Electron. 59 (10) (2012)
Robert I. Davis, Nicolas Navet
Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues. WFCS (2012)
Patrick Meumeu Yomsi, Dominique Bertrand, Nicolas Navet, Robert I. Davis
Controller Area Network (CAN): Response time analysis with offsets. WFCS (2012)
Robert I. Davis, Nicolas Navet
Traffic shaping to reduce jitter in controller area network (CAN). SIGBED Rev. 9 (4) (2012)
Aurelien Monot, Nicolas Navet, Bernard Bavoux
Impact of clock drifts on CAN frame response time distributions. ETFA (2011)
Dawood Ashraf Khan, Robert I. Davis, Nicolas Navet
Schedulability analysis of CAN with non-abortable transmission requests. ETFA (2011)
Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry
The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus. ISoLA (1) (2010)
Dawood Khan, Nicolas Navet, Bernard Bavoux, Jörn Migge
Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level. ETFA (2009)
Mathieu Grenier, Nicolas Navet
Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS. IEEE Trans. Ind. Informatics 4 (1) (2008)
Vincent Nélis, Joël Goossens, Raymond R. Devillers, Dragomir Milojevic, Nicolas Navet
Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. SUTC (2008)
Bruno Gaujal, Nicolas Navet
Dynamic voltage scaling under EDF revisited. Real Time Syst. 37 (1) (2007)
Vincent Nélis, Joël Goossens, Nicolas Navet, Raymond R. Devillers, Dragomir Milojevic
Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms CoRR (2007)
Venkat Rao, Nicolas Navet, Gaurav Singhal, Anshul Kumar, G. S. Visweswaran
Battery aware dynamic scheduling for periodic task graphs. IPDPS (2006)
Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion
Impact de choix d'implantation sur les performances d'une application de contrôle-commande. Tech. Sci. Informatiques 25 (3) (2006)
Rishi Saket, Nicolas Navet
Frame packing algorithms for automotive applications. J. Embed. Comput. 2 (1) (2006)
Shu-Heng Chen, Nicolas Navet
Pretests for Genetic-Programming Evolved Trading Programs: "zero-intelligence" Strategies and Lottery Trading. ICONIP (3) (2006)
Bruno Gaujal, Nicolas Navet
Maximizing the Robustness of TDMA Networks with Applications to TTP/C. Real Time Syst. 31 (1-3) (2005)
Bruno Gaujal, Nicolas Navet, Cormac Walsh
Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use. ACM Trans. Embed. Comput. Syst. 4 (4) (2005)
Bruno Gaujal, Nicolas Navet
Fault confinement mechanisms on CAN: analysis and improvements. IEEE Trans. Veh. Technol. 54 (3) (2005)
Venkat Rao, Gaurav Singhal, Anshul Kumar, Nicolas Navet
Battery Model for Embedded Systems. VLSI Design (2005)
R. S. Marques, Nicolas Navet, Françoise Simonot-Lion
Configuration of in-vehicle embedded systems under real-time constraints. ETFA (2005)
Nicolas Navet, Yeqiong Song, Françoise Simonot-Lion, Cédric Wilwert
Trends in Automotive Communication Systems. Proc. IEEE 93 (6) (2005)
Nicolas Navet, Jörn Migge
Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems. IEE Proc. Softw. 150 (1) (2003)
Bruno Gaujal, Nicolas Navet, Jörn Migge
Dual-Priority versus Background Scheduling: A Path-Wise Comparison. Real Time Syst. 25 (1) (2003)
Jörn Migge, Alain Jean-Marie, Nicolas Navet
Timing Analysis of Compound Scheduling Policies: Application to Posix1003.1B. J. Sched. 6 (5) (2003)
Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion
Nouvelles politiques pour la réservation explicite de ressources en avance. Tech. Sci. Informatiques 22 (5) (2003)
Nicolas Navet, Ye-Qiong Song
Validation of in-vehicle real-time applications. Comput. Ind. 46 (2) (2001)
Nicolas Navet, Ye-Qiong Song, Françoise Simonot
Worst-case deadline failure probability in real-time applications distributed over controller area network. J. Syst. Archit. 46 (7) (2000)
Bruno Gaujal, Nicolas Navet
Traffic shaping in real-time distributed systems: a low-complexity approach. Comput. Commun. 22 (17) (1999)

Nicolas Navet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolas Navet