Joseph Sifakis

Computational Theory and Mathematics · 2006–2011

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

Subfields

Whom Joseph Sifakis trusts overall

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

  1. T. Hoare

Who trusts Joseph Sifakis overall

  1. Alexander Pretschner

Papers from Joseph Sifakis's perspective

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

  1. Metropolis: An Integrated Electronic System Design Environment (Computer)
  2. The unified modeling language reference manual
  3. The verifying compiler: A grand challenge for computing research (JACM)
  4. The Embedded Systems Design Challenge (World Congress on Formal Methods)
  5. Automatically validating temporal safety properties of interfaces (SPIN)
  6. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  7. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. The SLAM project: debugging system software via static analysis
  9. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  10. Lazy abstraction

Their papers