Transparent Fault Tolerance for Distributed Ada Applications. - Mark A. Breland; Steven A. Rogers; Guillaume P. Brat; Kenneth L. Nelson (TRI-Ada, 1994)

Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. - Guillaume P. Brat; Vijay K. Garg (RTSS, 1998)

Model Checking Programs. - Willem Visser; Klaus Havelund; Guillaume P. Brat; Seungjoon Park (ASE, 2000)

Combining Static Analysis and Model Checking for Software Analysis. - Guillaume P. Brat; Willem Visser (ASE, 2001)

Amphion/NAV: Deductive Synthesis of State Estimation Software. - Jon Whittle 001; Jeffrey Van Baalen; Johann Schumann; Peter Robinson 004; Thomas Pressburger; John Penix; Phil Oh; Michael R. Lowry; Guillaume P. Brat (ASE, 2001)

Model Checking Programs. - Willem Visser; Klaus Havelund; Guillaume P. Brat; Seungjoon Park; Flavio Lerda (Autom. Softw. Eng., 2003)

Precise and efficient static array bound checking for large embedded C programs. - Arnaud Venet; Guillaume P. Brat (PLDI, 2004)

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. - Guillaume P. Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Arnaud Venet; Willem Visser; Richard Washington (Formal Methods Syst. Des., 2004)

Challenges in verification and validation of autonomous systems for space exploration. - Guillaume Brat; Ari K. Jónsson (IJCNN, 2005)

Variably interprocedural program analysis for runtime error detection. - Aaron Tomb; Guillaume P. Brat; Willem Visser (ISSTA, 2007)

Testing Planning Domains (without Model Checkers). - Franco Raimondi; Charles Pecheur; Guillaume Brat (MBT, 2007)

A formal analysis of requirements-based testing. - Charles Pecheur; Franco Raimondi; Guillaume Brat (ISSTA, 2009)

Software Model Checking of ARINC-653 Flight Code with MCP. - Sarah Thompson; Guillaume P. Brat; Arnaud Venet (NASA Formal Methods, 2010)

Aviation safety: modeling and analyzing complex interactions between humans and automated systems. - Neha Rungta; Guillaume Brat; William J. Clancey; Charlotte Linde; Franco Raimondi; Chin Seah; Michael G. Shafto (ATACCS, 2013)

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog. - Guillaume Brat; Célia Martinie; Philippe A. Palanque (HCI (1), 2013)

Compositional verification using formal analysis for a flight critical system. - Guillaume Brat (ITC, 2014)

IKOS: A Framework for Static Analysis Based on Abstract Interpretation. - Guillaume Brat; Jorge A. Navas; Nija Shi; Arnaud Venet (SEFM, 2014)

Verifying the Safety of a Flight-Critical System. - Guillaume Brat; David H. Bushnell; Misty D. Davies; Dimitra Giannakopoulou; Falk Howar; Temesghen Kahsai (FM, 2015)

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. - Hoda Mehrpouyan; Dimitra Giannakopoulou; Guillaume Brat; Irem Y. Tumer; Chris Hoyle (Syst. Eng., 2016)

Formal Analysis of Multiple Coordinated HMI Systems. - Guillaume Brat; Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur; Franco Raimondi; Neha Rungta (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Integrating Formal Verification and Assurance: An Inspection Rover Case Study. - Hamza Bourbouh; Marie Farrell; Anastasia Mavridou; Irfan Sljivo; Guillaume Brat; Louise A. Dennis; Michael Fisher 001 (NFM, 2021)