Frank Ghenassia

2005–2010

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

Whom Frank Ghenassia trusts overall

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

  1. Edmund M. Clarke
  2. Daniel Kroening
  3. Flavio Lerda

Who trusts Frank Ghenassia overall

  1. Hubert Garavel
  2. Alberto L. Sangiovanni-Vincentelli
  3. Frédéric Lang
  4. Jason Cong
  5. Radu Mateescu
  6. Wendelin Serwe

Papers from Frank Ghenassia's perspective

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

  1. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  2. Behavioral consistency of C and Verilog programs using bounded model checking
  3. Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
  4. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  5. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  6. Computer Architecture: A Quantitative Approach
  7. Lazy abstraction
  8. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  9. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  10. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)

Their papers