BibSonomy :: author  ::

bookmarks

publications

(207)

• Automated Generation of a Progress Measure for the Sweep-Line Method.
  Karsten Schmidt TACAS 192-204 (2004)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
  Rayna Dimitrova and Andreas Podelski VMCAI 98-111 (2008)
  to dblp by dblp on 2008-03-03 00:00:00
  | URL | BibTeX  
• Shape Analysis of Single-Parent Heaps.
  Ittai Balaban and Amir Pnueli and Lenore D. Zuck VMCAI 91-105 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Model Checking Nonblocking MPI Programs.
  Stephen F. Siegel VMCAI 44-58 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• DIVINE: DIscovering Variables IN Executables.
  Gogul Balakrishnan and Thomas W. Reps VMCAI 1-28 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Interpolants and Symbolic Model Checking.
  Kenneth L. McMillan VMCAI 89-90 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Learning Algorithms and Formal Verification (Invited Tutorial).
  P. Madhusudan VMCAI 214 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Automata-Theoretic Model Checking Revisited.
  Moshe Y. Vardi VMCAI 137-150 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Assertion Checking Unified.
  Sumit Gulwani and Ashish Tiwari VMCAI 363-377 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Model Checking Via GammaCFA.
  Matthew Might and Benjamin Chambers and Olin Shivers VMCAI 59-73 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX