Guillaume P. Brat

	2007
9		Aaron Tomb, Guillaume P. Brat, Willem Visser: Variably interprocedural program analysis for runtime error detection. ISSTA 2007: 97-107
	2004
8		Arnaud Venet, Guillaume P. Brat: Precise and efficient static array bound checking for large embedded C programs. PLDI 2004: 231-242
7		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		Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
	2001
5		Guillaume P. Brat, Willem Visser: Combining Static Analysis and Model Checking for Software Analysis. ASE 2001: 262-
4		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		Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
	1998
2		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		Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson: Transparent Fault Tolerance for Distributed Ada Applications. TRI-Ada 1994: 446-457

Coauthor Index

1	Jeffrey Van Baalen	[4]
2	Mark A. Breland	[1]
3	Doron Drusinsky	[7]
4	Vijay K. Garg	[2]
5	Dimitra Giannakopoulou	[7]
6	Allen Goldberg	[7]
7	Klaus Havelund	[3] [6] [7]
8	Flavio Lerda	[6]
9	Michael R. Lowry	[4] [7]
10	Kenneth L. Nelson	[1]
11	Phil Oh	[4]
12	Seungjoon Park	[3] [6]
13	Corina S. Pasareanu	[7]
14	John Penix	[4]
15	Thomas Pressburger	[4]
16	Peter Robinson	[4]
17	Steven A. Rogers	[1]
18	Johann Schumann	[4]
19	Aaron Tomb	[9]
20	Arnaud Venet	[7] [8]
21	Willem Visser	[3] [5] [6] [7] [9]
22	Richard Washington	[7]
23	Jon Whittle (Jonathan Whittle)	[4]

Colors in the list of coauthors