Search the dblp DataBase

Publications of Author

1. Guillaume P. Brat, Willem Visser
   Combining Static Analysis and Model Checking for Software Analysis. [Citation Graph (0, 0)][DBLP]
   ASE, 2001, pp:262-0 [Conf]
   
2. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
   Model Checking Programs. [Citation Graph (0, 0)][DBLP]
   ASE, 2000, pp:3-12 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   ASE, 2001, pp:395-399 [Conf]
   
4. Arnaud Venet, Guillaume P. Brat
   Precise and efficient static array bound checking for large embedded C programs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:231-242 [Conf]
   
5. Guillaume P. Brat, Vijay K. Garg
   Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1998, pp:210-219 [Conf]
   
6. Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson
   Transparent Fault Tolerance for Distributed Ada Applications. [Citation Graph (0, 0)][DBLP]
   TRI-Ada, 1994, pp:446-457 [Conf]
   
7. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
   Model Checking Programs. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2003, v:10, n:2, pp:203-232 [Journal]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
   
9. Aaron Tomb, Guillaume P. Brat, Willem Visser
   Variably interprocedural program analysis for runtime error detection. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2007, pp:97-107 [Conf]