Guillaume Brat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2005–2015
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FM | Verifying the Safety of a Flight-Critical System. | Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai |
| 2014 | ITC | Compositional verification using formal analysis for a flight critical system. | Guillaume Brat |
| 2014 | SEFM | IKOS: A Framework for Static Analysis Based on Abstract Interpretation. | Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet |
| 2013 | HCI | V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog. | Guillaume Brat, Clia Martinie, Philippe A. Palanque |
| 2009 | ISSTA | A formal analysis of requirements-based testing. | Charles Pecheur, Franco Raimondi, Guillaume Brat |
| 2005 | IJCNN | Challenges in verification and validation of autonomous systems for space exploration. | Guillaume Brat, Ari K. Jnsson |