丹尼尔·拉拉兹
人员信息
优化列表
2020年–今天
2023 [第12条] 丹尼尔·拉拉兹 , 罗伯特·洛奇 , 穆萨·叶海亚扎德 , M.Fareed Arif先生 , 奥马尔·乔杜里 , 塞萨尔·蒂内利 :
CRV:系统设计模型的自动网络弹性推理。 FMCAD公司 2023 : 209-220 2022 [i4] 丹尼尔·拉拉兹 , 塞萨尔·蒂内利 :
第2类合同的可实现性检查。 CoRR公司 abs/2205.09082 ( 2022 ) 2021 [注2] 保罗蒙 , 丹尼尔·拉拉兹 , Kit Siu公司 , 阿布哈·莫伊特拉 , 约翰·因特伦特 , 威廉·史密斯 , 萨斯瓦塔·保罗 , 丹尼尔·普林斯 , Heber Herencia-Zapana公司 , M.Fareed Arif先生 , 穆萨·叶海亚扎德 , 维迪亚·特肯·瓦拉皮尔 , 迈克尔·杜林 , 塞萨尔·蒂内利 , 奥马尔·乔杜里 :
VERDICT:工程网络弹性和安全系统的语言和框架。 系统。 9 ( 1 ) : 18 ( 2021 ) [第11条] 丹尼尔·拉拉兹 , 米卡·洛朗 , 塞萨尔·蒂内利 :
第二类优缺点分配。 飞行管理信息系统 2021 : 212-220 [i3] 丹尼尔·拉拉兹 , 米卡·洛朗 , 塞萨尔·蒂内利 :
第二类优缺点分配。 CoRR公司 abs/2105.06575 ( 2021 ) 2020 [第10条] 安德鲁·雷诺兹 , 哈尼尔·巴博萨 , 丹尼尔·拉拉兹 , 塞萨尔·蒂内利 :
通过枚举语法引导合成实现诱拐的可扩展算法。 国际JCAR(1) 2020 : 141-160 【c9】 M.Fareed Arif先生 , 丹尼尔·拉拉兹 , 米齐乌·埃切韦里亚 , 安德鲁·雷诺兹 , 奥马尔·乔杜里 , 塞萨尔·蒂内利 :
SYSLITE:基于有限轨迹的PLTL公式的语法指导合成。 FMCAD公司 2020 : 93-103 [i2] 克里斯蒂娜·博拉莱拉斯 , 丹尼尔·拉拉兹 , 阿尔伯特·奥利维拉斯 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
求解整数上非线性公式的不完全SMT技术。 CoRR公司 abs/2008.13601 ( 2020 )
2010 – 2019
2019 [j1] 克里斯蒂娜·博拉莱拉斯 , 丹尼尔·拉拉兹 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·奥利弗拉斯 , 阿尔伯特·鲁比奥 :
求解整数上非线性公式的不完全SMT技术。 ACM事务处理。 计算。 日志。 20 ( 4 ) : 25:1-25:36 ( 2019 ) 【c8】 哈尼尔·巴博萨 , 安德鲁·雷诺兹 , 丹尼尔·拉拉兹 , 塞萨尔·蒂内利 :
通过SMT驱动分类扩展枚举函数综合。 FMCAD公司 2019 : 212-220 2017 【c7】 克里斯蒂娜·博拉莱拉斯 , 马克·布罗克施密特 , 丹尼尔·拉拉兹 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
通过有条件终止证明终止。 TACAS(1) 2017 : 99-117 2016 【c6】 洛伦佐·坎迪戈 , 丹尼尔·拉拉兹 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
加速差分逻辑中基于约束的方法。 坐 2016 : 284-301 2015 【b1】 丹尼尔·拉拉兹 :
使用Max-SMT进行自动程序分析。 西班牙加泰罗尼亚理工大学, 2015 【c5】 马克·布罗克施密特 , 丹尼尔·拉拉兹 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
使用Max-SMT进行成分安全验证。 FMCAD公司 2015 : 33-40 [i1] 马克·布罗克施密特 , 丹尼尔·拉拉兹 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
使用Max-SMT进行成分安全验证。 CoRR公司 abs/1507.03851 ( 2015 ) 2014 【c4】 丹尼尔·拉拉兹 , 考斯图布·尼姆卡 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
使用Max-SMT证明不终止。 CAV汽车 2014 : 779-796 【c3】 丹尼尔·拉拉兹 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
求解多项式约束和扩张的最小模型指导方法。 坐 2014 : 333-350 2013 【c2】 丹尼尔·拉拉兹 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
使用Max-SMT证明命令式程序的终止。 FMCAD软件 2013 : 218-225 [c1] 丹尼尔·拉拉兹 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·鲁比奥 :
基于SMT的阵列不变量生成。 VMCAI公司 2013 : 169-188