罗伯托·卡瓦达
人员信息
优化列表
2020年–今天
2022 [第14条] 阿尔贝托·邦巴迪利 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马西莫·纳扎里亚 , 埃多亚多·尼科洛迪 , 斯特凡诺·托内塔 :
COMPASTA:通过正式设计和验证功能扩展TAST。 IMBSA公司 2022 : 21-27 [第13条] 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 安吉洛·苏西 :
铁路正式IDE:研究挑战。 SEFM研讨会 2022 : 107-115 [第12条] 阿图罗·阿蒙多拉 , 安娜·贝奇 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 安德烈亚·费兰多 , 洛伦佐·皮拉蒂 , 朱塞佩·斯卡利奥内 , 阿尔贝托·塔切拉 , 赞博尼 :
NORMA:基于继电器的铁路联锁系统分析工具。 墨西哥玉米饼(1) 2022 : 125-142 2020 [第11条] 阿图罗·阿蒙多拉 , 安娜·贝奇 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 朱塞佩·斯卡利奥内 , 安吉洛·苏西 , 阿尔贝托·塔切拉 , 马泰奥·泰西 :
基于模型的铁路联锁系统设计、验证和部署方法。 ISoLA(3) 2020 : 240-254
2010年至2019年
2018 [第10条] 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 米尔科·塞萨 , 朱塞佩尸体 , 朱塞佩·斯卡利奥内 :
通过基于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