Nicolas Navet
Orcid: 0000-0002-6417-358X
According to our database1,
Nicolas Navet
authored at least 58 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
Comput. Stand. Interfaces, 2020
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
Sensors, 2018
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems.
Sci. Comput. Program., 2018
2017
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
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
2016
SIGBED Rev., 2016
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
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
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
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
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
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011
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
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009
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
IEEE Trans. Ind. Informatics, 2008
Proceedings of the IEEE International Conference on Sensor Networks, 2008
2007
2006
Impact de choix d'implantation sur les performances d'une application de contrôle-commande.
Tech. Sci. Informatiques, 2006
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
Proceedings of the Embedded Systems Handbook., 2005
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
Real Time Syst., 2005
Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
2003
Tech. Sci. Informatiques, 2003
J. Sched., 2003
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
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
Comput. Commun., 1999