马可·波扎诺
人员信息
优化列表
2020年–今天
2023 [公元49年] 伊莎贝拉·兰扎尼 , 里卡多·斯卡托里尼 , 恩里科·齐奥 , 亚历山德罗·西马蒂 , 马可·波扎诺 , 斯特凡诺·托内塔 以下为:
用于故障树分析的基于模型的安全评估的两种正式方法。 ICSRS系统 2023 以下为: 376-383 2022 [公元18年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 以下为:
公平过渡系统的可诊断性。 Artif公司。 智力。 309 以下为: 103725 ( 2022 ) [公元48年] 阿尔贝托·邦巴德利 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马西莫·纳扎里亚 , 埃多亚多·尼科洛迪 , 斯特凡诺·托内塔 以下为:
COMPASTA:通过正式设计和验证功能扩展TAST。 IMBSA公司 2022 以下为: 21-27 [公元47年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马丁·乔纳斯 , 格雷格·金伯利 以下为:
基于ASP的循环故障传播分析。 低密度核磁共振 2022 以下为: 470-483 [公元46年] 阿图罗·阿蒙多拉 , 洛伦佐·巴鲁夫 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 萨尔瓦多·德西蒙 , 尤金尼奥·费德利 , 阿特姆·加巴索夫 , 多梅尼科·埃内斯托·加鲁巴 , 马西米利亚诺·吉拉迪 , 戴安娜·塞拉 , 罗伯托·蒂埃拉 , 詹尼·赞佩德里 以下为:
列车自动运行控制系统的正式设计和验证。 RSS邮件 2022 以下为: 169-178 [c45] 马可·波扎诺 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马丁·乔纳斯 以下为:
基于布尔故障传播的循环冗余结构的有效分析。 TACAS(2) 2022 以下为: 273-291 [公元44年] 马尔科·博扎诺 , 亚历山德罗·西马蒂 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 以下为:
在公平过渡系统中寻找带状路径。 墨西哥玉米饼(1) 2022 以下为: 543-560 2021 [公元17年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 大卫琼斯 , 克里斯蒂安·马塔雷 以下为:
使用xSAP对三模块发电机进行基于模型的安全评估。 形式方面计算。 33 ( 2 ) 以下为: 251-295 ( 2021 ) [公元16年] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治奥斯·詹塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·蒂贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) 以下为:
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 以下为: 104349 ( 2021 ) [公元15年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 以下为:
车载自主验证和确认的综合方法。 ACM事务处理。 智力。 系统。 Technol公司。 12 ( 4 ) 以下为: 46:1-46:29 ( 2021 ) [公元43年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 安东尼·费尔南德斯·皮雷 , 阿尔贝托·格里乔 , 马丁·乔纳斯 , 格雷格·金伯利 以下为:
基于SMT的失效传播高效分析。 卡瓦(2) 2021 以下为: 209-230 2020 [公元42年] 马可·波扎诺 , 蒙克 , 马库斯·施韦泽 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 以下为:
模态转换的基于模型的安全分析。 SAFECOMP公司 2020 以下为: 99-114
2010 – 2019
2019 [公元14年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 克里斯蒂安·马塔雷 以下为:
冗余架构的正式可靠性分析。 形式方面计算。 31 ( 1 ) 以下为: 59-94 ( 2019 ) [c41] 马可·波扎诺 , 哈罗德·布鲁因杰斯 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 托马斯·诺尔 , 斯特凡诺·托内塔 以下为:
罗盘3.0。 TACAS(1) 2019 以下为: 379-385 [电子2] 伊安妮斯·帕帕佐普洛斯 , 库罗什·阿斯兰塞法特 , 卡氏帕纳吉奥蒂斯 , 马尔科·博扎诺 以下为:
基于模型的安全与评估——第六届国际研讨会,IMBSA 2019,希腊塞萨洛尼基,2019年10月16-18日,会议记录。 计算机科学课堂讲稿 11842, 施普林格 2019 ,国际标准图书编号 电话:978-3-030-32871-9 [目录] 2017 [公元40年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 以下为:
航天器工程的时间失效传播分析:ESA太阳轨道器案例研究。 IMBSA公司 2017 以下为: 255-271 [公元39年] 马可·波扎诺 以下为:
故障管理系统设计中的因果关系和时间依赖性。 ETAPS坝顶 2017 以下为: 39-46 [电子1] 马可·波扎诺 , 伊安妮斯·帕帕佐普洛斯 以下为:
基于模型的安全与评估——第五届国际研讨会,2017年IMBSA,意大利特伦托,2017年9月11-13日,会议记录。 计算机科学课堂讲稿 10437, 施普林格 2017 ,十亿 978-3-319-64118-8 [目录] 2016 [公元38年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 詹尼·赞佩德里 以下为:
故障传播模型的自动验证和拧紧。 AAAI公司 2016 以下为: 907-913 [公元37年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 以下为:
定时故障传播图的自动合成。 国际JCAI 2016 以下为: 972-978 [c36] 本杰明·比特纳 , 马尔科·博扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米凯利 , 詹尼·赞佩德里 以下为:
xSAP安全分析平台。 TACAS公司 2016 以下为: 533-539 2015 [j13] 马尔科·博扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 以下为:
使用时间认知逻辑的异步故障检测和识别组件的形式化设计。 日志。 方法计算。 科学。 11 ( 4 ) ( 2015 ) [公元12年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 奥列格·利萨戈 , 克里斯蒂安·马塔雷 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 以下为:
通过符号模型检查对哥斯达黎加模型进行安全评估。 科学。 计算。 程序。 98 以下为: 464-483 ( 2015 ) [公元35年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 安德烈亚·米凯利 以下为:
基于SMT的定时故障传播图验证。 AAAI公司 2015 以下为: 3724-3730 [公元34年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 安东尼·费尔南德斯·皮雷 , 大卫琼斯 , 格雷格·金伯利 , T.佩特里 , 罗宾逊 , 斯特凡诺·托内塔 以下为:
AIR6110车轮制动系统的形式化设计与安全性分析。 CAV(1) 2015 以下为: 518-535 [公元33年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 以下为:
基于模型的安全分析的高效随时技术。 CAV(1) 2015 以下为: 603-621 [i3] 本杰明·比特纳 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米凯利 , 詹尼·赞佩德里 以下为:
xSAP安全分析平台。 CoRR公司 abs/1504.07513 ( 2015 ) 2014 [公元11年] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 卡氏帕纳吉奥蒂斯 , 康斯坦蒂诺斯·莫科斯 , 越南元 , 托马斯·诺尔 , 巴特·波斯玛 , 马可·罗维里 以下为:
使用正式方法进行航天器早期设计验证。 Reliab公司。 工程系统。 安全系数。 132 以下为: 20-35 ( 2014 ) [c32] 马可·波扎诺 , 亚历山德罗·西马蒂 , 克里斯蒂安·马塔雷 , 斯特凡诺·托内塔 以下为:
通过基于合同的设计进行正式安全评估。 ATVA公司 2014 以下为: 81-97 [公元31年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 以下为:
单调成本函数的帕累托最优参数综合。 FMCAD公司 2014 以下为: 23-30 [公元30年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 雷吉斯·德·费卢克 , 马可·加里奥 , 安德烈亚·吉奥托 , 尤里·尤什廷 以下为:
航空航天中FDIR设计的集成过程。 IMBSA公司 2014 以下为: 82-95 [公元29年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 以下为:
使用时间认知逻辑的故障检测和识别组件的形式化设计。 TACAS公司 2014 以下为: 326至340 2013 [公元10年] 理查德·巴纳赫 , 马可·波扎诺 以下为:
通过紧缩I:组合电路为无功系统机械生成故障树。 形式方面计算。 25 ( 4 ) 以下为: 573-607 ( 2013 ) [公元9年] 理查德·巴纳赫 , 马可·波扎诺 以下为:
通过翻新为无功系统机械生成故障树II:时钟和反馈电路。 形式方面计算。 25 ( 4 ) 以下为: 609-657 ( 2013 ) [公元28年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 以下为:
诊断器规范、验证和综合的形式化框架。 AAAI(最新发展) 2013 [公元27年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 克里斯蒂安·马塔雷 以下为:
通过谓词抽象对可靠性体系结构进行有效分析。 海法核查会议 2013 以下为: 279-294 [公元26年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 克里斯蒂安·马塔雷 以下为:
可靠性体系结构的自动分析。 ICECCS公司 2013 以下为: 198-207 2012 [c25] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 泽维尔橄榄 以下为:
可诊断性可观测性要求的符号合成。 AAAI公司 2012 以下为: 712-718 2011 [j8] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 以下为:
扩展AADL模型的安全性、可靠性和性能分析。 计算。 J。 54 ( 5 ) 以下为: 754-775 ( 2011 ) [j7] 马可·波扎诺 , 亚历山德罗·西马蒂 , 奥列格·利萨戈 , 克里斯蒂安·马塔雷 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 以下为:
Altarica模型的符号模型检查和安全评估。 电子。 公社。 欧洲协会软件。 科学。 Technol公司。 46 ( 2011 ) [公元24年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 , 安德烈·查尔兹夫 以下为:
车载自主验证和确认的综合方法。 国际JCAI 2011 以下为: 2398-2403 2010 【c23】 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 , 拉尔夫·威默 以下为:
AADL的模型检查器。 CAV汽车 2010 以下为: 562-565
2000 – 2009
2009 [公元22年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 以下为:
可靠系统的协同设计:一种基于组件的建模语言。 记忆码 2009 以下为: 121-130 【c21】 马可·波扎诺 , 亚历山德罗·西马蒂 , 乔斯特·皮特·卡托恩 , 越南元 , 托马斯·诺尔 , 马可·罗维里 以下为:
关键嵌入式系统的基于模型的协同设计。 ACES-MB@MoDELS公司 2009 [公元20年] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 以下为:
COMPASS方法:航空航天系统的正确性、建模和性能。 SAFECOMP公司 2009 以下为: 173-186年 [第19条] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马尔科·罗弗里 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 以下为:
aadl模型的验证和性能评估。 ESEC/SIGSOFT FSE 2009 以下为: 285-286 2007 [j6] 马可·波扎诺 , 阿道夫·维拉菲奥里塔 以下为:
FSAP/NuSMV-SA安全分析平台。 国际期刊软件。 技术工具。 Transf公司。 9 ( 1 ) 以下为: 5-24 ( 2007 ) [c18] 马可·波扎诺 , 亚历山德罗·西马蒂 , 弗朗西斯科·塔帕罗 以下为:
无功系统的符号故障树分析。 ATVA公司 2007 以下为: 162-176 2006 [j5] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 西尔维奥·兰伊斯 , 彼得·范·罗苏姆 , 罗伯托·塞巴斯蒂亚尼 以下为:
通过布尔搜索进行有效的理论组合。 Inf.计算。 204 ( 10 ) 以下为: 1493-1525年 ( 2006 ) [第17条] 贝尔托利 , 马可·波扎诺 , 亚历山德罗·西马蒂 以下为:
用于安全分析、诊断和综合的符号模型检查框架。 MoChArt公司 2006 以下为: 1-18 [第16条] 理查德·巴纳赫 , 马可·波扎诺 以下为:
静态、动态和循环系统的收缩和故障树的生成。 SAFECOMP公司 2006 以下为: 127-141 2005 【j4】 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂安尼 以下为:
数学SAT:SAT与数学决策程序的紧密结合。 J.汽车。 原因。 35 ( 1-3 ) 以下为: 265-293 ( 2005 ) [第15条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 以下为:
MathSAT 3系统。 CADE公司 2005 以下为: 315-321 [第14条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 西尔维奥·兰伊斯 , 彼得·范·罗苏姆 , 罗伯托·塞巴斯蒂安尼 以下为:
基于延迟理论组合的有效可满足模理论。 CAV汽车 2005 以下为: 335-349 [第13条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 以下为:
线性算术逻辑可满足性的增量分层过程。 TACAS公司 2005 以下为: 317-333 [第12条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 安德斯·弗兰泽 , 齐亚德·汉纳 , 苏拉布·卡西达什维利 , 阿米特·帕尔蒂 , 罗伯托·塞巴斯蒂亚尼 以下为:
MathSAT的RTL结构编码:初步报告。 CAV的PDPAR 2005 以下为: 3-14 2004 [j3] 马可·波扎诺 , 乔治·德尔扎诺 以下为:
密码协议的线性逻辑规范的保密属性的自动验证。 J.塞姆。 计算。 38 ( 5 ) 以下为: 1375-1415 ( 2004 ) [注2] 马可·波扎诺 , 乔治·德尔赞诺 , 毛里齐奥·马泰利 以下为:
模型检查线性逻辑规范。 理论实践。 日志。 程序。 4 ( 5-6 ) 以下为: 573-619 ( 2004 ) [第11条] 吉尔斯·奥德马尔 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 罗伯托·塞巴斯蒂亚尼 以下为:
用MathSAT验证工业混合系统。 BMC@CAV 2004 以下为: 17-32 2003 [第10条] 马可·波扎诺 , 安东内拉·卡瓦洛 , 马西莫·西法尔迪 , 劳拉·瓦拉卡 , 阿道夫·维拉菲奥里塔 以下为:
改进复杂系统的安全评估:一个工业案例研究。 失效模式与后果 2003 以下为: 208年至222年 【c9】 马可·波扎诺 , 阿道夫·维拉菲奥里塔 以下为:
通过模型检查提高系统可靠性:FSAP/NuSMV-SA安全分析平台。 SAFECOMP公司 2003 以下为: 49-62 [i2] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 以下为:
模型检查线性逻辑规范。 CoRR公司 反恐精英。 PL/0309003 ( 2003 ) 2002 [j1] 马尔科·博扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马特利 以下为:
线性逻辑程序的有效不动点语义。 理论实践。 日志。 程序。 2 ( 1 ) 以下为: 85-122 ( 2002 ) 【c8】 马可·波扎诺 , 乔治·德尔扎诺 以下为:
基于失效协议的算法验证。 CAV汽车 2002 以下为: 295-308 【c7】 马可·波扎诺 , 乔治·德尔扎诺 以下为:
线性逻辑中的自动协议验证。 PPDP(PPDP) 2002 以下为: 38-49 【c6】 马可·波扎诺 , 乔治·德尔扎诺 以下为:
超越参数化验证。 TACAS公司 2002 以下为: 221-235 2001 [c5] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 以下为:
一阶线性逻辑程序的有效自底向上语义。 FLOPS(浮动) 2001 以下为: 138-152 【c4】 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 以下为:
析取与线性逻辑规划的关系。 APPIA-GULP-PRODE公司 2001 以下为: 65-89 [i1] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 以下为:
线性逻辑程序的有效定点语义。 CoRR公司 反恐精英。 PL/0102025 ( 2001 ) 2000 【c3】 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 以下为:
线性逻辑程序的自下而上语义。 PPDP(PPDP) 2000 以下为: 92-102