Analysis as a First-Class Citizen: An Application to Architecture Description Languages. - Jérôme Hugues; Guillaume Brau (ISORC, 2014)

A Contract-Based Approach to Support Goal-Driven Analysis. - Guillaume Brau; Jérôme Hugues; Nicolas Navet (ISORC, 2015)

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. - Guillaume Brau; Nicolas Navet; Jérôme Hugues (RTNS, 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 (2017)

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)

Contract-based verification of model transformations: a formally founded approach. - Guillaume Brau; Mohammed Foughali (SAC, 2021)

A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. - Guillaume Brau; Eric Jenn; Silvana Radu (IMBSA, 2022)