The SCEAS System
Navigation Menu

Search the dblp DataBase


Guillaume P. Brat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guillaume P. Brat, Willem Visser
    Combining Static Analysis and Model Checking for Software Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:262-0 [Conf]
  2. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:3-12 [Conf]
  3. Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
    Amphion/NAV: Deductive Synthesis of State Estimation Software. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:395-399 [Conf]
  4. Arnaud Venet, Guillaume P. Brat
    Precise and efficient static array bound checking for large embedded C programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:231-242 [Conf]
  5. Guillaume P. Brat, Vijay K. Garg
    Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:210-219 [Conf]
  6. Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson
    Transparent Fault Tolerance for Distributed Ada Applications. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1994, pp:446-457 [Conf]
  7. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2003, v:10, n:2, pp:203-232 [Journal]
  8. Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
    Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
  9. Aaron Tomb, Guillaume P. Brat, Willem Visser
    Variably interprocedural program analysis for runtime error detection. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:97-107 [Conf]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002