Остановите войну!
for scientists:
default search action
Nicolas Navet
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c29]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: 1-8 - 2023
- [j25]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): 04:1-04:6 (2023) - [j24]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): 41:1-41:37 (2023) - [c28]Pierre Talbot, Tingting Hu, Nicolas Navet:
Constraint Programming with External Worst-Case Traversal Time Analysis. CP 2023: 34:1-34:20 - [c27]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: 19:1-19:18 - 2022
- [c26]Patrick Keller, Nicolas Navet:
Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN. RTNS 2022: 196-206 - 2021
- [j23]Tieu Long Mai, Nicolas Navet:
Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations. ACM Trans. Cyber Phys. Syst. 5(4): 45:1-45:26 (2021) - [c25]Tieu Long Mai, Nicolas Navet:
Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations. RTNS 2021: 89-99 - 2020
- [j22]Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, Lionel Havet:
Automated fault tolerance augmentation in model-driven engineering for CPS. Comput. Stand. Interfaces 70: 103424 (2020)
2010 – 2019
- 2019
- [j21]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): 5613-5625 (2019) - [c24]Tieu Long Mai, Nicolas Navet, Jörn Migge:
On the use of supervised machine learning for assessing schedulability: application to ethernet TSN. RTNS 2019: 143-153 - [c23]Tieu Long Mai, Nicolas Navet, Jörn Migge:
A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks. WFCS 2019: 1-8 - 2018
- [j20]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: 1-20 (2018) - [j19]Sakthivel Manikandan Sundharam, Nicolas Navet, Sebastian Altmeyer, Lionel Havet:
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints. Sensors 18(2): 628 (2018) - 2017
- [c22]Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet:
Towards seamless integration of N-version programming in model-based design. ETFA 2017: 1-8 - [c21]Nicolas Navet, Ivan Cibrario Bertolotti, Tingting Hu:
Software patterns for fault injection in CPS engineering. ETFA 2017: 1-6 - [c20]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: 168-177 - [c19]Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet:
Model-based design languages: A case study. WFCS 2017: 1-6 - 2016
- [j18]Sebastian Altmeyer, Nicolas Navet:
Towards a declarative modeling and execution framework for real-time systems. SIGBED Rev. 13(2): 30-33 (2016) - [c18]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: 228-233 - [c17]Sakthivel Manikandan Sundharam, Loïc Fejoz, Nicolas Navet:
Connected motorized riders - A smart mobility system to connect two and three-wheelers. ISED 2016: 345-348 - [c16]Nicolas Navet, Loïc Fejoz:
CPAL: high-level abstractions for safe embedded systems. DSM@SPLASH 2016: 35-41 - [c15]Sakthivel Manikandan Sundharam, Sebastian Altmeyer, Nicolas Navet:
Poster Abstract: An Optimizing Framework for Real-Time Scheduling. RTAS 2016: 58 - [c14]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: 64 - 2015
- [c13]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: 49-54 - [c12]Guillaume Brau, Jérôme Hugues, Nicolas Navet:
A Contract-Based Approach to Support Goal-Driven Analysis. ISORC 2015: 236-243 - 2012
- [j17]Robert I. Davis, Nicolas Navet:
Traffic shaping to reduce jitter in controller area network (CAN). SIGBED Rev. 9(4): 37-40 (2012) - [j16]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): 3934-3942 (2012) - [c11]Robert I. Davis, Nicolas Navet:
Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues. WFCS 2012: 33-42 - [c10]Patrick Meumeu Yomsi, Dominique Bertrand, Nicolas Navet, Robert I. Davis:
Controller Area Network (CAN): Response time analysis with offsets. WFCS 2012: 43-52 - [e1]Liliana Cucu-Grosjean, Nicolas Navet, Christine Rochange, James H. Anderson:
20th International Conference on Real-Time and Network Systems, RTNS '12, Pont a Mousson, France - November 08 - 09, 2012. ACM 2012, ISBN 978-1-4503-1409-1 [contents] - 2011
- [c9]Dawood Ashraf Khan, Robert I. Davis, Nicolas Navet:
Schedulability analysis of CAN with non-abortable transmission requests. ETFA 2011: 1-8 - [c8]Aurelien Monot, Nicolas Navet, Bernard Bavoux:
Impact of clock drifts on CAN frame response time distributions. ETFA 2011: 1-4 - 2010
- [c7]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: 122-136
2000 – 2009
- 2009
- [c6]Dawood Khan, Nicolas Navet, Bernard Bavoux, Jörn Migge:
Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level. ETFA 2009: 1-9 - [p2]Nicolas Navet, Françoise Simonot-Lion:
Trends in Automotive Communication Systems. Networked Embedded Systems 2009: 13 - 2008
- [j15]Mathieu Grenier, Nicolas Navet:
Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS. IEEE Trans. Ind. Informatics 4(1): 6-15 (2008) - [c5]Vincent Nélis, Joël Goossens, Raymond R. Devillers, Dragomir Milojevic, Nicolas Navet:
Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. SUTC 2008: 209-216 - [p1]Nicolas Navet, Shu-Heng Chen:
On Predictability and Profitability: Would GP Induced Trading Rules be Sensitive to the Observed Entropy of Time Series? Natural Computing in Computational Finance 2008: 197-210 - 2007
- [j14]Bruno Gaujal, Nicolas Navet:
Dynamic voltage scaling under EDF revisited. Real Time Syst. 37(1): 77-97 (2007) - [i1]Vincent Nélis, Joël Goossens, Nicolas Navet, Raymond R. Devillers, Dragomir Milojevic:
Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. CoRR abs/0712.2958 (2007) - 2006
- [j13]Rishi Saket, Nicolas Navet:
Frame packing algorithms for automotive applications. J. Embed. Comput. 2(1): 93-102 (2006) - [j12]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): 371-398 (2006) - [c4]Shu-Heng Chen, Nicolas Navet:
Pretests for Genetic-Programming Evolved Trading Programs: "zero-intelligence" Strategies and Lottery Trading. ICONIP (3) 2006: 450-460 - [c3]Venkat Rao, Nicolas Navet, Gaurav Singhal, Anshul Kumar, G. S. Visweswaran:
Battery aware dynamic scheduling for periodic task graphs. IPDPS 2006 - 2005
- [j11]Nicolas Navet, Yeqiong Song, Françoise Simonot-Lion, Cédric Wilwert:
Trends in Automotive Communication Systems. Proc. IEEE 93(6): 1204-1223 (2005) - [j10]Bruno Gaujal, Nicolas Navet:
Maximizing the Robustness of TDMA Networks with Applications to TTP/C. Real Time Syst. 31(1-3): 5-31 (2005) - [j9]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): 907-933 (2005) - [j8]Bruno Gaujal, Nicolas Navet:
Fault confinement mechanisms on CAN: analysis and improvements. IEEE Trans. Veh. Technol. 54(3): 1103-1113 (2005) - [c2]R. S. Marques, Nicolas Navet, Françoise Simonot-Lion:
Configuration of in-vehicle embedded systems under real-time constraints. ETFA 2005 - [c1]Venkat Rao, Gaurav Singhal, Anshul Kumar, Nicolas Navet:
Battery Model for Embedded Systems. VLSI Design 2005: 105-110 - [r1]Nicolas Navet, Françoise Simonot-Lion:
Fault-Tolerant Services for Safe In-Car Embedded Systems. Embedded Systems Handbook 2005 - 2003
- [j7]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): 13-24 (2003) - [j6]Bruno Gaujal, Nicolas Navet, Jörn Migge:
Dual-Priority versus Background Scheduling: A Path-Wise Comparison. Real Time Syst. 25(1): 39-66 (2003) - [j5]Jörn Migge, Alain Jean-Marie, Nicolas Navet:
Timing Analysis of Compound Scheduling Policies: Application to Posix1003.1B. J. Sched. 6(5): 457-482 (2003) - [j4]Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion:
Nouvelles politiques pour la réservation explicite de ressources en avance. Tech. Sci. Informatiques 22(5): 597-619 (2003) - 2001
- [j3]Nicolas Navet, Ye-Qiong Song:
Validation of in-vehicle real-time applications. Comput. Ind. 46(2): 107-122 (2001) - 2000
- [j2]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): 607-617 (2000)
1990 – 1999
- 1999
- [b1]Nicolas Navet:
Évaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages. National Polytechnic Institute of Lorraine, Nancy, France, 1999 - [j1]Bruno Gaujal, Nicolas Navet:
Traffic shaping in real-time distributed systems: a low-complexity approach. Comput. Commun. 22(17): 1562-1573 (1999)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint