Vijay Victor D'Silva

18 papers A* 2A 2B 8Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2017 — conf
Abstract Interpretation with Unfoldings.
CAV (2)
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
2017 J jnl
Abstract Interpretation with Unfoldings.
CoRR
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
2017 B conf
Complete Abstractions and Subclassical Modal Logics.
VMCAI
Vijay Victor D'Silva, Marcelo Sousa
2017 B conf
Independence Abstractions and Models of Concurrency.
VMCAI
Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa
2014 A* conf
Abstract satisfaction.
POPL
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
2014 J jnl
Deciding floating-point logic with abstract conflict driven clause learning.
Formal Methods Syst. Des.
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
2013 A* conf
Abstract conflict driven learning.
POPL
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
2013 B conf
Abstraction of Syntax.
VMCAI
Vijay Victor D'Silva, Daniel Kroening
2013 B conf
An Abstract Interpretation of DPLL(T).
VMCAI
Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening
2013 B conf
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.
SAS
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
2013 — —
Logical abstract interpretation.
Vijay Victor D'Silva
2012 A conf
Numeric Bounds Analysis with Conflict-Driven Learning.
TACAS
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig
2012 B conf
Satisfiability Solvers Are Static Analysers.
SAS
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
2010 J jnl
A lazy approach to symmetry reduction.
Formal Aspects Comput.
Thomas Wahl, Vijay Victor D'Silva
2010 B conf
Interpolant Strength.
VMCAI
Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher
2009 A conf
Fixed points for multi-cycle path detection.
DATE
Vijay Victor D'Silva, Daniel Kroening
2008 J jnl
A Survey of Automated Techniques for Formal Software Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Vijay Victor D'Silva, Daniel Kroening, Georg Weissenbacher
2008 B conf
Approximation Refinement for Interpolation-Based Model Checking.
VMCAI
Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening