马可·波扎诺
人员信息
优化列表
2020年–今天
2023 [公元49年] 伊莎贝拉·兰扎尼 , 里卡多·斯卡托里尼 , 恩里科·齐奥 , 亚历山德罗·西马蒂 , 马可·波扎诺 , 斯特凡诺·托内塔 :
用于故障树分析的基于模型的安全评估的两种正式方法。 ICSRS系统 2023 : 376-383 2022 [公元18年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
公平过渡系统的可诊断性。 Artif公司。 智力。 309 : 103725 ( 2022 ) [公元48年] 阿尔贝托·邦巴德利 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马西莫·纳扎里亚 , 埃多亚多·尼科洛迪 , 斯特凡诺·托内塔 :
COMPSTA:用形式化设计和验证功能扩展TASTE。 IMBSA公司 2022 : 21-27 [公元47年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马丁·乔纳斯 , 格雷格·金伯利 :
基于ASP的循环故障传播分析。 低密度核磁共振 2022 : 470-483 [公元46年] 阿图罗·阿蒙多拉 , 洛伦佐·巴鲁夫 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 萨尔瓦多·德西蒙 , 尤金尼奥·费德利 , 阿特姆·加巴索夫 , 多梅尼科·埃内斯托·加鲁巴 , 马西米利亚诺·吉拉迪 , 戴安娜·塞拉 , 罗伯托·蒂埃拉 , 詹尼·赞佩德里 :
列车运行自动控制系统的形式化设计与验证。 RSS邮件 2022 : 169-178 [c45] 马可·波扎诺 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马丁·乔纳斯 :
基于布尔故障传播的循环冗余结构的有效分析。 TACAS(2) 2022 : 273-291 [公元44年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
在公平过渡系统中寻找带状路径。 TACAS(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 ) [j15] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 :
车载自主验证和确认的综合方法。 ACM事务处理。 智力。 系统。 Technol公司。 12 ( 4 ) : 46:1-46:29 ( 2021 ) [公元43年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 安东尼·费尔南德斯·皮雷 , 阿尔贝托·格里乔 , 马丁·乔纳斯 , 格雷格·金伯利 :
基于SMT的失效传播高效分析。 CAV(2) 2021 : 209-230 2020 [公元42年] 马可·波扎诺 , 蒙克 , 马库斯·施韦泽 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
模式转换的基于模型的安全分析。 SAFECOMP公司 2020 : 99-114
2010 – 2019
2019 [公元14年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 克里斯蒂安·马塔雷 :
冗余架构的正式可靠性分析。 形式方面计算。 31 ( 1 ) : 59-94 ( 2019 ) [公元41年] 马可·波扎诺 , 哈罗德·布鲁因杰斯 , 亚历山德罗·西马蒂 , 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年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 :
航天器工程的定时故障传播分析:欧空局太阳轨道飞行器案例研究。 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 [公元36年] 本杰明·比特纳 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米凯利 , 詹尼·赞佩德里 :
xSAP安全分析平台。 TACAS公司 2016 : 533-539 2015 [j13] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 :
使用时间认知逻辑的异步故障检测和识别组件的形式化设计。 日志。 方法计算。 科学。 11 ( 4 ) ( 2015 ) [公元12年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 奥列格·利萨戈 , 克里斯蒂安·马塔雷 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
通过符号模型检查对AltaRica模型进行安全评估。 科学。 计算。 程序。 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 ) [公元32年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 克里斯蒂安·马塔雷 , 斯特凡诺·托内塔 :
通过基于合同的设计进行正式安全评估。 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 [公元25年] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 泽维尔橄榄 :
可诊断性可观测性要求的符号合成。 AAAI公司 2012 : 712-718 2011 [j8] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 :
扩展AADL模型的安全性、可靠性和性能分析。 计算。 J。 54 ( 5 ) : 754-775 ( 2011 ) [j7] 马可·波扎诺 , 亚历山德罗·西马蒂 , 奥列格·利萨戈 , 克里斯蒂安·马塔雷 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
Altarica模型的符号模型检查和安全评估。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 46 ( 2011 ) [公元24年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 , 安德烈·查尔兹夫 :
车载自主验证和确认的综合方法。 国际JCAI 2011 : 2398-2403 2010 [c23] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 , 拉尔夫·威默 :
AADL的模型检查器。 腔静脉 2010 : 562-565
2000 – 2009
2009 [公元22年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 :
可靠系统的协同设计:一种基于组件的建模语言。 记忆码 2009 : 121-130 【c21】 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 :
关键嵌入式系统的基于模型的协同设计。 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 ) [第18条] 马可·波扎诺 , 亚历山德罗·西马蒂 , 弗朗西斯科·塔帕罗 :
无功系统的符号故障树分析。 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】 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
数学SAT:SAT与数学决策程序的紧密结合。 J.汽车。 原因。 35 ( 1-3 ) : 265-293 ( 2005 ) [第15条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
MathSAT 3系统。 CADE公司 2005 : 315-321 [第14条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 西尔维奥·兰伊斯 , 彼得·范·罗苏姆 , 罗伯托·塞巴斯蒂亚尼 :
基于延迟理论组合的有效可满足模理论。 腔静脉 2005 : 335-349 [第13条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
线性算术逻辑可满足性的增量分层过程。 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 [c10] 马可·波扎诺 , 安东内拉·卡瓦洛 , 马西莫·西法尔迪 , 劳拉·瓦拉卡 , 阿道夫·维拉菲奥里塔 :
改进复杂系统的安全评估:工业案例研究。 失效模式与后果 2003 : 208-222 【c9】 马可·波扎诺 , 阿道夫·维拉菲奥里塔 :
通过模型检查提高系统可靠性:FSAP/NuSMV-SA安全分析平台。 SAFECOMP公司 2003 : 49-62 [i2] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
模型检查线性逻辑规范。 CoRR公司 反恐精英。 PL/0309003 ( 2003 ) 2002 [j1] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
线性逻辑程序的有效不动点语义。 理论与实践。 日志。 程序。 2 ( 1 ) : 85-122 ( 2002 ) 【c8】 马可·波扎诺 , 乔治·德尔扎诺 :
基于失效协议的算法验证。 腔静脉 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
1990 – 1999
1999 【c2】 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
作为软件工程企业的多代理系统开发。 PADL(PADL) 1999 : 46-60 [第1页] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
逻辑编程和多代理系统:应用程序和语义的协同组合。 逻辑程序设计范式 1999 : 5-32 1997 【c1】 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
面向对象、演绎和主动数据库的线性逻辑语义。 APPIA-GULP-PRODE公司 1997 : 105-116