Guillaume P. Brat

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

Publications

Sarah Thompson, Guillaume P. Brat, Arnaud Venet
Software Model Checking of ARINC-653 Flight Code with MCP. NASA Formal Methods (2010)
Aaron Tomb, Guillaume P. Brat, Willem Visser
Variably interprocedural program analysis for runtime error detection. ISSTA (2007)
Arnaud Venet, Guillaume P. Brat
Precise and efficient static array bound checking for large embedded C programs. PLDI (2004)
Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. 25 (2-3) (2004)
Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
Model Checking Programs. Autom. Softw. Eng. 10 (2) (2003)
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE (2001)
Guillaume P. Brat, Willem Visser
Combining Static Analysis and Model Checking for Software Analysis. ASE (2001)
Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
Model Checking Programs. ASE (2000)
Guillaume P. Brat, Vijay K. Garg
Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. RTSS (1998)
Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson
Transparent Fault Tolerance for Distributed Ada Applications. TRI-Ada (1994)