Publications of Grégoire Sutre with R. Majumdar

Conference articles

  1. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software Verification with BLAST. In Proc. 10th Int. SPIN Workshop (SPIN'2003), Portland, OR, USA, May 2003, volume 2648 of Lecture Notes in Computer Science, pages 235-239. Springer, 2003. Note: Tool paper. [ps] [doi] [bib]
  2. T. A. Henzinger, R. Jhala, R. Majumdar, G. C. Necula, G. Sutre, and W. Weimer. Temporal-Safety Proofs for Systems Code. In Proc. 14th Int. Conf. Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002, volume 2404 of Lecture Notes in Computer Science, pages 526-538. Springer, 2002. [ps] [doi] [bib]
  3. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy Abstraction. In Proc. 29th ACM Symp. Principles of Programming Languages (POPL'2002), Portland, OR, USA, Jan. 2002, pages 58-70. ACM Press, 2002. [ps] [doi] [bib]

This document was translated from BibTEX by bibtex2html