Nicolas Navet

发表

Aperiodic traffic in response time analyses with adjustable safety level

Jörn Migge, Dawood Khan, Nicolas Navet, 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

Refinement of AADL models using early-stage analysis methods : An avionics example

Jérôme Hugues, Nicolas Navet, Guillaume Brau, 2013 .

A model-based development environment for rapid-prototyping of latency-sensitive automotive control software

Sebastian Altmeyer, Nicolas Navet, Sakthivel Manikandan Sundharam, 2016, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED).

A Review of Embedded Automotive Protocols

Nicolas Navet, Françoise Simonot-Lion, N. Navet, 2009 .

Performance guarantees with highly loaded ECUs and communication networks in embedded automotive systems

Nicolas Navet, 2009 .

Integrating end-system frame scheduling for more accurate AFDX timing analysis

Marc Boyer, Marc Fumey, Nicolas Navet, 2014 .

Traffic shaping to reduce jitter in controller area network (CAN)

Robert I. Davis, Nicolas Navet, N. Navet, 2012, SIGBED.

Controller Area Network (CAN): Response time analysis with offsets

Robert I. Davis, Patrick Meumeu Yomsi, Dominique Bertrand, 2012, 2012 9th IEEE International Workshop on Factory Communication Systems.

A Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Control Software

Sebastian Altmeyer, Nicolas Navet, Sakthivel Manikandan Sundharam, 2016 .

Automotive embedded systems: some research challenges

Nicolas Navet, 2009 .

Impact of clock drifts on CAN frame response time distributions

Nicolas Navet, Bernard Bavoux, Aurelien Monot, 2011, ETFA2011.

Battery model for embedded systems

Anshul Kumar, Nicolas Navet, Gaurav Singhal, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

Nouvelles politiques pour la réservation explicite de ressources en avance

Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion, 2003, Tech. Sci. Informatiques.

Software patterns for fault injection in CPS engineering

Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

CAN in Automotive Applications: a Look Forward 1

Nicolas Navet, N. Navet, 2012 .

Improvements in the configuration of Posix 1003.1b scheduling

Mathieu Grenier, Nicolas Navet, N. Navet, 2007 .

Configuring the communication on FlexRay - the case of the static segment ⁄

Mathieu Grenier, Nicolas Navet, Lionel Havet, 2008 .

Optimal configuration of an in-vehicle embedded middleware

Nicolas Navet, Françoise Simonot-Lion, Ricardo Santos Marques, 2006 .

Lean Model-Driven Development through Model-Interpretation: the CPAL design flow

Sebastian Altmeyer, Nicolas Navet, Lionel Havet, 2016 .

Near-Optimal Fixed Priority Preemptive Scheduling of Offset Free Systems

Guy Juanole, Mathieu Grenier, Joël Goossens, 2006 .

Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems

Sebastian Altmeyer, Nicolas Navet, Sakthivel Manikandan Sundharam, 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support

Marc Boyer, Jörn Migge, Marc Fumey, 2013 .

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Jérôme Hugues, Nicolas Navet, Guillaume Brau, 2018, Sci. Comput. Program..

Schedulability analysis of CAN with non-abortable transmission requests

Robert I. Davis, Dawood Khan, Nicolas Navet, 2011, ETFA2011.

Verification, Testing, and Timing Analysis

Nicolas Navet, Françoise Simonot-Lion, 2008 .

Pushing the limits of CAN - scheduling frames with offsets provides a major performance boost

Mathieu Grenier, Nicolas Navet, Lionel Havet, 2008 .

Worst-case deadline failure probability in real-time applications distributed over controller area network

Yeqiong Song, Françoise Simonot-Lion, Nicolas Navet, 2000, J. Syst. Archit..

A Contract-Based Approach to Support Goal-Driven Analysis

Jérôme Hugues, Nicolas Navet, Guillaume Brau, 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing.

Controller Area Network: CANs use within automobiles

Nicolas Navet, 1997 .

Towards a declarative modeling and execution framework for real-time systems

Sebastian Altmeyer, Nicolas Navet, 2016, SIGBED.

Model Interpretation for an AUTOSAR compliant Engine Control Function

Sebastian Altmeyer, Nicolas Navet, Sakthivel Manikandan Sundharam, 2016 .

NETCARBENCH: A BENCHMARK FOR TECHNIQUES AND TOOLS USED IN THE DESIGN OF AUTOMOTIVE COMMUNICATION SYSTEMS

Nicolas Navet, Christelle Braun, Lionel Havet, 2007 .

Performance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet

Marc Boyer, Jörn Migge, Nicolas Navet, 2016 .

Insights on the performance and configuration of AVB and TSN in automotive applications

Marc Boyer, Jörn Migge, Nicolas Navet, 2017 .

Stochastic Battery Model for Embedded Systems

Anshul Kumar, Nicolas Navet, Gaurav Singhal, 2005 .

The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus

Marc Boyer, Eric Thierry, Nicolas Navet, 2010, ISoLA.

On the use of supervised machine learning for assessing schedulability: application to ethernet TSN

Nicolas Navet, Jörn Migge, Tieu Long Mai, 2019, RTNS.

Validation of in-vehicle real-time applications

Yeqiong Song, Nicolas Navet, N. Navet, 2001, Comput. Ind..

Low Power Round-Robin Scheduling

Nicolas Navet, Raul Brito, 2004 .

A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints

Sebastian Altmeyer, Nicolas Navet, Sakthivel Manikandan Sundharam, 2018, Sensors.

CPAL: high-level abstractions for safe embedded systems

Nicolas Navet, Loïc Fejoz, 2016, DSM@SPLASH.

Insights into the performance and configuration of TCP in Automotive Ethernet Networks

Jörn Migge, Nicolas Navet, 2018 .

The use of simulation in the design of critical embedded systems

Nicolas Navet, 2016 .

Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS

Mathieu Grenier, Nicolas Navet, 2008, IEEE Transactions on Industrial Informatics.

Frame latency evaluation: when simulation and analysis alone are not enough

Jörn Migge, Nicolas Navet, Aurelien Monot, 2010, WFCS 2010.

Poster Abstract: An Optimizing Framework for Real-Time Scheduling

Sebastian Altmeyer, Nicolas Navet, Sakthivel Manikandan Sundharam, 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

Entropy rate and profitability of technical analysis: experiments on the NYSE US 100 stocks

Shu-Heng Chen, Nicolas Navet, 2007 .

Formal analysis of the startup delay of SOME/IP service discovery

Michael Glaß, Jürgen Teich, Nicolas Navet, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use

Bruno Gaujal, Nicolas Navet, Cormac Walsh, 2005, TECS.

Fine Tuning the Scheduling of Tasks on Posix1003.1b Compliant Systems

Jörn Migge, Nicolas Navet, 1999 .

Fine-Tuning MAC-Level Protocols for Optimized Real-Time Quality-of-Service

Mathieu Grenier, Nicolas Navet, 2007 .

Experimental assessment of timing verification techniques for AFDX

Marc Boyer, Marc Fumey, Nicolas Navet, 2012 .

On Predictability and Profitability: Would GP Induced Trading Rules be Sensitive to the Observed Entropy of Time Series?

Shu-Heng Chen, Nicolas Navet, N. Navet, 2008, Natural Computing in Computational Finance.

Évaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages

Nicolas Navet, 1999 .

Validation of distributed real time systems thanks to performance evaluation of their physical architecture

Nicolas Navet, Françoise Simonot-Lion, Ye-Qiong Song, 1996 .

Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism

Marc Boyer, Nicolas Navet, Jörn Migge, 2018 .

On Fault Tolerance and Worst-Case Response Time Analysis in CAN

Ye-Qiong Song, Nicolas Navet, N. Navet, 1998 .

Automating the Configuration of the FlexRay Communication Cycle

Nicolas Navet, 2008 .

Scheduling messages with offsets in automotive networks - a major performance boost

Nicolas Navet, 2007 .

New Results - Real time services and protocols

Ye-Qiong Song, Mathieu Grenier, Olivier Zendra, 2006 .

Specification of Powertrain Middleware

Nicolas Navet, Gerardo Satriano, Franz Adis, 2003 .

Dual-Priority versus Background Scheduling: A Path-Wise Comparison

Jörn Migge, Bruno Gaujal, Nicolas Navet, 2004, Real-Time Systems.

Timing Analysis of Automotive Architectures and Software

Nicolas Navet, 2016 .

Design of Reliable Real-Time Applications Distributed Over CAN (Controller Area Network)

Ye-Qiong Song, Nicolas Navet, 1997 .

Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems

Jörn Migge, Nicolas Navet, N. Navet, 2003, IEE Proc. Softw..

Connected motorized riders — A smart mobility system to connect two and three-wheelers

Nicolas Navet, Sakthivel Manikandan Sundharam, Loïc Fejoz, 2016, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED).

Une politique à changement de priorité pour l'ordonnancement de messages dans des environnements bruités

Ye-Qiong Song, Nicolas Navet, Nicolas Navet, 1999 .

Verification of automotive networks - what to expect (and not expect) from each technique

Nicolas Navet, 2013 .

Trends in Automotive Communication Systems

Nicolas Navet, Françoise Simonot-Lion, N. Navet, 2005, Proceedings of the IEEE.

Modeling and Verification of Real-time Systems

Stephan Merz, Nicolas Navet, Stephan Merz, 2008 .

Pretests for Genetic-Programming Evolved Trading Programs: "zero-intelligence" Strategies and Lottery Trading

Shu-Heng Chen, Nicolas Navet, N. Navet, 2006, ICONIP.

Traffic shaping in real-time distributed systems: a low-complexity approach

Bruno Gaujal, Nicolas Navet, 1999, Comput. Commun..

Scheduling messages with offsets on Controller Area Network - a major performance boost ∗

Mathieu Grenier, Nicolas Navet, Lionel Havet, 2017 .

Virtualization in Automotive Embedded Systems : an Outlook

Bertrand Delord, Nicolas Navet, Markus Baumeister, 2010 .

Timing verification of automotive communication architectures using quantile estimation

Nicolas Navet, Jörn Migge, Shehnaz Louvart, 2014 .

The CPAL programming language Design, Simulate, Execute Embedded Systems

Sebastian Altmeyer, Nicolas Navet, Lionel Havet, 2016 .

Configuration optimale d'un intergiciel embarqué dans l'automobile

Nicolas Navet, Françoise Simonot-Lion, Ricardo Santos Marques, 2006 .

Trends in Automotive Communication Systems

Yeqiong Song, Nicolas Navet, Françoise Simonot-Lion, 2005, Proc. IEEE.

Frame packing algorithms for automotive applications

Nicolas Navet, Rishi Saket, 2006, J. Embed. Comput..

The Case for FIFO Real-Time Scheduling

Sebastian Altmeyer, Nicolas Navet, Sakthivel Manikandan Sundharam, 2016 .

Modeling and verification of real-time systems : formalisms and software tools

Stephan Merz, Nicolas Navet, Stephan Merz, 2008 .

Dynamic voltage scaling under EDF revisited

Bruno Gaujal, Nicolas Navet, B. Gaujal, 2007, Real-Time Systems.

Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks

Marc Boyer, Nicolas Navet, Jörn Migge, 2018 .

Event Notification in CAN-Based Sensor Networks

Gianluca Cena, Adriano Valenzano, Tingting Hu, 2019, IEEE Transactions on Industrial Informatics.

Proceedings of the 13th International Conference on Real-Time Systems (RTS'2005)

Nicolas Navet, 2005 .

Maximizing the Robustness of TDMA Networks with Applications to TTP/C

Bruno Gaujal, Nicolas Navet, 2005, Real-Time Systems.

Using CPAL to model and validate the timing behaviour of embedded systems

Sebastian Altmeyer, Nicolas Navet, Loïc Fejoz, 2015 .

Network bandwidth optimization in automotive middlewares

Nicolas Navet, Françoise Simonot-Lion, Ricardo Santos Marques, 2004 .

Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS

Laurent Ciarletta, Nicolas Navet, Adrien Guenard, 2016 .

Probabilistic Estimation of Response Times Through Large Deviations

Nicolas Navet, Liliana Cucu, René Schott, 2007, RTSS 2007.

In-vehicle communication networks - a historical perspective and review

Nicolas Navet, Françoise Simonot-Lion, 2013 .

Using Machine Learning to Speed Up the Design Space Exploration of Ethernet TSN networks

Nicolas Navet, Jörn Migge, Tieu Long Mai, 2019 .

Towards seamless integration of N-version programming in model-based design

Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Jérôme Hugues, Nicolas Navet, Guillaume Brau, 2017, RTNS.

Controller area network [automotive applications]

Nicolas Navet, N. Navet, 1998 .

Configuration of in-vehicle embedded systems under real-time constraints

Françoise Simonot-Lion, Nicolas Navet, R. S. Marques, 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

Fault confinement mechanisms on CAN: analysis and improvements

Bruno Gaujal, Nicolas Navet, 2005, IEEE Transactions on Vehicular Technology.

Development of an in-vehicle middleware

Nicolas Navet, Françoise Simonot-Lion, Ricardo Santos Marques, 2006 .

Special issue of Journal of Embedded Computing: best papers of RTS'2005

Nicolas Navet, 2005 .