Sagar Chaki

25th International Conference on Software Engineering, 2003. Proceedings. · 2003–2016

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

Whom Sagar Chaki trusts overall

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

  1. Thomas Ball
  2. J. Magee
  3. Thomas A. Henzinger
  4. Sriram K. Rajamani
  5. Edmund M. Clarke
  6. Matthew W. Moskewicz
  7. J. Kramer
  8. Michael Goldsmith
  9. Ranjit Jhala
  10. Rupak Majumdar

Who trusts Sagar Chaki overall

  1. Kenneth L. McMillan
  2. Andreas Podelski
  3. Shaz Qadeer
  4. Mohamed Nassim Seghir
  5. Vijay Victor D'Silva
  6. Hakjoo Oh
  7. Daniel Kroening
  8. Dirk Beyer
  9. Edmund M. Clarke
  10. Thomas Ball

Papers from Sagar Chaki's perspective

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

  1. Automatically validating temporal safety properties of interfaces (SPIN)
  2. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  3. Lazy abstraction
  4. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  5. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. An axiomatic basis for computer programming
  7. seL4: formal verification of an OS kernel
  8. Modelling and analysis of security protocols
  9. Concurrency - state models and Java programs
  10. Communicating and Mobile Systems: the π-calculus,

Their papers