Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Johannes Kinder, Florian Zuleger, Helmut Veith |
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
Query-Driven Program Testing. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook |
Advances in Program Termination and Liveness. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg |
Verification of Register Allocators. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Yoad Lustig |
Multi-valued Logics, Automata, Simulations, and Games. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Isabella Mastroeni |
Deriving Bisimulations by Simplifying Partitions. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo |
A Forward-Backward Abstraction Refinement Algorithm. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Neil D. Jones, René Rydhof Hansen |
CTL as an Intermediate Language. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David A. Schmidt |
Internal and External Logics of Abstract Interpretations. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radhia Cousot |
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Amir Pnueli, Yaniv Sa'ar |
All You Need Is Compassion. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Saqib Sohail, Fabio Somenzi, Kavita Ravi |
A Hybrid Algorithm for LTL Games. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
Runtime Checking for Separation Logic. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Rajeev Joshi |
Extending Model Checking with Dynamic Analysis. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening |
Approximation Refinement for Interpolation-Based Model Checking. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mario Méndez-Lojo, Manuel V. Hermenegildo |
Precise Set Sharing Analysis for Java-Style Programs. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Morgenstern, Klaus Schneider 0001 |
From LTL to Symbolically Represented Deterministic Automata. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.) |
Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Pistoia |
Program Analysis and Programming Languages for Security. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine |
Abstract Interpretation of Cellular Signalling Networks. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bouissou, Matthieu Martel |
Abstract Interpretation of the Physical Inputs of Embedded Programs. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Andreas Podelski |
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla, Abhigna R. Srinivas |
Monitoring Temporal Properties of Stochastic Systems. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
Handling Parameterized Systems with Non-atomic Global Conditions. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac, Viktor Kuncak |
Decision Procedures for Multisets with Cardinality Constraints. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Goldberg |
On Bridging Simulation and Formal Verification. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Michael Huth 0001 |
Model Checking for Action Abstraction. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev |
Diagnostic Information for Realizability. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Moy |
Sufficient Preconditions for Modular Assertion Checking. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani, Ashish Tiwari 0001 |
Assertion Checking Unified. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Z. Revesz |
The Constraint Database Approach to Software Verification. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Emmi, Rupak Majumdar |
Verifying Compensating Transactions. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephen F. Siegel |
Model Checking Nonblocking MPI Programs. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sigmund Cherem, Radu Rugina |
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Björn Wachter, Bernd Westphal |
The Spotlight Principle. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hongseok Yang |
Towards Shape Analysis for Device Drivers. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps |
Constructing Specialized Shape Analyses for Uniform Change. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Yoad Lustig |
Lattice Automata. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Andreas Podelski (eds.) |
Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard |
Using First-Order Theorem Provers in the Jahob Data Structure Verification System. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Felix Klaedtke, Stefan Ratschan, Zhikun She |
Language-Based Abstraction Refinement for Hybrid System Verification. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Orna Kupferman |
Better Under-Approximation of Programs by Hiding Variables. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Might, Benjamin Chambers, Olin Shivers |
Model Checking Via GammaCFA. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages |
1 | Andrey Rybalchenko, Viorica Sofronie-Stokkermans |
Constraint Solving for Interpolation. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gogul Balakrishnan, Thomas W. Reps |
DIVINE: DIscovering Variables IN Executables. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Péron, Nicolas Halbwachs |
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
difference-bound matrices, disequalities, static analysis, alias analysis, abstract domains |
1 | Kenneth L. McMillan |
Interpolants and Symbolic Model Checking. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo |
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Invariant Synthesis for Combined Theories. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Radu Iosif |
On Flat Programs with Lists. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Shape Analysis of Single-Parent Heaps. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi |
Symmetry and Completeness in the Analysis of Parameterized Systems. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu |
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Michael Huth 0001 |
More Precise Partition Abstractions. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin |
Automated Verification of Shape and Size Properties Via Separation Logic. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | P. Madhusudan |
Learning Algorithms and Formal Verification (Invited Tutorial). |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Automata-Theoretic Model Checking Revisited. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Naghmeh Ghafari, Richard J. Trefler |
Piecewise FIFO Channels Are Analyzable. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli |
Complexity Results on Branching-Time Pushdown Model Checking. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nir Piterman, Amir Pnueli, Yaniv Sa'ar |
Synthesis of Reactive(1) Designs. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Kohei Suenaga, Lucian Wischik |
Resource Usage Analysis for the pi-Calculus. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ittai Balaban, Ariel Cohen 0002, Amir Pnueli |
Ranking Abstraction of Recursive Programs. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001 |
Totally Clairvoyant Scheduling with Relative Timing Constraints. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
Environment Abstraction for Parameterized Verification. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Salvatore La Torre, Adriano Peron |
Verification of Well-Formed Communicating Recursive State Machines. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Shahid Jabbar, Stefan Edelkamp |
Parallel External Directed Model Checking with Linear I/O. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Håkan L. S. Younes |
Error Control for Probabilistic Model Checking. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato, Francesco Tapparo |
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wies, Viktor Kuncak, Patrick Lam 0001, Andreas Podelski, Martin C. Rinard |
Field Constraint Analysis. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Systematic Construction of Abstractions for Model-Checking. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo, Agostino Cortesi |
Semantic Hierarchy Refactoring by Abstract Interpretation. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham |
Combining Shape Analyses by Intersecting Abstractions. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | E. Allen Emerson, Kedar S. Namjoshi (eds.) |
Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jesse D. Bingham, Zvonimir Rakamaric |
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné |
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gang Tan, Andrew W. Appel |
A Compositional Logic for Control Flow. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
A CLP Method for Compositional and Intermittent Predicate Abstraction. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
What's Decidable About Arrays? |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schachte, Harald Søndergaard |
Closure Operators for ROBDDs. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla, Min Zhou, Lenore D. Zuck |
Monitoring Off-the-Shelf Components. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula |
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Rossignoli, Fausto Spoto |
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Katia Hristova, Yanhong A. Liu |
Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Michael Colón, Henny B. Sipma, Zohar Manna |
Efficient Strongly Relational Polyhedral Analysis. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
Relative Safety. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret |
The Arithmetic-Geometric Progression Abstract Domain. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
numerical domains, static analysis, Abstract Interpretation |
1 | Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv |
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Radhia Cousot (eds.) |
Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Charles Hymans |
Verification of an Error Correcting Code by Abstract Interpretation. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bor-Yuh Evan Chang, K. Rustan M. Leino |
Abstract Interpretation with Alien Expressions and Heap Structures. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
Termination of Polynomial Programs. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla, Min Zhou, Xiaodong Wang |
Model Checking of Systems Employing Commutative Functions. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna |
Scalable Analysis of Linear Systems Using Mathematical Programming. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Shape Analysis by Predicate Abstraction. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Dams, Kedar S. Namjoshi |
Automata as Abstractions. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | ShengYu Shen, Ying Qin, Sikun Li |
Minimizing Counterexample with Unit Core Extraction and Incremental SAT. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Amir Pnueli |
Abstraction for Liveness. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli |
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|