Ahmed Bouajjani

International Conference on Computer Aided Verification · 2004

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

Whom Ahmed Bouajjani trusts overall

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

  1. Thomas Ball
  2. Thomas A. Henzinger
  3. Sriram K. Rajamani
  4. Ranjit Jhala
  5. Rupak Majumdar

Papers from Ahmed Bouajjani's perspective

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

  1. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  2. Lazy abstraction
  3. Software Verification with BLAST (SPIN)
  4. The SLAM Toolkit (International Conference on Computer Aided Verification)
  5. Automatically validating temporal safety properties of interfaces (SPIN)
  6. Simplify: a theorem prover for program checking (JACM)
  7. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. The SLAM project: debugging system software via static analysis
  10. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers