Michael I. Schwartzbach

Sensors Applications Symposium · 2000–2009

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

Who trusts Michael I. Schwartzbach overall

  1. Darko Marinov
  2. Chandrasekhar Boyapati
  3. Sarfraz Khurshid
  4. Gary Wassermann
  5. Josh Berdine
  6. William G. J. Halfond
  7. Yichen Xie

Papers from Michael I. Schwartzbach's perspective

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

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  3. Introduction to Automata Theory, Languages and Computation
  4. A Generalisation, a Simplification and some Applications of Paillier’s Probabilistic Public-Key System
  5. Introduction to algorithms
  6. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. The SLAM project: debugging system software via static analysis
  9. Automatic discovery of linear restraints among variables of a program
  10. Abstract Interpretation Frameworks

Their papers