OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Navet, Nicolas"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas. Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. (2018) Science of Computer Programming, 156. 1-20. ISSN 01676423

Conference or Workshop Item

Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme. Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. (2017) In: 25th International Conference on Real-Time Networks and Systems (RTNS ’17), 4 October 2017 - 6 October 2017 (Grenoble, France).

Boyer, Marc and Daigmorte, Hugo and Navet, Nicolas and Migge, Jörn. Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet. (2016) In: 8th European Congress on Embedded Real Time Software and Systems, 31 January 2016 - 2 February 2016 (Toulouse, France).

Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas. A contract-based approach to support goal-driven analysis. (2015) In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 13 April 2015 - 17 April 2015 (Auckland, New Zealand).

Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme. Refinement of AADL models using early-stage analysis methods. (2013) In: The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop , 3 December 2013 - 3 December 2013 (Vancouver, Canada).

This list was generated on Mon Dec 9 01:19:43 2019 CET.