Conferences in DBLP
Patrick Cousot Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna Scalable Analysis of Linear Systems Using Mathematical Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Feret The Arithmetic-Geometric Progression Abstract Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Matthieu Martel An Overview of Semantics for the Validation of Numerical Programs. [Citation Graph (0, 0)][DBLP ] Conf ] C. A. R. Hoare The Verifying Compiler, a Grand Challenge for Computing Research. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Müller-Olm , Oliver Rüthing , Helmut Seidl Checking Herbrand Equalities and Beyond. [Citation Graph (0, 0)][DBLP ] Conf ] Julien Bertrane Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron R. Bradley , Zohar Manna , Henny B. Sipma Termination of Polynomial Programs. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Amir Pnueli Abstraction for Liveness. [Citation Graph (0, 0)][DBLP ] Conf ] Bor-Yuh Evan Chang , K. Rustan M. Leino Abstract Interpretation with Alien Expressions and Heap Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Ittai Balaban , Amir Pnueli , Lenore D. Zuck Shape Analysis by Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Roman Manevich , Eran Yahav , Ganesan Ramalingam , Shmuel Sagiv Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandru Salcianu , Martin C. Rinard Purity and Side Effect Analysis for Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis Dams , Kedar S. Namjoshi Automata as Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Grumberg , Martin Lange , Martin Leucker , Sharon Shoham Don't Know in the µ-Calculus.Citation Graph (0, 0)][DBLP ] Conf ] A. Prasad Sistla , Min Zhou , Xiaodong Wang Model Checking of Systems Employing Commutative Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Lange Weak Automata for the Linear Time µ-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Bozzelli Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties. [Citation Graph (0, 0)][DBLP ] Conf ] ShengYu Shen , Ying Qin , Sikun Li Minimizing Counterexample with Unit Core Extraction and Incremental SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Shahid Jabbar , Stefan Edelkamp I/O Efficient Directed Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Hymans Verification of an Error Correcting Code by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Samir Genaim , Fausto Spoto Information Flow Analysis for Java Bytecode. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Goubault-Larrecq , Fabrice Parrennes Cryptographic Protocol Analysis on Real C Code. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Erika Ábrahám , Bernd Becker , Felix Klaedtke , Martin Steffen Optimizing Bounded Model Checking for Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen F. Siegel Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Lam , Viktor Kuncak , Martin C. Rinard Generalized Typestate Checking for Data Structure Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Nirman Kumar , Viraj Kumar , Mahesh Viswanathan On the Complexity of Error Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Paul C. Attie , Hana Chockler Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 