Search results for "VMCAI"

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

Publications at "VMCAI"( http://dblp.L3S.de/Venues/VMCAI )