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