Jérôme Feret

Computational Theory and Mathematics · 2003–2007

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

Subfields

Whom Jérôme Feret trusts overall

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

  1. Robin Milner
  2. Birgit Schoeberl

Who trusts Jérôme Feret overall

  1. Nicolas Le Novère

Papers from Jérôme Feret's perspective

Ordered by how strongly the researchers Jérôme Feret trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. The SLAM project: debugging system software via static analysis
  3. Lazy abstraction
  4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  5. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Abstract Interpretation Frameworks
  7. Automatic discovery of linear restraints among variables of a program
  8. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Reliable and Precise WCET Determination for a Real-Life Processor (International Conference on Embedded Software)
  10. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)

Their papers