Search results for "VMCAI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham	Don't Know in the µ-Calculus.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Patrick Lam 0001, Viktor Kuncak, Martin C. Rinard	Generalized Typestate Checking for Data Structure Consistency.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Martin Lange	Weak Automata for the Linear Time µ-Calculus.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Jean Goubault-Larrecq, Fabrice Parrennes	Cryptographic Protocol Analysis on Real C Code.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Julien Bertrane	Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Shahid Jabbar, Stefan Edelkamp	I/O Efficient Directed Model Checking.	VMCAI	2005	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The Verifying Compiler, a Grand Challenge for Computing Research.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Patrick Cousot	Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Samir Genaim, Fausto Spoto	Information Flow Analysis for Java Bytecode.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Nirman Kumar, Viraj Kumar, Mahesh Viswanathan 0001	On the Complexity of Error Explanation.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Paul C. Attie, Hana Chockler	Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Stephen F. Siegel	Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Alexandru Salcianu, Martin C. Rinard	Purity and Side Effect Analysis for Java Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Matthieu Martel	An Overview of Semantics for the Validation of Numerical Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila	Simple Is Better: Efficient Bounded Model Checking for Past LTL.	VMCAI	2005	DBLP DOI BibTeX RDF	Past LTL, Bounded Model Checking, NuSMV
1	Markus Müller-Olm, Oliver Rüthing, Helmut Seidl	Checking Herbrand Equalities and Beyond.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Bernd Becker 0001, Felix Klaedtke, Martin Steffen	Optimizing Bounded Model Checking for Linear Hybrid Systems.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Widening Operators for Powerset Domains.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Giorgio Levi (eds.)	Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings	VMCAI	2004	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Completeness and Complexity of Bounded Model Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Gordon J. Pace, Gerardo Schneider	Model Checking Polygonal Differential Inclusions Using Invariance Kernels.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Viktor Kuncak, Martin C. Rinard	Boolean Algebra of Shape Analysis Constraints.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Cyrille Artho, Klaus Havelund	Applying Jlint to Space Exploration Software.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Dawson R. Engler, Madanlal Musuvathi	Static Analysis versus Software Model Checking for Bug Finding.	VMCAI	2004	DBLP DOI BibTeX RDF
1	John Hatcliff, Robby, Matthew B. Dwyer	Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Kousha Etessami	Analysis of Recursive Game Graphs Using Data Flow Equations.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Randal E. Bryant	Constructing Quantified Invariants via Predicate Abstraction.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Andreas Podelski, Andrey Rybalchenko	A Complete Method for the Synthesis of Linear Ranking Functions.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Shmuel Sagiv	On the Expressive Power of Canonical Abstraction.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen	Rule-Based Runtime Verification.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Francesco Logozzo	Automatic Inference of Class Invariants.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Dorel Lucanu, Gabriel Ciobanu	Model Checking for Object Specifications in Hidden Algebra.	VMCAI	2004	DBLP DOI BibTeX RDF	hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
1	Thomas W. Reps, Shmuel Sagiv, Greta Yorsh	Symbolic Implementation of the Best Transformer.	VMCAI	2004	DBLP DOI BibTeX RDF
1	David Harel	A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Yu Pei 0001, Qiwen Xu	Checking Interval Based Properties for Reactive Systems.	VMCAI	2004	DBLP DOI BibTeX RDF	finitary property, model checking, reactive system, interval temporal logic
1	Joshua D. Guttman	Security, Protocols, and Trust.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Invisible Ranking.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Songtao Xia, James Hook	Certifying Temporal Properties for Compiled C Programs.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Rahul Agarwal, Scott D. Stoller	Type Inference for Parameterized Race-Free Java.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Gilles Barthe, Amitabh Basu, Tamara Rezk	Security Types Preserving Compilation: (Extended Abstract).	VMCAI	2004	DBLP DOI BibTeX RDF
1	Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet	Approximate Probabilistic Model Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu	Construction of a Semantic Model for a Typed Assembly Language.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Reinhard Wilhelm	Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Vincent Vanackère	History-Dependent Scheduling for Cryptographic Processes.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Damien Massé	Property Checking Driven Abstract Interpretation-Based Static Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
1	Xavier Rival	Abstract Interpretation-Based Certification of Assembly Code.	VMCAI	2003	DBLP DOI BibTeX RDF	compilation, Abstract Interpretation, Static program analysis
1	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
1	Néstor Cataño, Marieke Huisman	CHASE: A Static Checker for JML's Assignable Clause.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Patrick Cousot	Automatic Verification by Abstract Interpretation.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Kazuhiro Ogata 0001, Kokichi Futatsugi	Formal Verification of the Horn-Preneel Micropayment Protocol.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch	Using Simulated Execution in Verifying Distributed Algorithms.	VMCAI	2003	DBLP DOI BibTeX RDF
1	A. Prasad Sistla	Symmetry Reductions in Model-Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
1	B. Meenakshi 0002, Ramaswamy Ramanujam	Reasoning about Layered Message Passing Systems.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Daniel Kroening, Ofer Strichman	Efficient Computation of Recurrence Diameters.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Francesca Levi	Types for Evolving Communication in Safe Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Hardi Hungar	Behavior-Based Model Construction.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Roberta Gori, Giorgio Levi	Properties of a Type Abstract Interpreter.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	Bisimulation and Unwinding for Verifying Possibilistic Security Properties.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)	Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings	VMCAI	2003	DBLP DOI BibTeX RDF
1	Andreas Podelski	Software Model Checking with Abstraction Refinement.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Complexity of Nesting Analysis in Mobile Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF	Complexity, Static Analysis, Ambient Calculus
1	Dennis Dams, Kedar S. Namjoshi	Shape Analysis through Predicate Abstraction and Model Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Farn Wang	Efficient Verification of Timed Automata with BDD-Like Data-Structures.	VMCAI	2003	DBLP DOI BibTeX RDF	model-checking, verification, data-structures, timed automata, BDD
1	Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu	Optimized Live Heap Bound Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Kedar S. Namjoshi	Lifting Temporal Proofs through Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Patrice Godefroid, Radha Jagadeesan	On the Expressiveness of 3-Valued Models.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Amir Pnueli, Lenore D. Zuck	Model-Checking and Abstraction to the Aid of Parameterized Systems.	VMCAI	2003	DBLP DOI BibTeX RDF
1	David Monniaux	Abstraction of Expectation Functions Using Gaussian Distributions.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Aidan Harding, Mark Ryan 0001, Pierre-Yves Schobbens	Approximating ATL* in ATL.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Mario Coppo, Mariangiola Dezani-Ciancaglini	A Fully Abstract Model for Higher-Order Mobile Ambients.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Li Tan	An Abstract Schema for Equivalence-Checking Games.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Patricia M. Hill, Fausto Spoto	A Refinement of the Escape Property.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Roberta Gori, Giorgio Levi	An Experiment in Type Inference and Verification by Abstract Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Natalia Sidorova, Martin Steffen	Synchronous Closing of Timed SDL Systems for Model Checking.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Lenore D. Zuck, Amir Pnueli, Yonit Kesten	Automatic Verification of Probabilistic Free Choice.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon	Combining Norms to Prove Termination.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor	Storage Size Reduction by In-place Mapping of Arrays.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski	Compositional Termination Analysis of Symbolic Forward Analysis.	VMCAI	2002	DBLP DOI BibTeX RDF
1	R. K. Shyamasundar	Analyzing Cryptographic Protocols in a Reactive Framework.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Salvatore La Torre, Aniello Murano, Margherita Napoli	Weak Muller Acceptance Conditions for Tree Automata.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani	Improving the Encoding of LTL Model Checking into SAT.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Agostino Cortesi (eds.)	Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers	VMCAI	2002	DBLP DOI BibTeX RDF
1	Cinzia Bernardeschi, Nicoletta De Francesco	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Sava Krstic, John Matthews	Verifying BDD Algorithms through Monadic Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa	A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Ferucio Laurentiu Tiplea, Aurora Tiplea	A Simulation Preorder for Abstraction of Reactive Systems.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Carla Piazza, Sabina Rossi	Proofs Methods for Bisimulation Based Information Flow Security.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Marco Faella, Salvatore La Torre, Aniello Murano	Automata-Theoretic Decision of Timed Games.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Michael Huth 0001	Model Checking Modal Transition Systems Using Kripke Structures.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Andrzej S. Murawski, Kwangkeun Yi	Static Monotonicity Analysis for lambda-definable Functions over Lattices.	VMCAI	2002	DBLP DOI BibTeX RDF

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