BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brat:Guillaume_P=

Contributed to:

ISSTA 20072007
PLDI 20042004
ASE 20012001
ASE 20002000
TRI-Ada 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.