VMCAI - Verification, Model Checking and Abstract Interpretation

Subscribe

Academic

VMCAI - Verification, Model Checking and Abstract Interpretation

VMCAI - Verification, Model Checking and Abstract Interpretation

Publications: 279| Citation Count: 3,451 (Self-Citation: 174) |H-Index: 30
Year Range: 1998-2011

Interests: Software Engineering

Paper submissions due: 19 August 2011, Duration: 22 - 24 January 2012, Philadelphia, United States of America

Homepage |

CFP

Cumulative Annual

Order by:

Publications (279)

Abstract Probabilistic Automata (Citations: 3)

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski

Conference: Verification, Model Checking and Abstract Interpretation - VMCAI , pp. 324-339, 2011
Collective Assertions (Citations: 3)

Stephen F. Siegel, Timothy K. Zirkel

Conference: Verification, Model Checking and Abstract Interpretation - VMCAI , pp. 387-402, 2011
Automata Learning with Automated Alphabet Abstraction Refinement (Citations: 3)

Falk Howar, Bernhard Steffen, Maik Merten

Conference: Verification, Model Checking and Abstract Interpretation - VMCAI , pp. 263-277, 2011
Refinement-Based CFG Reconstruction from Unstructured Programs (Citations: 3)

Sébastien Bardin, Philippe Herrmann, Franck Védrine

Conference: Verification, Model Checking and Abstract Interpretation - VMCAI , pp. 54-69, 2011
Sets with Cardinality Constraints in Satisfiability Modulo Theories (Citations: 2)

Philippe Suter, Robin Steiger, Viktor Kuncak

Conference: Verification, Model Checking and Abstract Interpretation - VMCAI , pp. 403-418, 2011