Guillaume Brau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2021
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SAC | Contract-based verification of model transformations: a formally founded approach. | Guillaume Brau, Mohammed Foughali |
| 2017 | RTNS | Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. | Guillaume Brau, Nicolas Navet, Jrme Hugues |
| 2015 | ISORC | A Contract-Based Approach to Support Goal-Driven Analysis. | Guillaume Brau, Jrme Hugues, Nicolas Navet |
| 2014 | ISORC | Analysis as a First-Class Citizen: An Application to Architecture Description Languages. | Jrme Hugues, Guillaume Brau |