Vijay D'silva and Abstract Interpretation - Free people check

(1 - 9 from 10

)

Vijay D'Silva – Google Research

research.google

Google Publications Abstract Interpretation as Automated Deduction. Vijay D'Silva, Caterina Urban Automated Deduction - CADE 25, Springer ...

Verification, Model Checking, and Abstract Interpretation: 14th ...

books.google.com

396 Vijay D'Silva and Daniel Kroening Session 8: Combining Boolean Solving and Abstract Domains for Theories Logico-Numerical Max-Strategy Iteration .

[ ] Abstract Interpretation with Unfoldings - arXivarxiv.org › cs

arxiv.org

by M Sousa · · Cited by 11 — Title:Abstract Interpretation with Unfoldings. Authors:Marcelo Sousa, César Rodríguez, Vijay D'Silva, Daniel Kroening.

Vijay D'Silva

theory.eecs.qmul.ac.uk

Satisfiability Solvers are Static Analysers or: How I learned to stop bit-blasting and love abstract interpretation Vijay D'Silva. The performance of modern ...

Publications | Caterina Urbancaterinaurban.github.io › publication

caterinaurban.github.io

Vijay D'Silva, Caterina Urban. Abstract Interpretation as Automated Deduction. In JAR, PDF BibTeX Springer. Nathanaëlle Courant, Caterina Urban.

All web results to the name "Vijay d'Silva"

‪Vijay D'Silva‬ - ‪Google Scholar‬scholar.google.nl › citations

scholar.google.nl

Vijay D'Silva. Google Inc. Email verificata su google.com - Home page · LogicProgram AnalysisAbstract InterpretationData Visualization.

‪Vijay D'Silva‬ - ‪Google 學術搜尋‬scholar.google.com.hk › citations

scholar.google.com.hk

Vijay D'Silva. Google Inc. 在 google.com 的電子郵件地址已通過驗證 - 首頁 · LogicProgram AnalysisAbstract InterpretationData Visualization.

Abstract Interpretation as Automated Deduction - Archive ouverte HALhal.archives-ouvertes.fr › hal

hal.archives-ouvertes.fr

Vijay d'Silva, Caterina Urban. Abstract Interpretation as Automated Deduction. 25th International Conference on Automated Deduction (CADE 2015), 2015, ...

VMCAI Accepted Papers

vmcai13.di.univr.it

Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio and Daniel Kroening. An Abstract Interpretation of DPLL(T). Kedar Namjoshi and Richard Trefler.

Related search requests for Vijay d'Silva

Caterina Urban
Mathias Payer
Alberto Griggio

Nikhil Farias
Yi Ling Leung
Lisa Godin

Person "D'silva" (2)
Forename "Vijay" (6838)
Name "D'silva" (332)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Vijay d'Silva and Abstract Interpretation Free People Check