Conferences in DBLP
Patrick Cousot Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:1-24 [Conf ] Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna Scalable Analysis of Linear Systems Using Mathematical Programming. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:25-41 [Conf ] Jérôme Feret The Arithmetic-Geometric Progression Abstract Domain. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:42-58 [Conf ] Matthieu Martel An Overview of Semantics for the Validation of Numerical Programs. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:59-77 [Conf ] C. A. R. Hoare The Verifying Compiler, a Grand Challenge for Computing Research. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:78-78 [Conf ] Markus Müller-Olm , Oliver Rüthing , Helmut Seidl Checking Herbrand Equalities and Beyond. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:79-96 [Conf ] Julien Bertrane Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:97-112 [Conf ] Aaron R. Bradley , Zohar Manna , Henny B. Sipma Termination of Polynomial Programs. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:113-129 [Conf ] Sebastian Burckhardt , Rajeev Alur , Milo M. K. Martin Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:130-145 [Conf ] Amir Pnueli Abstraction for Liveness. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:146-146 [Conf ] Bor-Yuh Evan Chang , K. Rustan M. Leino Abstract Interpretation with Alien Expressions and Heap Structures. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:147-163 [Conf ] Ittai Balaban , Amir Pnueli , Lenore D. Zuck Shape Analysis by Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:164-180 [Conf ] Roman Manevich , Eran Yahav , Ganesan Ramalingam , Shmuel Sagiv Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:181-198 [Conf ] Alexandru Salcianu , Martin C. Rinard Purity and Side Effect Analysis for Java Programs. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:199-215 [Conf ] Dennis Dams , Kedar S. Namjoshi Automata as Abstractions. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:216-232 [Conf ] Orna Grumberg , Martin Lange , Martin Leucker , Sharon Shoham Don't Know in the µ-Calculus. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:233-249 [Conf ] A. Prasad Sistla , Min Zhou , Xiaodong Wang Model Checking of Systems Employing Commutative Functions. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:250-266 [Conf ] Martin Lange Weak Automata for the Linear Time µ-Calculus. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:267-281 [Conf ] Laura Bozzelli Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:282-297 [Conf ] ShengYu Shen , Ying Qin , Sikun Li Minimizing Counterexample with Unit Core Extraction and Incremental SAT. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:298-312 [Conf ] Shahid Jabbar , Stefan Edelkamp I/O Efficient Directed Model Checking. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:313-329 [Conf ] Charles Hymans Verification of an Error Correcting Code by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:330-345 [Conf ] Samir Genaim , Fausto Spoto Information Flow Analysis for Java Bytecode. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:346-362 [Conf ] Jean Goubault-Larrecq , Fabrice Parrennes Cryptographic Protocol Analysis on Real C Code. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:363-379 [Conf ] Timo Latvala , Armin Biere , Keijo Heljanko , Tommi A. Junttila Simple Is Better: Efficient Bounded Model Checking for Past LTL. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:380-395 [Conf ] Erika Ábrahám , Bernd Becker , Felix Klaedtke , Martin Steffen Optimizing Bounded Model Checking for Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:396-412 [Conf ] Stephen F. Siegel Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:413-429 [Conf ] Patrick Lam , Viktor Kuncak , Martin C. Rinard Generalized Typestate Checking for Data Structure Consistency. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:430-447 [Conf ] Nirman Kumar , Viraj Kumar , Mahesh Viswanathan On the Complexity of Error Explanation. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:448-464 [Conf ] Paul C. Attie , Hana Chockler Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:465-481 [Conf ]