Guillaume Brat

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 2

Top Topics

Fuel Consumption

Formal Verification

Top Venues

Publications

Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM (2021)
Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle
Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. Syst. Eng. 19 (6) (2016)
Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System. CoRR (2015)
Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System. FM (2015)
Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet
IKOS: A Framework for Static Analysis Based on Abstract Interpretation. SEFM (2014)
Guillaume Brat
Compositional verification using formal analysis for a flight critical system. ITC (2014)
Neha Rungta, Guillaume Brat, William J. Clancey, Charlotte Linde, Franco Raimondi, Chin Seah, Michael G. Shafto
Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS (2013)
Guillaume Brat, Célia Martinie, Philippe A. Palanque
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog. HCI (1) (2013)
Charles Pecheur, Franco Raimondi, Guillaume Brat
A formal analysis of requirements-based testing. ISSTA (2009)
Franco Raimondi, Charles Pecheur, Guillaume Brat
Testing Planning Domains (without Model Checkers). Electron. Notes Theor. Comput. Sci. 190 (2) (2007)