Guillaume Brau

According to our database, Guillaume Brau authored at least 7 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability.

Guillaume Brau, Eric Jenn, Silvana Radu

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2021

Contract-based verification of model transformations: a formally founded approach.

Guillaume Brau, Mohammed Foughali

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2018

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

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

Sci. Comput. Program., 2018

2017

Integration of the analysis of non-functional properties in Model-Driven Engineering for embedded systems ; Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués.

Guillaume Brau

PhD thesis, 2017

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

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

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

2015

A Contract-Based Approach to Support Goal-Driven Analysis.

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

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

2014

Analysis as a First-Class Citizen: An Application to Architecture Description Languages.

Jérôme Hugues, Guillaume Brau

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014