维杰·维克托·德席尔瓦
人员信息
优化列表
2010 – 2019
2017 [第13条] 马塞洛·索萨 , 塞萨尔·罗德里格斯 , 维杰·维克托·德席尔瓦 , 丹尼尔·克罗宁 :
带展开的抽象解释。 CAV(2) 2017 : 197-216 [第12条] 维杰·维克托·德席尔瓦 , 丹尼尔·克罗宁 , 马塞洛·索萨 :
独立抽象和并发模型。 VMCAI公司 2017 : 151-168 [第11条] 维杰·维克托·德席尔瓦 , 马塞洛·索萨 :
完全抽象和次经典模态逻辑。 VMCAI公司 2017 : 169-186 [i1] 马塞洛·索萨 , 塞萨尔·罗德里格斯 , 维杰·维克托·德席尔瓦 , 丹尼尔·克罗宁 :
带展开的抽象解释。 CoRR公司 abs/1705.00595 ( 2017 ) 2014 [j3] 马丁·布莱恩 , 维杰·维克托·德席尔瓦 , 阿尔贝托·格里乔 , 利奥波德·哈勒 , 丹尼尔·克罗宁 :
利用抽象冲突驱动子句学习确定浮点逻辑。 形式方法系统。 设计。 45 ( 2 ) : 213-245 ( 2014 ) [第10条] 维杰·维克托·德席尔瓦 , 利奥波德·哈勒 , 丹尼尔·克罗宁 :
抽象满意度。 POPL公司 2014 : 139-150 2013 【b1】 维杰·维克托·德席尔瓦 :
逻辑抽象解释。 英国牛津大学, 2013 【c9】 维杰·维克托·德席尔瓦 , 利奥波德·哈勒 , 丹尼尔·克罗宁 :
抽象冲突驱动学习。 POPL公司 2013 : 143-154 【c8】 马丁·布莱恩 , 维杰·维克托·德席尔瓦 , 阿尔贝托·格里乔 , 利奥波德·哈勒 , 丹尼尔·克罗宁 :
用抽象CDCL对浮点程序进行基于插值的验证。 SAS公司 2013 : 412-432 【c7】 维杰·维克托·德席尔瓦 , 丹尼尔·克罗宁 :
语法抽象。 VMCAI公司 2013 : 396-413 【c6】 马丁·布莱恩 , 维杰·维克托·德席尔瓦 , 利奥波德·哈勒 , 阿尔贝托·格里乔 , 丹尼尔·克罗宁 :
DPLL(T)的抽象解释。 VMCAI公司 2013 : 455-475 2012 【c5】 维杰·维克托·德席尔瓦 , 利奥波德·哈勒 , 丹尼尔·克罗宁 :
可满足性求解器是静态分析器。 SAS公司 2012 : 317-333 【c4】 维杰·维克托·德席尔瓦 , 利奥波德·哈勒 , 丹尼尔·克罗宁 , 迈克尔·陶奇尼格 :
基于冲突驱动学习的数字边界分析。 TACAS公司 2012 : 48-63 2010 [注2] 托马斯·沃尔 , 维杰·维克托·德席尔瓦 :
减少对称性的懒惰方法。 形式方面计算。 22 ( 6 ) : 713-733 ( 2010 ) 【c3】 维杰·维克托·德席尔瓦 , 丹尼尔·克罗宁 , Mitra Purandare公司 , 乔治·魏森巴赫 :
插值强度。 VMCAI公司 2010 : 129-145
2000 – 2009
2009 【c2】 维杰·维克托·德席尔瓦 , 丹尼尔·克罗宁 :
多周期路径检测的固定点。 日期 2009 : 1710-1715 2008 [j1] 维杰·维克托·德席尔瓦 , 丹尼尔·克罗宁 , 乔治·魏森巴赫 :
形式化软件验证自动化技术综述。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 7 ) : 1165-1178 ( 2008 ) 【c1】 维杰·维克托·德席尔瓦 , Mitra Purandare公司 , 丹尼尔·克罗宁 :
基于插值的模型检查的近似精化。 VMCAI公司 2008 : 68-82