Nicolas Navet

Nicolas Navet

Assistant professeur

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

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 detailApplications 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