I agree that this site is using cookies. You can find further informations here.
X
Navet, Nicolas
284  results:
Search for persons X
?
1

Approximation of Worst-Case Traversal Times in Real-Time Et..:

, In: 2024 IEEE 20th International Conference on Factory Communication Systems (WFCS),
Keller, Patrick ; Navet, Nicolas - p. 1-8 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Multi-Objective Optimization for Safety-Related Available E..:

Gonzalez de Oliveira, Ricardo ; Navet, Nicolas ; Henkel, Achim
ACM Transactions on Design Automation of Electronic Systems.  28 (2023)  3 - p. 1-37 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Approximating WCRT through the aggregation of short simulat..:

, In: Proceedings of the 30th International Conference on Real-Time Networks and Systems,
Keller, Patrick ; Navet, Nicolas - p. 196-206 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Improvements to Deep-Learning-based Feasibility Prediction ..:

, In: 29th International Conference on Real-Time Networks and Systems,
Long Mai, Tieu ; Navet, Nicolas - p. 89-99 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Deep Learning to Predict the Feasibility of Priority-Based ..:

Mai, Tieu Long ; Navet, Nicolas
ACM Transactions on Cyber-Physical Systems (TCPS).  5 (2021)  4 - p. 1-26 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Deep Learning to Predict the Feasibility of Priority-Based ..:

Mai, Tieu Long ; Navet, Nicolas
ACM Transactions on Cyber-Physical Systems.  5 (2021)  4 - p. 1-26 , 2021
Link: https://doi.org/10.1145/..
 
?
7

Automated fault tolerance augmentation in model-driven engi..:

Hu, Tingting ; Cibrario Bertolotti, Ivan ; Navet, Nicolas.
Computer Standards & Interfaces.  70 (2020)  - p. 103424 , 2020
Link: https://doi.org/10.1016/..
 
?
8

On the use of supervised machine learning for assessing sch..:

, In: Proceedings of the 27th International Conference on Real-Time Networks and Systems,
Mai, Tieu Long ; Navet, Nicolas ; Migge, Jörn - p. 143-153 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Towards the systematic analysis of non-functional propertie..:

Brau, Guillaume ; Hugues, Jérôme ; Navet, Nicolas
Science of Computer Programming.  156 (2018)  - p. 1-20 , 2018
Link: https://doi.org/10.1016/..
 
?
10

A Model-Driven Co-Design Framework for Fusing Control and S..:

Sundharam, Sakthivel Manikandan ; Navet, Nicolas ; Altmeyer, Sebastian.
Sensors.  18 (2018)  2 - p. 628 , 2018
Link: https://doi.org/10.3390/..
 
?
11

Heterogeneous models and analyses in the design of real-tim..:

, In: Proceedings of the 25th International Conference on Real-Time Networks and Systems,
Brau, Guillaume ; Navet, Nicolas ; Hugues, Jérôme - p. 168-177 , 2017
Link: https://dl.acm.org/doi/1..
 
?
12

Towards a declarative modeling and execution framework for ..:

Altmeyer, Sebastian ; Navet, Nicolas
ACM SIGBED Review.  13 (2016)  2 - p. 30-33 , 2016
Link: https://doi.org/10.1145/..
 
?
13

Regime switching model for financial data: Empirical risk a..:

Salhi, Khaled ; Deaconu, Madalina ; Lejay, Antoine..
Physica A: Statistical Mechanics and its Applications.  461 (2016)  - p. 148-157 , 2016
Link: https://doi.org/10.1016/..
 
?
14

CPAL: high-level abstractions for safe embedded systems:

, In: Proceedings of the International Workshop on Domain-Specific Modeling,
Navet, Nicolas ; Fejoz, Loïc - p. 35-41 , 2016
Link: https://dl.acm.org/doi/1..
 
?
15

Towards a declarative modeling and execution framework for ..:

Altmeyer, Sebastian ; Navet, Nicolas
ACM SIGBED Review.  13 (2016)  2 - p. 30-33 , 2016
Link: https://dl.acm.org/doi/1..
 
1-15