Claude Marché

Artificial Intelligence · 2007–2011

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

Subfields

Whom Claude Marché trusts overall

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

  1. Jean-Christophe Filliâtre
  2. Lilian Burdy

Who trusts Claude Marché overall

  1. Jean-Christophe Filliâtre
  2. François Bobot
  3. Patrick Baudin

Papers from Claude Marché's perspective

Ordered by how strongly the researchers Claude Marché 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. seL4: Formal Verification of an OS Kernel
  7. Preliminary design of JML: a behavioral interface specification language for java (SOEN)
  8. Boogie: A Modular Reusable Verifier for Object-Oriented Programs (Formal Methods for Components and Objects)
  9. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  10. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers