Vijay Victor D'Silva

According to our database, Vijay Victor D'Silva authored at least 17 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Complete Abstractions and Subclassical Modal Logics.

Vijay Victor D'Silva, Marcelo Sousa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Independence Abstractions and Models of Concurrency.

Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Abstract Interpretation with Unfoldings.

Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

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 satisfaction.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Logical abstract interpretation.

Vijay Victor D'Silva

PhD thesis, 2013

Abstraction of Syntax.

Vijay Victor D'Silva, Daniel Kroening

Proceedings of the Verification, 2013

An Abstract Interpretation of DPLL(T).

Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening

Proceedings of the Verification, 2013

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.

Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening

Proceedings of the Static Analysis - 20th International Symposium, 2013

Abstract conflict driven learning.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Numeric Bounds Analysis with Conflict-Driven Learning.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Satisfiability Solvers Are Static Analysers.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening

Proceedings of the Static Analysis - 19th International Symposium, 2012

2010

A lazy approach to symmetry reduction.

Thomas Wahl, Vijay Victor D'Silva

Formal Aspects Comput., 2010

Interpolant Strength.

Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher

Proceedings of the Verification, 2010

2009

Fixed points for multi-cycle path detection.

Vijay Victor D'Silva, Daniel Kroening

Proceedings of the Design, Automation and Test in Europe, 2009

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

Approximation Refinement for Interpolation-Based Model Checking.

Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening

Proceedings of the Verification, 2008