Travelled to:1 × United Kingdom
3 × USA
Collaborated with:W.Visser A.Venet A.Tomb K.Havelund S.Park M.A.Breland S.A.Rogers K.L.Nelson J.Whittle J.V.Baalen J.Schumann P.Robinson T.Pressburger J.Penix P.Oh M.R.Lowry
Talks about:program (3) analysi (3) check (3) softwar (2) static (2) model (2) interprocedur (1) distribut (1) transpar (1) synthesi (1)
Person: Guillaume P. Brat
DBLP: Brat:Guillaume_P=
Contributed to:
2007
2004
20012000
1994Wrote 6 papers:
- ISSTA-2007-TombBV #detection #fault #interprocedural #program analysis #runtime
- Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
- PLDI-2004-VenetB #array #bound #c #embedded #performance #precise #scalability #source code
- Precise and efficient static array bound checking for large embedded C programs (AV, GPB), pp. 231–242.
- ASE-2001-BratV #model checking #static analysis
- Combining Static Analysis and Model Checking for Software Analysis (GPB, WV), p. 262–?.
- ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
- Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
- ASE-2000-VisserHBP #model checking #source code
- Model Checking Programs (WV, KH, GPB, SP), pp. 3–12.
- TRI-Ada-1994-BrelandRBN #ada #distributed #fault tolerance
- Transparent Fault Tolerance for Distributed Ada Applications (MAB, SAR, GPB, KLN), pp. 446–457.