Concepedia

Guillaume Brat

GB

26

Publications

2.4K

Citations

16

H-Index

2000

Active since

Affiliations

Ames Research Center(Current)

Research Institute for Advanced Computer Science

Carnegie Mellon University

Kestrel Technology (United States)

University of California, Santa Cruz

Guillaume Brat is an author at Ames Research Center specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal VerificationSoftware EngineeringFormal MethodsProgram AnalysisSoftware AnalysisVerificationSoftware Testing

Publications per year

2000–2023

26

Publications

26

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.3K citations

Model checking programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · 2000 · 337 citations

Program Checking, Engineering, Verification +17

Precise and efficient static array bound checking for large embedded C programs

Arnaud Venet, Guillaume Brat · 2004 · 120 citations

Program Checking, Engineering, Compiler Technology +22

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou et al. · Formal Methods in System Design · 2004 · 85 citations

Engineering, Experimental Evaluation, Calibration +15

Variably interprocedural program analysis for runtime error detection

Aaron Tomb, Guillaume Brat, Willem Visser · 2007 · 58 citations

Runtime Error Detection, Engineering, Verification +19

Rows per page

1–5 of 26