Daniel Larraz的主页

我是爱荷华大学.我的研究重点是应用表面贴装技术-基于技术计算机系统的形式验证。我目前正在与合作塞萨尔·蒂内利上自动化技术的发展验证同步数据流程序及其在模型检查器第2类.

我在加泰罗尼亚技术大学(通用产品代码)在…的监督下阿尔伯特·鲁比奥.我攻读博士学位阵列不变量的生成、终止分析和组合安全验证使用Max的命令式程序-表面贴装技术解算器。我还为实施VeryMax公司工具，用于自动检查安全属性和证明（条件）的验证框架终止和非终止C/C++程序。

2014年4月至6月，我在微软剑桥研究院在编程原理和工具组在…的监督下安德烈·里巴尔琴科.

出版物

CRV：系统设计模型的自动网络弹性推理[PDF格式].Daniel Larraz，罗伯特·洛奇,穆萨·叶海亚扎德,M.Fareed Arif，奥马尔·乔杜里,切萨雷·蒂内利.在第23届国际形式方法会议计算机辅助设计(FMCAD公司'23),2023年10月，艾姆斯（美国）。

使用Max-SMT查找局部最小割集[PDF格式].Daniel Larraz，塞萨尔·蒂内利.在ACM公司 SIGAda公司Ada信件,2022年12月。

第二类理想光泽的超越模型检验[PDF格式].Daniel Larraz，阿尔琼·维斯瓦纳坦,米卡·洛朗，塞萨尔·蒂内利.在ACM公司 SIGAda公司Ada信件,2022年12月。

VERDICT：工程网络弹性和安全系统的语言和框架[PDF格式].保罗蒙,Daniel Larraz，Kit Siu公司,阿布哈·莫伊特拉，约翰·因特伦特,威廉·史密斯，萨斯瓦塔·保罗，丹尼尔·普林斯，Heber Herencia-Zapana，M.Fareed Arif，穆萨·叶海亚扎德,维迪亚·特肯·瓦拉皮尔，迈克尔·杜林,塞萨尔·蒂内利,奥马尔·乔杜里.在系统2021年3月。

第二类优缺点分配[PDF格式].Daniel Larraz，Mickaël Laurent，塞萨尔·蒂内利.在第26届国际形式方法会议工业关键系统(飞行管理信息系统'21),2021年8月，在线。

SYSLITE：有限迹PLTL公式的语法引导合成[PDF格式].M.Fareed Arif、Daniel Larraz、Mitziu Echeverria、，安德鲁·雷诺兹,奥马尔·乔杜里,塞萨尔·蒂内利.在第20届国际形式方法会议计算机辅助设计(FMCAD公司'20),2020年9月，在线。

基于枚举语法指导的可伸缩外推算法[PDF格式].安德鲁·雷诺兹,哈尼尔·巴博萨,Daniel Larraz，塞萨尔·蒂内利.在第十届国际自动推理联合会议(国际JCAR'20),2020年7月，巴黎（法国）。

网络安全的体系结构和行为分析[PDF格式].Kit Siu、Abha Moitra、Meng Li、Michael Durling、Heber Herencia-Zapana、，John Interrante、Baolou Meng、，Daniel Larraz，塞萨尔·蒂内利,奥马尔·乔杜里,穆萨·叶海扎德,M.Fareed Arif，丹尼尔·普林斯。在IEEE/AIAA第38届数字航空电子系统会议(DASC公司'19),2019年9月，圣地亚哥（美国）。

求解非线性问题的不完全SMT技术整数上的公式[PDF格式].克里斯蒂娜·博拉莱拉斯，Daniel Larraz，阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔,和阿尔伯特·鲁比奥.在ACM公司计算逻辑学报(TOCL公司),2019年9月。

基于SMT驱动的分类扩展枚举函数综合[PDF格式].哈尼尔·巴博萨,安德鲁·雷诺兹,Daniel Larraz，塞萨尔·蒂内利.在第19届国际形式方法会议计算机辅助设计(FMCAD公司'19),2019年10月，圣何塞（美国）。

电子邮件：daniel-larraz（将处替换为@）维奥瓦语.edu语言
电话：+1-319-467-0655
办公室：1杰西普·霍尔，房间F

丹尼尔·拉拉兹

出版物

教学助理

联系人