Nicolas Navet

Nicolas Navet

Associate professor in Computer science

Faculté ou Centre Faculté des Sciences, de la Technologie et de la Communication
Unité de recherche CSC
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E03 0315-120
E-mail
Téléphone (+352) 46 66 44 5273
powered by
orbilu.uni.lu

2018

Full Text
See detailTowards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems
Brau, Guillaume; Navet, Nicolas; Hugues, Jérôme

in Science of Computer Programming (2018), 156

Full Text
See detailSimulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks
Fejoz, Loïc; Regnier, Bruno; Miramont, Philippe; Navet, Nicolas

in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)

Full Text
See detailInsights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks
Migge, Jörn; Villanueva, Josetxo; Navet, Nicolas; Boyer, Marc

in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)

Full Text
See detailInsights into the performance and configuration of TCP in Automotive Ethernet Networks
Navet, Nicolas; Migge, Jörn

Scientific Conference (2018, October 10)

Full Text
See detailPre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism
Navet, Nicolas; Migge, Jörn; Villanueva, Josetxo; Boyer, Marc

in Proc. WCX World Congress Experience (2018, April)

Full Text
See detailA Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
Sundharam, Sakthivel Manikandan; Navet, Nicolas; Altmeyer, Sebastian; Havet, Lionel

in Sensors (2018), 18(2), 628

Top of Page

2017

Full Text
See detailHeterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study
Brau, Guillaume; Navet, Nicolas; Hugues, Jérôme

in 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017 (2017, October)

Full Text
See detailModel-based design languages: A case study
Cibrario Bertolotti, Ivan; Hu, Tingting; Navet, Nicolas

in 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) (2017)

Full Text
See detailTowards Seamless Integration of N-Version Programming in Model-Based Design
Hu, Tingting; Cibrario Bertolotti, Ivan; Navet, Nicolas

in 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017 (2017)

Full Text
See detailSoftware patterns for fault injection in CPS engineering
Navet, Nicolas; Cibrario Bertolotti, Ivan; Hu, Tingting

in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (2017)

Full Text
See detailInsights on the performance and configuration of AVB and TSN in automotive applications
Navet, Nicolas; Villanueva, Josetxo; Migge, Jörn; Boyer, Marc

Scientific Conference (2017, November 01)

Top of Page

2016

Full Text
See detailTowards a declarative modeling and execution framework for real-time systems
Altmeyer, Sebastian; Navet, Nicolas

in ACM SIGBED Review (2016), 13(2), 30-33

Full Text
See detailThe Case for FIFO Real-Time Scheduling
Altmeyer, Sebastian; Sundharam, Sakthivel Manikandan; Navet, Nicolas

Report (2016)

Full Text
See detailPerformance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet
Boyer, Marc; Daigmorte, Hugo; Navet, Nicolas; Migge, Jörn

Scientific Conference (2016, January 27)

Full Text
See detailDevelopment of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
Ciarletta, Laurent; Fejoz, Loïc; Guenard, Adrien; Navet, Nicolas

Scientific Conference (2016, January 28)

Full Text
See detailDemo: Applications of the CPAL language to model, simulate and program Cyber-Physical Systems
Fejoz, Loïc; Navet, Nicolas; Sundharam, Sakthivel Manikandan; Altmeyer, Sebastian

Poster (2016, April 12)

Full Text
See detailRegime switching model for financial data: empirical risk analysis
Khaled, Salhi; Deaconu, Madalina; Lejay, Antoine; Champagnat, Nicolas; Navet, Nicolas

in Physica A: Statistical Mechanics and its Applications (2016), 461

Full Text
See detailThe use of simulation in the design of critical embedded systems
Navet, Nicolas

Scientific Conference (2016, June 09)

Full Text
See detailTiming Analysis of Automotive Architectures and Software
Navet, Nicolas

Scientific Conference (2016, March 16)

Full Text
See detailCPAL: High-Level Abstractions for Safe Embedded Systems
Navet, Nicolas; Fejoz, Loïc

in DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling (2016)

Full Text
See detailLean Model-Driven Development through Model-Interpretation: the CPAL design flow
Navet, Nicolas; Fejoz, Loïc; Havet, Lionel; Altmeyer, Sebastian

Scientific Conference (2016, January 27)

Full Text
See detailTiming verification of real­time automotive Ethernet networks: what can we expect from simulation?
Navet, Nicolas; Seyler, Jan; Migge, Jörn

Scientific Conference (2016, January 28)

Full Text
See detailModel Interpretation for an AUTOSAR compliant Engine Control Function
Sundharam, Sakthivel Manikandan; Altmeyer, Sebastian; Navet, Nicolas

in 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2016, July 05)

Full Text
See detailPoster Abstract: An Optimizing Framework for Real-Time Scheduling
Sundharam, Sakthivel Manikandan; Altmeyer, Sebastian; Navet, Nicolas

in Proceedings of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) (2016, April 12)

Full Text
See detailConnected Motorized Riders - A Smart Mobility System to Connect Two and Three-wheelers
Sundharam, Sakthivel Manikandan; Fejoz, Loic; Navet, Nicolas

in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)

Full Text
See detailA Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software
Sundharam, Sakthivel Manikandan; Havet, Lionel; Altmeyer, Sebastian; Navet, Nicolas

in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)

Top of Page

2015

Full Text
See detailUsing CPAL to model and validate the timing behaviour of embedded systems
Altmeyer, Sebastian; Navet, Nicolas; Fejoz, Loïc

in 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2015, July 07)

Full Text
See detailA Contract-Based approach to support Goal-Driven Analysis
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

in Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2015, April)

Full Text
See detailLean Model-Driven Development through Model-Interpretation: the CPAL design flow
Navet, Nicolas; Fejoz, Loïc; Havet, Lionel; Altmeyer, Sebastian

Report (2015)

Full Text
See detailTiming verification of real-time automotive Ethernet networks: what can we expect from simulation?
Navet, Nicolas; Seyler, Jan; Migge, Jörn

Scientific Conference (2015, May 23)

Full Text
See detailInsights on the Configuration and Performances of SOME/IP Service Discovery
Seyler, Jan; Navet, Nicolas; Fejoz, Loïc

in SAE International Journal of Passenger Cars- Electronic and Electrical Systems (2015), 8(1), 124-129

Full Text
See detailFormal Analysis of the Startup Delay of SOME/IP Service Discovery
Seyler, Jan; Streichert, Thilo; Glaß, Michael; Navet, Nicolas; Teich, Jürgen

in Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (2015)

Top of Page

2014

See detailIntegrating end-system frame scheduling for more accurate AFDX timing analysis
Boyer, Marc; Santinelli, Luca; Navet, Nicolas; Migge, Jörn; Fumey, Marc

Scientific Conference (2014, February 07)

See detailTiming verification of automotive communication architectures using quantile estimation
Navet, Nicolas; Louvart, Shehnaz; Villanueva, Jose; Campoy-Martinez, Sergio; Migge, Jörn

Scientific Conference (2014, March 07)

Top of Page

2013

Full Text
See detailCombining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support
Boyer, Marc; Navet, Nicolas; Fumey, Marc; Migge, Jörn; Havet, Lionel

in Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS) (2013, July 01)

Full Text
See detailRefinement of AADL models using early-stage analysis methods
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

in Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (2013, November)

Full Text
See detailRefinement of AADL models using early-stage analysis methods : An avionics example
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

Report (2013)

See detailAn empirical analysis of heavy-tails behavior of financial data: the case for power laws
Champagnat, Nicolas; Deaconu, Madalina; Lejay, Antoine; Navet, Nicolas; Boukherouaa, Souhail

Report (2013)

Full Text
See detailQuantile-based performance evaluation on CAN
Navet, Nicolas

Scientific Conference (2013, November 12)

Full Text
See detailIn-vehicle communication networks - a historical perspective and review
Navet, Nicolas; Simonot-Lion, Françoise

Report (2013)

Top of Page