Approximation Refinement for Interpolation-Based Model Checking. - Vijay Victor D'Silva; Mitra Purandare; Daniel Kroening (VMCAI, 2008)

A Survey of Automated Techniques for Formal Software Verification. - Vijay Victor D'Silva; Daniel Kroening; Georg Weissenbacher (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Fixed points for multi-cycle path detection. - Vijay Victor D'Silva; Daniel Kroening (DATE, 2009)

Interpolant Strength. - Vijay Victor D'Silva; Daniel Kroening; Mitra Purandare; Georg Weissenbacher (VMCAI, 2010)

A lazy approach to symmetry reduction. - Thomas Wahl; Vijay Victor D'Silva (Formal Aspects Comput., 2010)

Satisfiability Solvers Are Static Analysers. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening (SAS, 2012)

Numeric Bounds Analysis with Conflict-Driven Learning. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening; Michael Tautschnig (TACAS, 2012)

Abstract conflict driven learning. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening (POPL, 2013)

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. - Martin Brain; Vijay Victor D'Silva; Alberto Griggio; Leopold Haller; Daniel Kroening (SAS, 2013)

An Abstract Interpretation of DPLL(T). - Martin Brain; Vijay Victor D'Silva; Leopold Haller; Alberto Griggio; Daniel Kroening (VMCAI, 2013)

Abstraction of Syntax. - Vijay Victor D'Silva; Daniel Kroening (VMCAI, 2013)

Logical abstract interpretation. - Vijay Victor D'Silva (2013)

Abstract satisfaction. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening (POPL, 2014)

Deciding floating-point logic with abstract conflict driven clause learning. - Martin Brain; Vijay Victor D'Silva; Alberto Griggio; Leopold Haller; Daniel Kroening (Formal Methods Syst. Des., 2014)

Abstract Interpretation with Unfoldings. - Marcelo Sousa; César Rodríguez; Vijay Victor D'Silva; Daniel Kroening (CAV (2), 2017)

Independence Abstractions and Models of Concurrency. - Vijay Victor D'Silva; Daniel Kroening; Marcelo Sousa (VMCAI, 2017)

Complete Abstractions and Subclassical Modal Logics. - Vijay Victor D'Silva; Marcelo Sousa (VMCAI, 2017)