Patrick Baudin

2008–2012

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

Whom Patrick Baudin trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Jean-Christophe Filliâtre
  2. Gary T. Leavens
  3. Claude Marché
  4. Albert L. Baker

Papers from Patrick Baudin's perspective

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

  1. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  2. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. The C++ programming language (2nd ed.)
  4. The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (International Conference on Computer Aided Verification)
  5. Preliminary design of JML: a behavioral interface specification language for java (SOEN)
  6. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  7. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  8. The ASTREÉ Analyzer
  9. An axiomatic basis for computer programming
  10. Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)

Their papers