Nicolas Navet

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