OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Brau, Guillaume"

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

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).

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).

Hugues, Jérôme and Brau, Guillaume. Analysis as first-class citizens – an application to Architecture Description Languages. (2014) In: 17th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2014), 8 June 2014 - 12 June 2014 (Reno, United States).

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).

Other Conference

Brau, Guillaume and Garion, Christophe and Hugues, Jérôme. Towards the qualification of an AADL model transformation tool with contracts. (2019) In: Formalisation des Activités Concurrentes 2019 (FAC 2019), 27 March 2019 - 28 March 2019 (Toulouse, France). (Unpublished)

This list was generated on Tue Aug 11 09:59:13 2020 CEST.