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 |
|