BibSonomy :: author  :: Podelski ::

bookmarks

publications

(208)

• Heap Assumptions on Demand.
  Andreas Podelski and Andrey Rybalchenko and Thomas Wies CAV 314-327 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Faster Than Uppaal?
  Sebastian Kupferschmid and Martin Wehrle and Bernhard Nebel and Andreas Podelski CAV 552-555 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• 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