罗伯托·卡瓦达
人员信息
优化列表
2020年–今天
2024 [第15条] 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 斯特凡诺·托内塔 , 费德里科·博纳菲尼 , 马特奥·坎皮德利 , 安德里亚·扎萨 :
通过软件模型检查重建遗留代码的高层结构:一份经验报告。 飞行管理信息系统 2024 : 170-181 2022 [第14条] 阿尔贝托·邦巴德利 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马西莫·纳扎里亚 , 埃多亚多·尼科洛迪 , 斯特凡诺·托内塔 :
COMPSTA:用形式化设计和验证功能扩展TASTE。 IMBSA公司 2022 : 21-27 [第13条] 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 安吉洛·苏西 :
铁路正式IDE:研究挑战。 SEFM研讨会 2022 : 107-115 [第12条] 阿图罗·阿蒙多拉 , 安娜·贝基 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 安德烈亚·费兰多 , 洛伦佐·皮拉蒂 , 朱塞佩·斯卡利翁 , 阿尔贝托·塔切拉 , 赞博尼 :
NORMA:用于分析基于继电器的铁路联锁系统的工具。 TACAS(1) 2022 : 125-142 2020 [第11条] 阿图罗·阿蒙多拉 , 安娜·贝基 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 朱塞佩·斯卡利翁 , 安吉洛·苏西 , 阿尔贝托·塔切拉 , 马泰奥·泰西 :
基于模型的铁路联锁系统设计、验证和部署方法。 ISoLA(3) 2020 : 240-254
2010 – 2019
2018 [c10] 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 米尔科·塞萨 , 朱塞佩尸体 , 朱塞佩·斯卡利翁 :
通过基于SMT的切换多域基尔霍夫网络模型检查分析继电器联锁系统。 FMCAD公司 2018 : 1-9 2016 【c9】 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 路易吉·克雷马 , 马蒂亚·罗卡布鲁纳 , 斯特凡诺·托内塔 :
基于模型的Taste能源系统嵌入式控制器设计。 FM公司 2016 : 741-747 【c8】 本杰明·比特纳 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米凯利 , 詹尼·赞佩德里 :
xSAP安全分析平台。 TACAS公司 2016 : 533-539 2015 [i1] 本杰明·比特纳 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米凯利 , 詹尼·赞佩德里 :
xSAP安全分析平台。 CoRR公司 abs/1504.07513 ( 2015 ) 2014 【c7】 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 米歇尔·多里加蒂 , 阿尔贝托·格里乔 , 亚历山德罗·马里奥蒂 , 安德烈亚·米其利 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
nuXmv符号模型检查器。 CAV汽车 2014 : 334-342 2011 【c6】 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 安德烈亚·米凯利 , 马可·罗维里 , 安吉洛·苏西 , 斯特凡诺·托内塔 :
OthelloPlay:用于需求形式化和验证的基于插件的工具。 主题@ICSE 2011 : 59
2000 – 2009
2009 【c5】 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 亚历山德罗·马里奥蒂 , 克里斯蒂安·马塔雷 , 安德烈亚·米凯利 , 塞尔吉奥·莫弗 , 马可·彭萨洛托 , 马可·罗维里 , 安吉洛·苏西 , 斯特凡诺·托内塔 :
支持需求验证:EuRailCheck工具。 ASE公司 2009 : 665-667 2007 【c4】 罗德里克·布隆 , 罗伯托·卡瓦达 , 印戈药丸 , 马可·罗维里 , 安德烈·查尔兹夫 :
RAT:需求形式化分析的工具。 CAV汽车 2007 : 263-267 【c3】 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 安德斯·弗兰泽 , Krishnamani Kalyanasundaram公司 , 马可·罗维里 , R.K.Shyamasundar先生 :
通过集成BDD和SMT求解器计算谓词抽象。 FMCAD公司 2007 : 69-76 2006 【c2】 印戈药丸 , 西蒙·森普里尼 , 罗伯托·卡瓦达 , 马可·罗维里 , 罗德里克·布隆 , 亚历山德罗·西马蒂 :
硬件需求的形式化分析。 数模转换器 2006 : 821-826 2003 【c1】 亚历山德罗·西马蒂 , 查尔斯·佩切尔 , 罗伯托·卡瓦达 :
通过符号模型检查对可诊断性进行形式验证。 国际JCAI 2003 : 363-369