Guillaume P. Brat

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering · 2000–2018

A researcher in the Science corpus: 2 papers; trusts 0 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Who trusts Guillaume P. Brat overall

  1. Patrice Godefroid
  2. Greg Nelson
  3. Dawson R. Engler
  4. Klaus Havelund
  5. Sarfraz Khurshid
  6. Willem Visser

Papers from Guillaume P. Brat's perspective

Ordered by how strongly the researchers Guillaume P. Brat trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Abstract Interpretation Frameworks
  2. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  3. The Temporal Rover and the ATG Rover (SPIN)
  4. The SLAM project: debugging system software via static analysis
  5. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  8. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  9. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  10. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers