Vijay Victor D'Silva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
6
Active years
2008–2017
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | Abstract Interpretation with Unfoldings. | Marcelo Sousa, Csar Rodrguez, Vijay Victor D'Silva, Daniel Kroening |
| 2017 | VMCAI | Independence Abstractions and Models of Concurrency. | Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa |
| 2017 | VMCAI | Complete Abstractions and Subclassical Modal Logics. | Vijay Victor D'Silva, Marcelo Sousa |
| 2014 | POPL | Abstract satisfaction. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2013 | POPL | Abstract conflict driven learning. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2013 | SAS | Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. | Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening |
| 2013 | VMCAI | An Abstract Interpretation of DPLL(T). | Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening |
| 2013 | VMCAI | Abstraction of Syntax. | Vijay Victor D'Silva, Daniel Kroening |
| 2012 | SAS | Satisfiability Solvers Are Static Analysers. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2012 | TACAS | Numeric Bounds Analysis with Conflict-Driven Learning. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig |
| 2010 | VMCAI | Interpolant Strength. | Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher |
| 2009 | DATE | Fixed points for multi-cycle path detection. | Vijay Victor D'Silva, Daniel Kroening |
| 2008 | VMCAI | Approximation Refinement for Interpolation-Based Model Checking. | Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening |