Nicolas Navet home page

Professor in Computer Science at the University of Luxembourg

View Nicolas Navet's profile on LinkedIn

Affiliation :

University of Luxembourg

Faculty of Science, Technology and Medicine (FSTM)

Department of Computer Science

Laboratory of Advanced Software SYstems (LASSY)

Address :
6, Avenue de la Fonte
Maison du Nombre
L-4364 Esch-sur-Alzette
Luxembourg

Office:
Campus Belval, Maison du Nombre, MNO 03-15-080  

Phone: 
(+352).46.66.44.52.73

Email:
firstname.lastname@uni.lu

  • 09/2023 - Keynote at RNDM23 on TSN timing QoS with 10 years of hindsight.
  • 01/2023 - Study with R. Bosch on the Design Space Exploration of E/E architectures - Pdf of the paper.
  • 06/2022 - Study with Volvo Cars on the scalability of next-generation E/E architectures presented at the 2022 Automotive Ethernet Congress  - Pdf of the slides.
  • 02/2021 - Study with Airbus Helicopters on the TSN mechanisms needed in helicopters presented at DASC 2021 - Pdf of the slides.
  • 02/2021 - Study with Renault on QoS-predictable Service Oriented Architectures presented at the 2021 Automotive Ethernet Congress  - Pdf of the slides.
  • 09/2020 - Study with BMW on E/E architecture Design Automation presented at the 2020 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day - Pdf of the slides.
  • 02/2020 - Study with Volvo Cars on early-stage design choices with design-space exploration presented at the 2020 Automotive Ethernet Congress - Pdf of the slides.
  • 09/2019 - Study with Renault on early-stage design choices with design-space exploration presented at the 2019 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day - Pdf of the slides.
  • 02/2018 - our study on the clock synchronization in the TTEthernet network received a best paper award at ERTSS2018.
  • 12/2017 - Phd thesis of Guillaume Brau received foundation ISAE-SUPAERO award.

Research in real-time dependable systems and risk assessment

My goal is to advance techniques, tools, and computing platforms that enable the development of provably safe systems in a time- and cost-efficient way, with applications in:

  • Automotive and aerospace embedded systems: automated synthesis of E/E architecture (design-space exploration, machine learning) & timing and dependability verification  
  • Risk assessment: quantify risks using probabilistic models derived from historical data 

Here is a list of my publications (available for download) and slides from recent talks. You can find here a short biography and a list of (academic) professional activities.


Selected works