François Bobot

Artificial Intelligence · 2011

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

Subfields

Whom François Bobot trusts overall

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

  1. Jean-Christophe Filliâtre
  2. Mike Barnett
  3. Claude Marché
  4. Gerwin Klein
  5. K. Rustan
  6. David R. Cok

Who trusts François Bobot overall

  1. Jean-Christophe Filliâtre
  2. A. Paskevich

Papers from François Bobot's perspective

Ordered by how strongly the researchers François Bobot trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  2. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  3. The SMT-LIB Standard Version 2.0
  4. ESC/Java2: Uniting ESC/Java and JML (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  5. Dafny: An Automatic Program Verifier for Functional Correctness (Logic Programming and Automated Reasoning)
  6. Boogie: A Modular Reusable Verifier for Object-Oriented Programs (Formal Methods for Components and Objects)
  7. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  8. seL4: Formal Verification of an OS Kernel
  9. The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (International Conference on Computer Aided Verification)
  10. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)

Their papers