Mohamed Nassim Seghir

Computational Theory and Mathematics · 2007

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

Subfields

Whom Mohamed Nassim Seghir trusts overall

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

  1. Thomas Ball
  2. Thomas A. Henzinger
  3. Sagar Chaki
  4. Sriram K. Rajamani
  5. Ranjit Jhala
  6. Edmund M. Clarke
  7. Rupak Majumdar

Papers from Mohamed Nassim Seghir's perspective

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

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

Their papers