Guillaume Brau

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 4

Top Topics

Statistical Analyses

Real Time Embedded Systems

Description Languages

Top Venues

Sci. Comput. Program.

Publications

Guillaume Brau, Eric Jenn, Silvana Radu
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. IMBSA (2022)
Guillaume Brau, Mohammed Foughali
Contract-based verification of model transformations: a formally founded approach. SAC (2021)
Guillaume Brau, Jérôme Hugues, Nicolas Navet
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. Sci. Comput. Program. 156 (2018)
Guillaume Brau, Nicolas Navet, Jérôme Hugues
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. RTNS (2017)
Guillaume Brau, Jérôme Hugues, Nicolas Navet
A Contract-Based Approach to Support Goal-Driven Analysis. ISORC (2015)
Jérôme Hugues, Guillaume Brau
Analysis as a First-Class Citizen: An Application to Architecture Description Languages. ISORC (2014)