马可·加里奥
人员信息
SPARQL查询
优化列表
2020年–今天
2022 [j3] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
公平过渡系统的可诊断性。 Artif公司。 智力。 309 : 103725 ( 2022 ) 2021 [注2] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 大卫琼斯 , 克里斯蒂安·马塔雷 :
使用xSAP对三模块发电机进行基于模型的安全评估。 形式方面计算。 33 ( 2 ) : 251-295 ( 2021 ) 2020 [第14条] 萨比哈·塔哈拉特 , Germanán Alejandro Braun先生 , 亚历山德罗·阿尔塔莱 , 马可·加里奥 , 安娜·奥扎基 :
时态DL-Lite中的自动推理(扩展抽象)。 描述逻辑 2020 [i2] 萨比哈·塔哈拉特 , 杰曼·亚历杭德罗·布劳恩 , 亚历山德罗·阿尔塔莱 , 马可·加里奥 , 安娜·奥扎基 :
时态DL-Lite中的自动推理。 CoRR公司 2008年7月463日 ( 2020 )
2010 – 2019
2019 [第13条] 丹尼尔·拉蒂乌 , 马可·加里奥 , 汉内斯·舍恩哈尔 :
FASTEN:一个开放的可扩展框架,用于试验正式规范方法:使用语言工程为NuSMV开发多参数规范环境。 FormaliSE@ICSE 2019 : 41-50 2018 [c12] 克里斯托夫·巴德尼克 , 马可·加里奥 , 乔治·马尔科夫 , 朱旺 :
通过支持AI的输出空间探索指导测试用例生成。 AST@ICSE公司 2018 : 53-56 2017 [第11条] 克里斯托夫·巴德尼克 , 塞巴斯蒂安·埃克尔 , 马可·加里奥 :
基于模型的网络物理生产系统验证试验台。 建筑@CPSWeek 2017 : 92-99 [第10条] 斯特凡·米奇 , 马可·加里奥 , 克里斯托夫·巴德尼克 , 迈克尔·戈尔姆 , 安德烈·普拉泽 :
使用气压制动器对列车控制进行正式验证。 RSS邮件 2017 : 173-191 2016 【b1】 马可·加里奥 :
基于时间认知逻辑的外国直接投资设计的形式基础。 意大利特伦托大学, 2016 【c9】 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 :
时间认知逻辑模型检验的懒惰方法。 美国原子能机构 2016 : 1218-1226 【c8】 马可·加里奥 , 亚历山德罗·西马蒂 , 克里斯蒂安·马塔雷 , 斯特凡诺·托内塔 , 克里斯汀·伊冯·罗泽尔 :
模型规模检查:自动空中交通管制设计空间探索。 CAV(2) 2016 : 3-22 【c7】 本杰明·比特纳 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米其利 , 詹尼·赞佩德里 :
xSAP安全分析平台。 TACAS公司 2016 : 533-539 2015 [j1] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 :
使用时间认知逻辑的异步故障检测和识别组件的形式化设计。 日志。 方法计算。 科学。 11 ( 4 ) ( 2015 ) 【c6】 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 安德烈亚·米其利 :
基于SMT的定时故障传播图验证。 AAAI公司 2015 : 3724-3730 【c5】 克里斯蒂安·马塔雷 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 , 克里斯汀·罗齐尔 :
比较自动空中交通管制设计中的不同功能分配。 FMCAD公司 2015 : 112-119 [i1] 本杰明·比特纳 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米其利 , 詹尼·赞佩德里 :
xSAP安全分析平台。 CoRR公司 abs/1504.07513 ( 2015 ) 2014 【c4】 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 :
单调成本函数的帕累托最优参数综合。 FMCAD公司 2014 : 23-30 【c3】 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 雷吉斯·德·费卢克 , 马可·加里奥 , 安德烈亚·吉奥托 , 尤里·尤什廷 :
航空航天中FDIR设计的集成过程。 IMBSA公司 2014 : 82-95 [c2] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 :
使用时间认知逻辑的故障检测和识别组件的形式化设计。 TACAS公司 2014 : 326-340 2013 【c1】 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 :
诊断器规范、验证和综合的形式化框架。 AAAI(最新发展) 2013