Back
  1. Home
  2. Profile of Nicolas NAVET (Unilu)
Profil

NAVET Nicolas

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Main Referenced Co-authors
Migge, Jörn (20)
Fejoz, Loïc (9)
ALTMEYER, Sebastian  (7)
Boyer, Marc (7)
SUNDHARAM, Sakthivel Manikandan  (7)
Main Referenced Keywords
Time Sensitive Networking (9); in-vehicle networks (8); Time-Sensitive Networking (8); CPAL (6); real-time systems (6);
Main Referenced Unit & Research Centers
LASSY (2)
FSTC CSC (1)
ULHPC - University of Luxembourg: High Performance Computing (1)
Main Referenced Disciplines
Computer science (45)
Electrical & electronics engineering (12)
Aerospace & aeronautics engineering (4)
Mathematics (2)

Publications (total 63)

The most downloaded
3289 downloads
Navet, N., & Simonot-Lion, F. (2013). In-vehicle communication networks - a historical perspective and review. University of Luxembourg. https://hdl.handle.net/10993/5540

The most cited

18 citations (Scopus®)

Mai, T. L., Navet, N., & Migge, J. (2019). A Hybrid Machine Learning and Schedulability Method for the Verification of TSN Networks. In 15th IEEE International Workshop on Factory Communication Systems (WFCS2019). IEEE. doi:10.1109/WFCS.2019.8757948 https://hdl.handle.net/10993/38990

Navet, N. (21 September 2023). TSN timing QoS mechanisms: what did we learn over the past 10 years? [Paper presentation]. 13th International Workshop on Resilient Networks Design and Modeling (RNDM 2023), Hamburg, Germany.

TALBOT, P., HU, T., & NAVET, N. (2023). Constraint Programming with External Worst-Case Traversal Time Analysis. In R. H. C. Y. Yap (Ed.), 29th International Conference on Principles and Practice of Constraint Programming, CP 2023. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. doi:10.4230/LIPIcs.CP.2023.34
Peer reviewed

Altmeyer, S., André, E., Dal Zilio, S., Fejoz, L., Harbour, M. G., Graf, S., Gutiérrez, J. J., Henia, R., Le Botlan, D., Lipari, G., Medina, J., Navet, N., Quinton, S., Rivas, J. M., & Sun, Y. (2023). From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023) (pp. 19:1--19:18). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.ECRTS.2023.19
Peer reviewed

Gonzalez de Oliveira, R., Navet, N., & Henkel, A. (22 March 2023). Multi-objective optimization for safety-related available E/E architectures scoping highly automated driving vehicles. ACM Transactions on Design Automation of Electronic Systems, 28 (3), 37. doi:10.1145/3582004
Peer Reviewed verified by ORBi

Bengtsson, H. H., & Navet, N. (22 March 2023). Time-Predictable Ethernet Communication in Automotive: What are the Challenges? [Paper presentation]. Automotive Ethernet Congress 2023, Munich, Germany.

Keller, P., & Navet, N. (2022). Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN. In 30th International Conference on Real-Time Networks and Systems (RTNS ’22).
Peer reviewed

Bengtsson, H. H., Hiller, M., Migge, J., & Navet, N. (01 June 2022). Signal-Oriented ECUs in a Centralized Service-Oriented Architecture: Scalability of the Layered Software Architecture [Paper presentation]. Automotive Ethernet Congress 2022, Munich, Germany.

Mai, T. L., & Navet, N. (October 2021). Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations. ACM Transactions on Cyber-Physical Systems, 5 (4), 1–26. doi:10.1145/3468890
Peer Reviewed verified by ORBi

Mauclair, C., Gutiérrez, M., Migge, J., & Navet, N. (2021). Do We Really Need TSN in Next-Generation Helicopters? Insights From a Case-Study. In 2021 AIAA/IEEE 40th Digital Avionics Systems Conference (DASC). IEEE.
Peer reviewed

Mai, T. L., & Navet, N. (2021). Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations. In The 29th International Conference on Real-Time Networks and Systems (RTNS2021).
Peer reviewed

Villanueva, J., Migge, J., & Navet, N. (09 February 2021). QoS-Predictable SOA on TSN: Insights from a Case-Study [Paper presentation]. Automotive Ethernet Congress 2021.

Pannell, D., & Navet, N. (17 September 2020). Practical Use Cases for Ethernet Redundancy [Paper presentation]. 2020 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day, Munich, Germany.

Creighton, O., Navet, N., Keller, P., & Migge, J. (16 September 2020). Towards Computer-Aided, Iterative TSN-and Ethernet-based E/E Architecture Design [Paper presentation]. 2020 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day, Munich, Germany.

Hu, T., Cibrario Bertolotti, I., Navet, N., & Havet, L. (June 2020). Automated Fault Tolerance Augmentation in Model-Driven Engineering for CPS. Computer Standards and Interfaces, 70. doi:10.1016/j.csi.2020.103424
Peer Reviewed verified by ORBi

Navet, N., Bengtsson, H. H., & Migge, J. (12 February 2020). Early-stage Bottleneck Identification and Removal in TSN Networks [Paper presentation]. Automotive Ethernet Congress 2020, Munich, Germany.

Bloom, G., Cena, G., Cibrario Bertolotti, I., Hu, T., Navet, N., & Valenzano, A. (October 2019). Event Notification in CAN-based Sensor Networks. IEEE Transactions on Industrial Informatics, 15 (10), 5613-5625. doi:10.1109/TII.2019.2904082
Peer Reviewed verified by ORBi

Navet, N., Villanueva, J., & Migge, J. (24 September 2019). Early-stage topological and technological choices for TSN-based communication architectures [Paper presentation]. 2019 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day, Detroit, United States - Michigan.

Mai, T. L., Navet, N., & Migge, J. (2019). A Hybrid Machine Learning and Schedulability Method for the Verification of TSN Networks. In 15th IEEE International Workshop on Factory Communication Systems (WFCS2019). IEEE. doi:10.1109/WFCS.2019.8757948
Peer reviewed

Navet, N., Mai, T. L., & Migge, J. (2019). Using Machine Learning to Speed Up the Design Space Exploration of Ethernet TSN networks. University of Luxembourg.

Mai, T. L., Navet, N., & Migge, J. (2019). On the use of supervised machine learning for assessing schedulability: application to Ethernet TSN. In 27th International Conference on Real-Time Networks and Systems (RTNS 2019). doi:10.1145/3356401.3356409
Peer reviewed

Navet, N., & Migge, J. (10 October 2018). Insights into the performance and configuration of TCP in Automotive Ethernet Networks [Paper presentation]. 2018 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day, London, United Kingdom.

Navet, N. (11 June 2018). A journey into time-triggered communication protocols with a focus on Ethernet TSN [Paper presentation]. Digicosme: Working Group on Real-Time Systems, Paris, France.

Brau, G., Navet, N., & Hugues, J. (01 May 2018). Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems. Science of Computer Programming, 156, 1-20. doi:10.1016/j.scico.2017.12.007
Peer Reviewed verified by ORBi

Navet, N., Migge, J., Villanueva, J., & Boyer, M. (2018). Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism. In Proc. WCX World Congress Experience. SAE. doi:10.4271/2018-01-0756
Peer reviewed

Sundharam, S. M., Navet, N., Altmeyer, S., & Havet, L. (20 February 2018). A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints. Sensors, 18 (2), 628. doi:10.3390/s18020628
Peer Reviewed verified by ORBi

Migge, J., Villanueva, J., Navet, N., & Boyer, M. (2018). Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks. In Proc. Embedded Real-Time Software and Systems (ERTS 2018).
Peer reviewed

Fejoz, L., Regnier, B., Miramont, P., & Navet, N. (2018). Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks. In Proc. Embedded Real-Time Software and Systems (ERTS 2018).
Peer reviewed

Navet, N., Migge, J., Villanueva, J., & Boyer, M. (2018). Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism. SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 11 (3), 197-204. doi:10.4271/2018-01-0756
Peer Reviewed verified by ORBi

Navet, N., Villanueva, J., Migge, J., & Boyer, M. (01 November 2017). Insights on the performance and configuration of AVB and TSN in automotive applications [Paper presentation]. 2017 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day, San Jose, United States - California.

Brau, G., Navet, N., & Hugues, J. (2017). Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. In 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017 (pp. 168-177). New-York, United States - New York: ACM. doi:10.1145/3139258.3139281
Peer reviewed

Hu, T., Cibrario Bertolotti, I., & Navet, N. (2017). Towards Seamless Integration of N-Version Programming in Model-Based Design. In 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017. IEEE. doi:10.1109/ETFA.2017.8247678
Peer reviewed

Cibrario Bertolotti, I., Hu, T., & Navet, N. (2017). Model-based design languages: A case study. In 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) (pp. 1-6). IEEE. doi:10.1109/WFCS.2017.7991964
Peer reviewed

Navet, N., Cibrario Bertolotti, I., & Hu, T. (2017). Software patterns for fault injection in CPS engineering. In 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 1-6). IEEE. doi:10.1109/ETFA.2017.8247701
Peer reviewed

Sundharam, S. M., Fejoz, L., & Navet, N. (2016). Connected Motorized Riders - A Smart Mobility System to Connect Two and Three-wheelers. In Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016).
Peer reviewed

Sundharam, S. M., Havet, L., Altmeyer, S., & Navet, N. (2016). A Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software. In Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016).
Peer reviewed

Khaled, S., Deaconu, M., Lejay, A., Champagnat, N., & Navet, N. (01 November 2016). Regime switching model for financial data: empirical risk analysis. Physica A. Statistical Mechanics and its Applications, 461, 148–157. doi:10.1016/j.physa.2016.05.002
Peer Reviewed verified by ORBi

Sundharam, S. M., Altmeyer, S., & Navet, N. (2016). Model Interpretation for an AUTOSAR compliant Engine Control Function. In 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).
Peer reviewed

Navet, N. (09 June 2016). The use of simulation in the design of critical embedded systems [Paper presentation]. Conférence Régionale NAFEMS France 2016, Paris, France.

Sundharam, S. M., Altmeyer, S., & Navet, N. (2016). Poster Abstract: An Optimizing Framework for Real-Time Scheduling. In Proceedings of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016).
Peer reviewed

Fejoz, L., Navet, N., Sundharam, S. M., & Altmeyer, S. (12 April 2016). Demo: Applications of the CPAL language to model, simulate and program Cyber-Physical Systems [Poster presentation]. Demo Session of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016), Vienna, Austria.

Altmeyer, S., & Navet, N. (01 April 2016). Towards a declarative modeling and execution framework for real-time systems. ACM SIGBED Review, 13 (2), 30-33.
Peer reviewed

Navet, N. (16 March 2016). Timing Analysis of Automotive Architectures and Software [Paper presentation]. 19th Design, Automation and Test in Europe Conference (DATE 2016), Dresden, Germany.

Altmeyer, S., Sundharam, S. M., & Navet, N. (2016). The Case for FIFO Real-Time Scheduling. University of Luxembourg.

Ciarletta, L., Fejoz, L., Guenard, A., & Navet, N. (28 January 2016). Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS [Paper presentation]. Embedded Real-Time Software and Systems (ERTS 2016), Toulouse, France.

Navet, N., Seyler, J., & Migge, J. (28 January 2016). Timing verification of real­time automotive Ethernet networks: what can we expect from simulation? [Paper presentation]. Embedded Real-Time Software and Systems (ERTS 2016), Toulouse, France.

Boyer, M., Daigmorte, H., Navet, N., & Migge, J. (27 January 2016). Performance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet [Paper presentation]. Embedded Real-Time Software and Systems (ERTS 2016), Toulouse, France.

Navet, N., Fejoz, L., Havet, L., & Altmeyer, S. (27 January 2016). Lean Model-Driven Development through Model-Interpretation: the CPAL design flow [Paper presentation]. Embedded Real-Time Software and Systems (ERTS 2016), Toulouse, France.

Navet, N., & Fejoz, L. (2016). CPAL: High-Level Abstractions for Safe Embedded Systems. In DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling (pp. 35-41). New-York, United States: ACM. doi:10.1145/3023147.3023153
Peer reviewed

Navet, N., Fejoz, L., Havet, L., & Altmeyer, S. (2015). Lean Model-Driven Development through Model-Interpretation: the CPAL design flow. University of Luxembourg.

Altmeyer, S., Navet, N., & Fejoz, L. (2015). Using CPAL to model and validate the timing behaviour of embedded systems. In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).
Peer reviewed

Navet, N., Seyler, J., & Migge, J. (23 May 2015). Timing verification of real-time automotive Ethernet networks: what can we expect from simulation? [Paper presentation]. SAE World Congress 2015, "Safety-Critical Systems" Session, Detroit, United States.

Seyler, J., Navet, N., & Fejoz, L. (May 2015). Insights on the Configuration and Performances of SOME/IP Service Discovery. SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 8 (1), 124-129. doi:10.4271/2015-01-0197
Peer Reviewed verified by ORBi

Brau, G., Hugues, J., & Navet, N. (2015). A Contract-Based approach to support Goal-Driven Analysis. In Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE.
Peer reviewed

Seyler, J., Streichert, T., Glaß, M., Navet, N., & Teich, J. (2015). Formal Analysis of the Startup Delay of SOME/IP Service Discovery. In Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (pp. 49-54). San José, United States: EDA Consortium.
Peer reviewed

Navet, N., Louvart, S., Villanueva, J., Campoy-Martinez, S., & Migge, J. (07 March 2014). Timing verification of automotive communication architectures using quantile estimation [Paper presentation]. Embedded Real-Time Software and Systems (ERTS 2014).

Boyer, M., Santinelli, L., Navet, N., Migge, J., & Fumey, M. (07 February 2014). Integrating end-system frame scheduling for more accurate AFDX timing analysis [Paper presentation]. Embedded Real-Time Software and Systems (ERTS 2014), Toulouse, France.

Navet, N. (09 December 2013). Verification of automotive networks - what to expect (and not expect) from each technique [Paper presentation]. Automotive Bus systems + Ethernet, Stuttgart, Germany.

Navet, N. (12 November 2013). Quantile-based performance evaluation on CAN [Paper presentation]. 14th International CAN Conference, Paris, France.

Brau, G., Hugues, J., & Navet, N. (2013). Refinement of AADL models using early-stage analysis methods. In Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (pp. 29-32). Linköping University Electronic Press - Linköpings universitet.
Peer reviewed

Brau, G., Hugues, J., & Navet, N. (2013). Refinement of AADL models using early-stage analysis methods : An avionics example. (TR-LASSY-13-06). Laboratory for Advanced Software Systems.

Navet, N., & Simonot-Lion, F. (2013). In-vehicle communication networks - a historical perspective and review. University of Luxembourg.

Champagnat, N., Deaconu, M., Lejay, A., Navet, N., & Boukherouaa, S. (2013). An empirical analysis of heavy-tails behavior of financial data: the case for power laws. (hal-00851429, version 1). HAL.

Boyer, M., Navet, N., Fumey, M., Migge, J., & Havet, L. (2013). Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support. In Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS) (pp. 11).
Peer reviewed

Contact ORBilu