Verification, Model Checking and Abstract Interpretation

VMCAI

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

642

2002–2026

Best Software Engineering conferences

Papers per year

200231 peak2026

Most published authors

VMCAI papers

642 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2002	Synchronous Closing of Timed SDL Systems for Model Checking.	Natalia Sidorova, Martin Steffen
2002	Analyzing Cryptographic Protocols in a Reactive Framework.	R. K. Shyamasundar
2002	Static Monotonicity Analysis for lambda-definable Functions over Lattices.	Andrzej S. Murawski, Kwangkeun Yi
2002	Verifying BDD Algorithms through Monadic Interpretation.	Sava Krstic, John Matthews
2002	Model Checking Modal Transition Systems Using Kripke Structures.	Michael Huth
2002	A Refinement of the Escape Property.	Patricia M. Hill, Fausto Spoto
2002	Approximating ATL	Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
2002	An Experiment in Type Inference and Verification by Abstract Interpretation.	Roberta Gori, Giorgio Levi
2002	Combining Norms to Prove Termination.	Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon
2002	Proofs Methods for Bisimulation Based Information Flow Security.	Riccardo Focardi, Carla Piazza, Sabina Rossi
2002	Automata-Theoretic Decision of Timed Games.	Marco Faella, Salvatore La Torre, Aniello Murano
2002	A Fully Abstract Model for Higher-Order Mobile Ambients.	Mario Coppo, Mariangiola Dezani-Ciancaglini
2002	Improving the Encoding of LTL Model Checking into SAT.	Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani
2002	Compositional Termination Analysis of Symbolic Forward Analysis.	Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
2002	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.	Cinzia Bernardeschi, Nicoletta De Francesco
2002	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.	Kai Baukus, Yassine Lakhnech, Karsten Stahl
2002	A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simo Melo de Sousa

626–642 of 642← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.