Guillaume P. Brat - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2010

Software Model Checking of ARINC-653 Flight Code with MCPSarah Thompson, Guillaume P. Brat, Arnaud Venet. NFM 2010: 171-181

2007

Variably interprocedural program analysis for runtime error detectionAaron Tomb, Guillaume P. Brat, Willem Visser. ISSTA 2007: 97-107 [doi]

2004

Experimental Evaluation of Verification and Validation Tools on Martian Rover SoftwareGuillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington. fmsd, 25(2-3):167-198, 2004. [doi]

Precise and efficient static array bound checking for large embedded C programsArnaud Venet, Guillaume P. Brat. PLDI 2004: 231-242 [doi]

2003

Model Checking ProgramsWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda. ASE, 10(2):203-232, 2003. [doi]

2001

Combining Static Analysis and Model Checking for Software AnalysisGuillaume P. Brat, Willem Visser. ASE 2001: 262 [doi]

Amphion/NAV: Deductive Synthesis of State Estimation SoftwareJon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat. ASE 2001: 395-399 [doi]

2000

Model Checking ProgramsWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park. ASE 2000: 3-12 [doi]

1998

Analyzing Non-Deterministic Real-Time Systems with (max, +) AlgebraGuillaume P. Brat, Vijay K. Garg. rtss 1998: 210-219 [doi]

1994

Transparent Fault Tolerance for Distributed Ada ApplicationsMark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson. sigada 1994: 446-457 [doi]

Sign in or sign up to see more results.

runs on WebDSL