dblp.uni-trier.dewww.uni-trier.de

Guillaume P. Brat

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
9EEAaron Tomb, Guillaume P. Brat, Willem Visser: Variably interprocedural program analysis for runtime error detection. ISSTA 2007: 97-107
2004
8EEArnaud Venet, Guillaume P. Brat: Precise and efficient static array bound checking for large embedded C programs. PLDI 2004: 231-242
7EEGuillaume 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
6EEWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
2001
5EEGuillaume P. Brat, Willem Visser: Combining Static Analysis and Model Checking for Software Analysis. ASE 2001: 262-
4EEJon 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
3EEWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
1998
2EEGuillaume P. Brat, Vijay K. Garg: Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. IEEE Real-Time Systems Symposium 1998: 210-219
1994
1EEMark 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)