@进行中{DBLP:conf/icsrs/LanzaniSZCBT23，author={Isabella Lanzani和里卡多·斯卡托里尼和Enrico Zio和亚历山德罗·西马蒂和Marco Bozzano和斯特凡诺·托内塔}，title={基于模型的故障安全评估的两种形式化方法树分析}，booktitle={第七届系统可靠性和安全国际会议，{ICSRS}2023年，意大利博洛尼亚，2023年11月22日至24日}，页数={376--383}，publisher={{IEEE}}，年份={2023}，url={https://doi.org/10.1109/ICSRS59833.2023.10381356},doi={10.1109/ICSRS59833.2023.10381356}，时间戳={2024年2月9日星期五20:38:51+0100}，比布尔={https://dblp.org/rec/conf/icsrs/LanzaniSZCBT23.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ai/BittnerBCGTV22，author={Benjamin Bittner和Marco Bozzano和亚历山德罗·西马蒂和马可·加里奥和斯特凡诺·托内塔和维基特{\'{o}}里亚沃兹{\'}a}}罗夫{\''{a}}}，title＝{公平过渡系统的可诊断性}，日志={Artif.Intern.}，体积={309}，页数={103725}，年份={2022}，url={https://doi.org/10.1016/j.artint.2022.103725},doi={10.1016/J.ARTINT.2022.103725}，timestamp={2022年6月28日星期二01:00:00+0200}，比布尔={https://dblp.org/rec/journals/ai/BittnerBCGTV22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/imbsa/BombardelliBCCG22，author={Alberto Bombardelli和Marco Bozzano和罗伯托·卡瓦达和亚历山德罗·西马蒂和阿尔贝托·格里乔和马西莫·纳扎里亚和Edoardo Nicolodi和斯特凡诺·托内塔}，editor={Christel Seguin和马克·泽勒和Tatiana Prosvirnova}，title={{COMPASTA:}用形式化设计和验证扩展{TASTE}功能}，booktitle={基于模型的安全与评估-第八届国际研讨会，{IMBSA}2022年9月5日至7日，德国慕尼黑，2022，Proceedings}，series={计算机科学讲稿}，体积={13525}，页数={21--27}，publisher={Springer}，年份={2022}，url={https://doi.org/10.1007/978-3-031-15842-1\_2},doi={10.1007/978-3-031-15842-1\2}，时间戳＝{2023年3月21日星期二00:00:00+0100}，比布尔={https://dblp.org/rec/conf/imbsa/BombardelliBCCG22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/lpnmr/BozzanoCGJK22，author={Marco Bozzano和亚历山德罗·西马蒂和阿尔贝托·格里乔和马丁·乔恩和格雷格·金伯利}，editor={Georg Gottlob和Daniela Inclezan和Marco Maratea}，title={通过{ASP}}分析循环故障传播，booktitle={逻辑编程和非单调推理-第16届国际会议，{LPNMR}2022，Genova，意大利，2022年9月5-9日，会议记录}，series={计算机科学讲稿}，体积={13416}，页数={470--483}，publisher={Springer}，年份={2022}，url={https://doi.org/10.1007/978-3-031-15707-3\_36},doi={10.1007/978-3-031-15707-3\36}，timestamp={2022年9月22日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/lpnmr/BozzanoCGJK22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/rssrail/AmendolaBBCSFG22，author={阿图罗·阿蒙多拉和Lorenzo Barruffo和Marco Bozzano和亚历山德罗·西马蒂和Salvatore De Simone和Eugenio Fedeli和阿特姆·加巴索夫和Domenico Ernesto Garrubba和马西米利亚诺·吉拉迪和戴安娜·塞拉和罗伯托·蒂埃拉和吉安尼·赞佩德里}，editor={Simon Collart Dutilleul和Anne E.Haxthausen和蒂埃里·勒科姆}，title={列车自动运行控制的正式设计和验证系统}，booktitle={铁路系统的可靠性、安全性和安全性。建模、分析，验证和认证-第四届国际会议，RSSRail2022年，法国巴黎，2022年6月1日至2日，会议记录}，series={计算机科学讲稿}，体积={13294}，页数={169--178}，publisher={Springer}，年份={2022}，url={https://doi.org/10.1007/978-3-031-05814-1\_12} ，doi={10.1007/978-3-031-05814-1\_12}，timestamp={2024年5月7日星期二01:00:00+0200}，比布尔={https://dblp.org/rec/conf/rssrail/AmendolaBCSFGG22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/tacas/BozzanoCGJ22，author={Marco Bozzano和亚历山德罗·西马蒂和阿尔贝托·格里乔和马丁·乔恩，editor={Dana Fisman和格里戈·罗苏}，title={基于布尔函数的循环冗余体系结构的有效分析故障传播}，booktitle={系统构建和分析的工具和算法-2022年第28届国际会议，{TACAS}，作为欧洲软件理论与实践联合会议2022年，德国慕尼黑，2022年4月2日至7日，会议记录，第{II}}部分，series={计算机科学讲稿}，体积={13244}，页数={273--291}，publisher={Springer}，年份={2022}，url={https://doi.org/10.1007/978-3-030-99527-0\_15},doi={10.1007/978-3-030-99527-0\_15}，时间戳={2022年4月29日星期五14:50:32+0200}，比布尔={https://dblp.org/rec/conf/tacas/BozzanoCGJ22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/tacas/BozzanoCTV22，author={Marco Bozzano和亚历山德罗·西马蒂和斯特凡诺·托内塔和维基特{\'{o}}里亚沃兹{\'}a}}罗夫{\''{a}}}，editor={Dana Fisman和格里戈·罗苏}，title={在公平过渡系统中搜索带状路径}，booktitle={系统构建和分析的工具和算法-2022年第28届国际会议，作为欧洲软件理论与实践联合会议2022年，德国慕尼黑，2022年4月2日至7日，会议记录，第{I}}部分，series={计算机科学讲稿}，体积={13243}，页数={543--560}，publisher={Springer}，年份={2022}，url={https://doi.org/10.1007/978-3-030-99524-9\_30},doi={10.1007/978-3-030-99524-9\_30}，时间戳＝｛2022年10月2日星期日01:00:00+0200｝，比布尔={https://dblp.org/rec/conf/tacas/BozzanoCTV22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/fac/BozzanoCGJM21，author={Marco Bozzano和亚历山德罗·西马蒂和马可·加里奥和David Jones和克里斯蒂安·马塔雷（Cristian Mattarei），title={使用xSAP对三模块发电机进行基于模型的安全评估}，journal={形式方面计算}，体积={33}，数字={2}，页数={251--295}，年份={2021}，url={https://doi.org/10.1007/s00165-021-00532-9},doi={10.1007/S00165-021-00532-9}，timestamp={2022年5月9日星期一01:00:00+0200}，比布尔={https://dblp.org/rec/journals/fac/BozzanoCGJM21.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/mam/AgireBBGBBFEOOPPSSTTBYS21，author={Joseba Andoni Agirre和Leire Etxeberria和劳尔·巴博萨和Stylianos Basagiannis和乔治·吉安塔米迪斯和托马斯·鲍尔和Enrico Ferrari和Mikel Labayen Esnaola和Vanessa Orani和约翰尼·博格和David Pereira和Jos{\'{e}}Proen{\c{c}}a和Rupert Schlick和Ales Smrcka和Walter Tiberti和斯特凡诺·托内塔和Marco Bozzano和Ahmet Yazici和Behrooz Sangchoolie}，title＝｛VALU3S｝｛ECSEL｝项目：自动化的验证和验证系统安全}，journal={Microprocess.Microsystems}，体积＝{87}，页数={104349}，年份={2021}，url={https://doi.org/10.1016/j.micpro.2021.104349},doi={10.1016/J.MICPRO.2021.104349}，timestamp={2023年12月21日星期四00:00:00+0100}，比布尔={https://dblp.org/rec/journals/mam/AgireBBGBBFEOOPSTTBYS21.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:期刊/tist/BozzanoCR21，author={Marco Bozzano和亚历山德罗·西马蒂和Marco Roveri}，title={车载自主验证和确认的综合方法}，日志={{ACM}事务。智力。系统。技术}，体积={12}，数字={4}，页数={46:1--46:29}，年份={2021}，url={https://doi.org/10.1145/3472715},doi={10.1145/3472715}，timestamp={2021年10月5日星期二01:00:00+0200}，比布尔={https://dblp.org/rec/journals/tis/BozzanoCR21.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/cav/BozzanoCPGJK20，author={Marco Bozzano和亚历山德罗·西马蒂和安东尼·费尔南德斯·皮雷和阿尔贝托·格里乔和马丁·乔恩和格雷格·金伯利（Greg Kimberly），editor={Alexandra Silva和K.Rustan M.Leino}，title＝{基于SMT的故障传播的有效分析}，booktitle={计算机辅助验证-第33届国际会议，{CAV}2021年，虚拟事件，2021年7月20日至23日，会议记录，第{II}}部分，series={计算机科学讲稿}，体积={12760}，页数={209--230}，publisher={Springer}，年份={2021}，url={https://doi.org/10.1007/978-3-030-81688-9\_10},doi={10.1007/978-3-030-81688-9\_10}，时间戳＝{2021年8月12日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/cav/BozzanoCPGJK20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/safecomp/BozzanoMSTV20，author={Marco Bozzano和彼得·蒙克和马库斯·施韦泽和斯特凡诺·托内塔和维基特{\'{o}}里亚沃兹{\'}a}}罗夫{\''{a}}}，editor={Ant{\'{o}}nio Casimiro和Frank Ortmier和Friedemann Bitsch和佩德罗·费雷拉}，title={模态转换的基于模型的安全分析}，booktitle={计算机安全、可靠性和安全——第39届国际会议，{SAFECOMP}2020，葡萄牙里斯本，2020年9月16-18日，会议记录}，series={计算机科学讲稿}，体积={12234}，页数={99--114}，publisher={Springer}，年份={2020年}，url={https://doi.org/10.1007/978-3-030-54549-9\_7},doi={10.1007/978-3-030-54549-9\_7}，timestamp={2020年8月20日星期四14:33:29+0200}，比布尔={https://dblp.org/rec/conf/safecomp/BozzanoMSTV20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/fac/BozzanoCM19，author={Marco Bozzano和亚历山德罗·西马蒂和克里斯蒂安·马塔雷（Cristian Mattarei），title={冗余架构的形式可靠性分析}，journal={形式方面计算}，体积={31}，数字={1}，页数={59--94}，年份＝{2019}，url={https://doi.org/10.1007/s00165-018-0475-1},doi={10.1007/S00165-018-0475-1}，timestamp={2022年5月9日星期一01:00:00+0200}，比布尔={https://dblp.org/rec/journals/fac/BozzanoCM19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/tacas/BozzanoBCKNT19，作者=｛Marco Bozzano和Harold Bruintjes和亚历山德罗·西马蒂和乔斯特｛-｝皮特卡托恩和托马斯·诺尔和斯特凡诺·托内塔}，editor={Tom{\'{a}}s Vojnar和张立军}，title={{COMPASS}3.0}，booktitle={系统构建和分析的工具和算法-2019年第25届国际会议{TACAS}，作为欧洲软件理论与实践联合会议2019年，捷克共和国布拉格，2019年4月6日至11日，会议记录，第部分{一} }、，series={计算机科学讲稿}，体积={11427}，页数={379--385}，publisher={Springer}，年份={2019}，url={https://doi.org/10.1007/978-3-030-17462-0\_25},doi={10.1007/978-3-030-17462-0\_25}，时间戳＝｛2022年10月2日星期日01:00:00+0200｝，比布尔={https://dblp.org/rec/conf/tacas/BozzanoBCKNT19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@会议记录{DBLP:conf/imbsa/2019，editor={Yiannis Papadopoulos和Koorosh Aslansefat和卡氏帕纳吉奥蒂斯和马可·波扎诺（Marco Bozzano），title={基于模型的安全与评估-第六届国际研讨会，{IMBSA}2019年，希腊塞萨洛尼基，2019年10月16-18日，Proceedings}，series={计算机科学讲稿}，体积={11842}，publisher={Springer}，年份={2019}，url={https://doi.org/10.1007/978-3-030-32872-6},doi={10.1007/978-3-030-32872-6}，isbn={978-3-030-32871-9}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/imbsa/2019.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/imbsa/BittnerBC17，author={Benjamin Bittner和Marco Bozzano和亚历山德罗·西马蒂}，editor={Marco Bozzano和伊安妮斯·帕帕佐普洛斯}，title=｛航天器工程的定时故障传播分析：{ESA}太阳轨道器案例研究}，booktitle={基于模型的安全与评估-第五届国际研讨会，{IMBSA}2017年，意大利特伦托，2017年9月11日至13日，会议记录}，series={计算机科学讲稿}，体积={10437}，页数={255--271}，publisher={Springer}，年份={2017年}，url={https://doi.org/10.1007/978-3-319-64119-5\_17},doi={10.1007/978-3-319-64119-5\_17}，timestamp={2021年10月14日星期四09:59:31+0200}，比布尔={https://dblp.org/rec/conf/imbsa/BittnerBC17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:日志/corr/abs-1710-03392，author={Marco Bozzano}，editor={Alex Groce和斯特凡·洛伊}，title={故障管理设计中的因果关系和时间依赖性系统}，booktitle={Proceedings第二届嵌入式因果推理国际研讨会和安全关键系统技术，ETAPS坝顶2017年，乌普萨拉，瑞典，2017年4月29日}，系列={{EPTCS}}，体积={259}，页数={39--46}，年份={2017年}，url={https://doi.org/10.4204/EPTCS.259.4},doi={10.4204/EPTCS.259.4}，时间戳＝{2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/corr/abs-1710-03392.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@会议记录{DBLP:conf/imbsa/2017，editor={Marco Bozzano和伊安妮斯·帕帕佐普洛斯}，title={基于模型的安全与评估-第五届国际研讨会，{IMBSA}2017年，意大利特伦托，2017年9月11日至13日，诉讼程序}，series={计算机科学讲稿}，体积={10437}，publisher={Springer}，年份={2017年}，url={https://doi.org/10.1007/978-3-319-64119-5},doi={10.1007/978-3-319-64119-5}，isbn={978-3-319-64118-8}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/imbsa/2017.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/aaai/BittnerBCZ16，author={Benjamin Bittner和Marco Bozzano和亚历山德罗·西马蒂和吉安尼·赞佩德里}，editor={Dale Schuurmans和迈克尔·威尔曼（Michael P.Wellman），title={故障传播模型的自动验证和拧紧}，booktitle={第三十届{AAAI}人工智能会议记录，2016年2月12日至17日，美国亚利桑那州凤凰城，页数={907--913}，publisher={{AAAI}出版社}，年份={2016年}，url={https://doi.org/10.1609/aaai.v30i1.10094},doi={10.1609/AAAI.V30I1.10094}，timestamp={2023年9月4日星期一15:08:28+0200}，比布尔={https://dblp.org/rec/conf/aaai/BittnerBCZ16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ijcai/BittnerBC16，author={Benjamin Bittner和Marco Bozzano和亚历山德罗·西马蒂}，editor={Subbarao Kambhampati}，title={定时故障传播图的自动合成}，booktitle={第二十五届国际联合会议记录人工智能，{IJCAI}2016，美国纽约州纽约市，7月9日至15日2016},页数={972--978}，publisher={{IJCAI/AAAI}出版社}，年份={2016年}，url={http://www.ijcai.org/摘要/16/142},timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/ijcai/BittnerBC16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/tacas/BittnerBCCGGMMZ16，author={Benjamin Bittner和Marco Bozzano和罗伯托·卡瓦达和亚历山德罗·西马蒂和马可·加里奥和阿尔贝托·格里乔和克里斯蒂安·马塔雷和Andrea Micheli和吉安尼·赞佩德里}，编辑=｛Marsha Chechik和牛仔{-}弗兰{\c{c}}ois Raskin}，title={xSAP安全分析平台}，booktitle={系统构建和分析的工具和算法-2016年第22届国际会议，{TACAS}，作为欧洲软件理论与实践联合会议2016年，荷兰埃因霍温，2016年4月2日至8日，会议记录}，series={计算机科学讲稿}，体积={9636}，页数={533--539}，publisher={Springer}，年份={2016年}，url={https://doi.org/10.1007/978-3-662-49674-9\_31},doi={10.1007/978-3-662-49674-9\31}，timestamp={2021年7月25日，星期日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/tacas/BittnerBCCGGMMZ16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/BozzanoCGT15，author={Marco Bozzano和亚历山德罗·西马蒂和马可·加里奥和斯特凡诺·托内塔}，title={异步故障检测和识别组件的形式化设计使用时间认识逻辑}，journal={Log.Methods计算科学}，体积={11}，数字={4}，年份={2015年}，url={https://doi.org/10.2168/LMCS-11(4:4)2015},doi={10.2168/LMCS-11（4:4）2015}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/corr/BozzanoCGT15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/scp/BuzzanoCLMMRT15，author={Marco Bozzano和亚历山德罗·西马蒂和Oleg Lisagor和克里斯蒂安·马塔雷和Sergio Mover和Marco Roveri和Stefano Tonetta}，title={通过符号模型检查对AltaRica模型进行安全评估}，journal={Sci.Compute.Program.}，体积＝{98}，页数={464--483}，年份={2015年}，url={https://doi.org/10.1016/j.scico.2014.06.003},doi={10.1016/J.SCICO.2014.06.003}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/scp/BozzanoCLMMRT15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/aaai/BozzanoCGM15，author={Marco Bozzano和亚历山德罗·西马蒂和马可·加里奥和安德烈亚·米凯利（Andrea Micheli），editor={Blai Bonet和斯文·柯尼格}，title={基于SMT的定时故障传播图验证}，booktitle={第二十届{AAAI}人工智能会议论文集，2015年1月25日至30日，美国得克萨斯州奥斯汀，页数={3724--3730}，publisher={{AAAI}出版社}，年份={2015年}，url={https://doi.org/10.1609/aaai.v29i1.9753},doi={10.1609/AAAI.V29I1.9753}，timestamp={2023年9月18日星期一01:00:00+0200}，比布尔={https://dblp.org/rec/conf/aaai/BozzanoCGM15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/cav/BozzanoCPJKPRT15，author={Marco Bozzano和亚历山德罗·西马蒂和安东尼·费尔南德斯·皮雷和David Jones和格雷格·金伯利和T.Petri和R.Robinson和斯特凡诺·托内塔}，编辑=｛Daniel Kroening和Corina S.Pasareanu}，title={AIR6110}车轮制动系统的形式化设计和安全性分析}，booktitle={计算机辅助验证-第27届国际会议，{CAV}2015年7月18日至24日，加利福尼亚州旧金山，美国，诉讼，第部分{一} }、，series={计算机科学讲稿}，体积＝{9206}，页数={518--535}，publisher={Springer}，年份={2015年}，url={https://doi.org/10.1007/978-3-319-21690-4\_36},doi={10.1007/978-3-319-21690-4\36}，timestamp={2021年4月20日星期二01:00:00+0200}，比布尔={https://dblp.org/rec/conf/cav/BozzanoCPJKPRT15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/cav/BozzanoCGM15，author={Marco Bozzano和亚历山德罗·西马蒂和阿尔贝托·格里乔和克里斯蒂安·马塔雷（Cristian Mattarei），editor={Daniel Kroening和Corina S.Pasareanu}，title={基于模型的安全分析的高效随时技术}，booktitle={计算机辅助验证-第27届国际会议，{CAV}2015年7月18日至24日，加利福尼亚州旧金山，美国，诉讼，第部分{一} }、，series={计算机科学讲稿}，体积={9206}，页数={603--621}，publisher={Springer}，年份={2015年}，url={https://doi.org/10.1007/978-3-319-21690-4\_41},doi={10.1007/978-3-319-21690-4\_41}，timestamp={2021年4月9日星期五01:00:00+0200}，比布尔={https://dblp.org/rec/conf/cav/BozzanoCGM15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/BittnerBCCGGMMZ15，author={Benjamin Bittner和Marco Bozzano和罗伯托·卡瓦达和亚历山德罗·西马蒂和马可·加里奥和阿尔贝托·格里乔和克里斯蒂安·马塔雷和Andrea Micheli和吉安尼·赞佩德里}，title={xSAP安全分析平台}，日志={CoRR}，体积={abs/1504.07513}，年份={2015年}，url={http://arxiv.org/abs/1504.07513},eprinttype={arXiv}，eprint={1504.07513}，timestamp={2018年8月13日星期一01:00:00+0200}，比布尔={https://dblp.org/rec/journals/corr/BittnerBCCGMMZ15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ress/BozzanoCKKMNNPR14，author={Marco Bozzano和亚历山德罗·西马蒂和乔斯特{-}皮特卡托恩和卡氏帕纳吉奥蒂斯和Konstantinos Mokos和越南元和托马斯·诺尔和Bart Postma和Marco Roveri}，title={使用形式化方法进行航天器早期设计验证}，日志={Reliab.Eng.Syst.Saf.}，体积={132}，页数={20--35}，年份={2014}，url={https://doi.org/10.1016/j.ress.2014.07.003},doi={10.1016/J.RESS.2014.07.003}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/ress/BozzanoCKKMNNPR14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/atva/BozzanoCMT14，author={Marco Bozzano和亚历山德罗·西马蒂和克里斯蒂安·马塔雷和斯特凡诺·托内塔}，editor={Franck Cassez和牛仔{-}弗兰{\c{c}}ois Raskin}，title={通过基于合同的设计进行正式安全评估}，booktitle={验证和分析自动化技术-第12届国际2014年11月3-7日，澳大利亚新南威尔士州悉尼，{ATVA}研讨会，诉讼}，series={计算机科学讲稿}，体积={8837}，页数={81--97}，publisher={Springer}，年份={2014}，url={https://doi.org/10.1007/978-3-319-1193-6\_7},doi={10.1007/978-3-319-11936-6\_7}，timestamp={2019年6月2日，星期日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/atva/BozzanoCMT14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/fmcad/BittnerBCGG14，author={Benjamin Bittner和Marco Bozzano和亚历山德罗·西马蒂和马可·加里奥和阿尔贝托·格里乔（Alberto Griggio），title＝{朝向单调成本函数的帕累托最优参数合成}，booktitle={计算机辅助设计中的形式方法，{FMCAD}2014，瑞士洛桑，2014年10月21日至24日}，页码＝{23-30}，publisher={{IEEE}}，年份={2014}，url={https://doi.org/10.109/FMCAD.2014.6987591},doi={10.1109/FMCAD.2014.6987591}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/fmcad/BittnerBCGG14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/imbsa/BittnerBCFGGY14，author={Benjamin Bittner和Marco Bozzano和亚历山德罗·西马蒂和R{\'{e}}gis De Ferluc和马可·加里奥和安德烈亚·吉奥托和Yuri Yushtein}，editor={Frank Ortmier和Antoine Rauzy}，title={航空航天{FDIR}设计的集成过程}，booktitle＝｛基于模型的安全和评估-第四届国际研讨会，｛IMBSA｝2014年10月27日至29日，德国慕尼黑。诉讼}，series={计算机科学讲稿}，体积={8822}，页数={82--95}，publisher={Springer}，年份={2014}，url={https://doi.org/10.1007/978-3-319-12214-4\_7},doi={10.1007/978-3-319-12214-4\_7}，timestamp={2019年6月2日，星期日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/imbsa/BittnerBCFGGY14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/tacas/BozzanoCGT14，author={Marco Bozzano和亚历山德罗·西马蒂和马可·加里奥和斯特凡诺·托内塔}，editor={Erika{'{A}}brah{'{A}}m和克劳斯·哈维隆德}，title={故障检测和识别组件的形式化设计时间认识逻辑}，booktitle={系统构建和分析的工具和算法-2014年第20届国际会议，{TACAS}，作为欧洲软件理论与实践联合会议2014年4月5日至13日，法国格勒诺布尔。诉讼}，series={计算机科学讲稿}，体积＝{8413}，页数={326--340}，publisher={Springer}，年份={2014}，url={https://doi.org/10.1007/978-3-642-54862-8\_22},doi={10.1007/978-3-642-54862-8\_22}，timestamp={2019年6月2日，星期日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/tacas/BozzanoCGT14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/fac/BanachB13，author={Richard Banach和马可·波扎诺（Marco Bozzano），title={无功系统故障树的机械生成紧缩{I:}组合电路}，journal={形式方面计算}，体积={25}，数字={4}，页数={573--607}，年份={2013}，url={https://doi.org/10.1007/s00165-011-0202-7},doi={10.1007/S00165-011-0202-7}，timestamp={2022年5月9日星期一01:00:00+0200}，比布尔={https://dblp.org/rec/journals/fac/BanachB13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/fac/BanachB13a，author={Richard Banach和马可·波扎诺（Marco Bozzano），title={无功系统故障树的机械生成紧缩{II:}时钟和反馈电路}，journal={形式方面计算}，体积={25}，数字={4}，页码={609--657}，年份={2013}，url={https://doi.org/10.1007/s00165-011-0203-6},doi={10.1007/S00165-011-0203-6}，timestamp={2022年5月9日星期一01:00:00+0200}，比布尔={https://dblp.org/rec/journals/fac/BanachB13a.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/aaai/BozzanoCGT13，author={Marco Bozzano和亚历山德罗·西马蒂和马可·加里奥和斯特凡诺·托内塔}，title={规范、验证和综合的形式化框架诊断器}，booktitle={人工智能领域的最新发展，2013年7月14日至18日，美国华盛顿州贝尔维尤，series={{AAAI}技术报告}，体积={{WS-13-17}}，发布者={{AAAI}}，年份={2013}，url={http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7048},时间戳={2023年9月5日星期二08:59:27+0200}，比布尔={https://dblp.org/rec/conf/aaai/BozzanoCGT13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/hvc/BuzzanoCM13，author={Marco Bozzano和亚历山德罗·西马蒂和克里斯蒂安·马塔雷（Cristian Mattarei），编辑={瓦莱丽亚·贝塔科和Axel Legay}，title={通过谓词抽象对可靠性体系结构进行有效分析}，booktitle＝｛硬件和软件：验证和测试-第九国际2013年11月在以色列海法举行的海法验证会议（{HVC}）2013年5月7日，会议记录}，series={计算机科学讲稿}，体积＝{8244}，页数={279--294}，publisher={Springer}，年份={2013}，url={https://doi.org/10.1007/978-3-319-03077-7\_19},doi={10.1007/978-3-319-03077-7\_19}，timestamp={2019年6月2日，星期日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/hvc/BozzanoCM13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/iceccs/BozzanoCM13，author={Marco Bozzano和亚历山德罗·西马蒂和克里斯蒂安·马塔雷（Cristian Mattarei），title={可靠性架构的自动分析}，booktitle={2013年第18届国际复杂计算机工程会议Systems，新加坡，2013年7月17日至19日}，页数={198--207}，publisher={{IEEE}计算机协会}，年份={2013}，url={https://doi.org/10.109/ICECCS.2013.37},doi={10.1109/ICECCS.2013.37}，timestamp={2023年3月24日星期五00:00:00+0100}，比布尔={https://dblp.org/rec/conf/iceccs/BozzanoCM13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/aaai/BittnerBCO12，author={Benjamin Bittner和Marco Bozzano和亚历山德罗·西马蒂和泽维尔橄榄}，editor={J{\“{o}}rg Hoffmann和巴特·塞尔曼}，title={可诊断性的可观测性要求的符号合成}，booktitle={第26届{AAAI}人工智能会议记录，2012年7月22日至26日，加拿大安大略省多伦多市，页数={712--718}，publisher={{AAAI}出版社}，年份={2012}，url={https://doi.org/10.1609/aaai.v26i1.8225},doi={10.1609/AAAI.V26I1.8225}，timestamp={2023年9月4日，星期一15:56:47+0200}，比布尔={https://dblp.org/rec/conf/aaai/BittnerBCO12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/cj/BozzanoCKNNR11，作者=｛Marco Bozzano和亚历山德罗·西马蒂和乔斯特{-}皮特卡托恩和越南元和托马斯·诺尔和Marco Roveri}，title={扩展{AADL}的安全性、可靠性和性能分析模型}，日志={Compute.J.}，体积={54}，数字={5}，页数={754--775}，年份={2011}，url={https://doi.org/10.1093/comjnl/bxq024},doi={10.1093/COMJNL/BXQ024}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/cj/BozzanoCKNNR11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/eceasst/BozzanoCLMMRT11，author={Marco Bozzano和亚历山德罗·西马蒂和Oleg Lisagor和克里斯蒂安·马塔雷和Sergio Mover和Marco Roveri和斯特凡诺·托内塔}，title={Altarica模型的符号模型检查和安全评估}，期刊={Electron.Comun.Eur.Assoc.Softw.Sci.Technol.}，体积={46}，年份={2011}，url={https://doi.org/10.14279/tuj.eceasst.46.697},doi={10.14279/TUJ.ECEASST.46.697}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/eceasst/BozzanoCLMMRT11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ijcai/BozzanoCRT11，作者=｛Marco Bozzano和亚历山德罗·西马蒂和Marco Roveri和Andrei Tchaltsev}，editor={托比·沃尔什}，title={车载自主验证和确认的综合方法}，booktitle={{IJCAI}2011，第22届国际联合会议记录关于人工智能，西班牙加泰罗尼亚巴塞罗那，7月16日至22日，2011},页数={2398--2403}，发布者＝{{IJCAI/AAAI}}，年份={2011}，url={https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400},doi={10.5591/978-1-57735-516-8/IJCAI11-400}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/ijcai/BozzanoCRT11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/cav/BozzanoCKNNRW10，author={Marco Bozzano和亚历山德罗·西马蒂和乔斯特{-}皮特卡托恩和越南元和托马斯·诺尔和Marco Roveri和拉尔夫·威默}，editor={Tayssir Touili和拜伦·库克和Paul B.Jackson}，title={{AADL}}的模型检查器，booktitle={计算机辅助验证，第22届国际会议，{CAV}2010年7月15日至19日，英国爱丁堡。诉讼}，series={计算机科学讲稿}，体积={6174}，页数={562--565}，publisher={Springer}，年份={2010}，url={https://doi.org/10.1007/978-3-642-14295-6\_48},doi={10.1007/978-3-642-14295-6\_48}，timestamp={星期六，2020年9月5日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/cav/BozzanoCKNNRW10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/memocode/BozzanoCRKNN09，作者=｛Marco Bozzano和亚历山德罗·西马蒂和Marco Roveri和乔斯特{-}皮特卡托恩和越南元和托马斯·诺尔}，title={可靠系统的协同设计：{A}基于组件的建模语言}，booktitle={第七届{ACM/IEEE}形式方法和模型国际会议对于Codesign｛（MEMOCODE｝2009），2009年7月13日至15日，马萨诸塞州剑桥，{美国}}，页数={121--130}，publisher={{IEEE}}，年份={2009}，url={https://doi.org/10.109/MEMCOD.2009.5185388},doi={10.1109/MEMCOD.2009.5185388}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/memocode/BozzanoCRKNN09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/models/BozzanoCKNNR09，author={Marco Bozzano和亚历山德罗·西马蒂和乔斯特{-}皮特卡托恩和越南元和托马斯·诺尔和Marco Roveri}，editor={Stefan Van Baelen和托马斯·威格特和Ileana Ober}，title={关键嵌入式系统的基于模型的协同设计}，booktitle={第二届基于模型的建筑国际研讨会论文集和嵌入式系统构建{（}{ACES-MB}2009），作为2009年模型驱动工程国际会议的一部分语言和系统{（}MoDELS'09{）}美国科罗拉多州丹佛，10月6, 2009},series={{CEUR}研讨会论文集}，体积={507}，publisher={CEUR-WS.org}，年份＝{2009}，url={https://ceur-ws.org/Vol-507/paper08.pdf},timestamp={2023年3月10日星期五16:22:20+0100}，比布尔={https://dblp.org/rec/conf/models/BozzanoCKNNR09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/safecomp/BozzanoCKNNR09，author={Marco Bozzano和亚历山德罗·西马蒂和乔斯特{-}皮特卡托恩和越南日元和托马斯·诺尔和Marco Roveri}，editor={Bettina Buth和Gerd Rabe和直到Seyfarth}，title={{COMPASS}方法：正确性、建模和可执行性航空航天系统公司}，booktitle={计算机安全、可靠性和安全，第28届国际会议，{SAFECOMP}2009年，德国汉堡，2009年9月15日至18日。诉讼}，series={计算机科学讲稿}，体积={5775}，页数={173--186}，publisher={Springer}，年份={2009}，url={https://doi.org/10.1007/978-3-642-04468-7\_15},doi={10.1007/978-3-642-04468-7\_15}，timestamp={星期六，2020年9月5日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/safecomp/BozzanoCKNNR09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/sigsoft/BozzanoCRKNN09，author={Marco Bozzano和亚历山德罗·西马蒂和Marco Roveri和乔斯特{-}皮特卡托恩和越南元和托马斯·诺尔，editor={Hans van Vliet和瓦尔·伊萨尼，title={aadl模型的验证和性能评估}，booktitle＝{欧洲软件工程第七次联席会议记录会议和基金会国际研讨会软件工程，2009年，荷兰阿姆斯特丹，8月24-28, 2009},页数={285--286}，publisher={{ACM}}，年份＝{2009}，url={https://doi.org/10.1145/1595696.1595744},doi={10.1145/1595696.1595744}，时间戳＝{2022年2月1日星期二10:45:16+0100}，比布尔={https://dblp.org/rec/conf/sigsoft/BozzanoCRKNN09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/sttt/BozzanoV07，author={Marco Bozzano和阿道夫·维拉菲奥里塔}，title={FSAP/NuSMV-SA安全分析平台}，journal={国际期刊软件工具技术翻译}，体积={9}，数字={1}，页数={5--24}，年份={2007}，url={https://doi.org/10.1007/s10009-006-0001-2},doi={10.1007/S10009-006-0001-2}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/sett/BozzanoV07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/atva/BozzanoCT07，author={Marco Bozzano和亚历山德罗·西马蒂和弗朗西斯科·塔帕罗}，editor={Kedar S.Namjoshi和Yoneda Tomohiro和Teruo Higashino和冈村义雄}，title={无功系统的符号故障树分析}，booktitle={验证和分析自动化技术，第五届国际研讨会，{ATVA}2007，日本东京，2007年10月22日至25日，会议记录}，series={计算机科学讲稿}，体积={4762}，页数={162--176}，publisher={Springer}，年份={2007}，url={https://doi.org/10.1007/978-3-540-75596-8\_13},doi={10.1007/978-3-540-75596-8\_13}，时间戳＝｛2019年6月2日星期日01:00:00+0200｝，比布尔={https://dblp.org/rec/conf/atva/BozzanoCT07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/iandc/BozzanoBCJRRS06，author={Marco Bozzano和罗伯托·布鲁托梅索和亚历山德罗·西马蒂和汤米·A·琼蒂拉和Silvio Ranise和Peter van Rossum和罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani），title＝{通过布尔搜索的有效理论组合}，日志={Inf.Comput.}，体积={204}，数字={10}，页数={1493--1525}，年份={2006}，url={https://doi.org/10.1016/j.ic.2005.05.011},doi={10.1016/J.IC.2005.05.011}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/iandc/BozzanoBCJRRS06.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/mochart/BertoliBC06，author={Piergiorgio Bertoli和Marco Bozzano和亚历山德罗·西马蒂}，editor={Stefan Edelkamp和阿莱西奥·洛穆西奥}，title={安全分析、诊断、，和合成}，booktitle={模型检查和人工智能，第四次研讨会，MoChArt四、 意大利Riva del Garda，2006年8月29日，经修订的精选和邀请论文}，series={计算机科学讲稿}，体积={4428}，页数={1--18}，publisher={Springer}，年份={2006}，url={https://doi.org/10.1007/978-3-540-74128-2\_1},doi={10.1007/978-3-540-74128-2\_1}，timestamp={2019年6月2日，星期日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/mochart/BertoliBC06.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/safecomp/BanachB06，作者=｛Richard Banach和马可·波扎诺（Marco Bozzano），editor={Janusz G{\'{o}}rski}，title={收缩，以及静态、动态故障树的生成和循环系统}，booktitle={计算机安全、可靠性和安全，第25届国际会议，｛西非经共体｝2006年，波兰格但斯克，2006年9月27日至29日，会议记录｝，series={计算机科学讲稿}，体积={4166}，页数={127--141}，publisher={Springer}，年份＝{2006}，url={https://doi.org/10.1007/11875567\_10},doi={10.1007/11875567\_10}，timestamp={2019年5月14日星期二10:00:44+0200}，比布尔={https://dblp.org/rec/conf/safecomp/BanachB06.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jar/BozzanoBCJRSS05，author={Marco Bozzano和罗伯托·布鲁托梅索和亚历山德罗·西马蒂和汤米·A·琼蒂拉和Peter van Rossum和斯蒂芬·舒尔茨和罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani），title={MathSAT:{SAT}与数学决策程序}的紧密结合，日志={J.自动原因}，体积={35}，数字={1-3}，页数={265--293}，年份={2005}，url={https://doi.org/10.1007/s10817-005-9004-z},doi={10.1007/S10817-005-9004-Z}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/jar/BozzanoBCJRSS05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/cade/BozzanoBCJRSS05，author={Marco Bozzano和罗伯托·布鲁托梅索和亚历山德罗·西马蒂和汤米·A·琼蒂拉和Peter van Rossum和斯蒂芬·舒尔茨和罗伯托·塞巴斯蒂安尼}，editor={Robert Nieuwenhuis}，title={MathSAT 3系统}，booktitle={自动扣除-CADE-20，第20届国际自动扣除大会扣除，爱沙尼亚塔林，2005年7月22日至27日，诉讼}，series={计算机科学讲稿}，体积={3632}，pages＝{315-321}，publisher={Springer}，年份={2005}，url={https://doi.org/10.1007/11532231\_23}中，doi={10.1007/11532231\_23}，timestamp={2022年10月2日，星期日15:55:55+0200}，比布尔={https://dblp.org/rec/conf/cade/BozzanoBCJRSS05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/cav/BozzanoBCJRRS05，author={Marco Bozzano和罗伯托·布鲁托梅索和亚历山德罗·西马蒂和汤米·A·琼蒂拉和西尔维奥·兰伊斯和Peter van Rossum和罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani），editor={库沙·埃特萨米和Sriram K.Rajamani}，title={通过延迟理论组合的有效可满足模理论}，booktitle={计算机辅助验证，第17届国际会议，{CAV}2005年7月6日至10日，英国苏格兰爱丁堡，Proceedings}，series={计算机科学讲稿}，体积={3576}，页数={335--349}，publisher={Springer}，年份={2005}，url={https://doi.org/10.1007/11513988\_34},doi={10.1007/11513988\_34}，timestamp={2019年6月2日，星期日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/cav/BozzanoBCJRRS05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/tacas/BozzanoBCJRSS05，author={Marco Bozzano和罗伯托·布鲁托梅索和亚历山德罗·西马蒂和汤米·A·琼蒂拉和Peter van Rossum和Stephan Schulz和罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani），editor={Nicolas Halbwachs和Lenore D.Zuck}，title={线性可满足性的增量分层过程算术逻辑}，booktitle＝{用于构建和分析系统的工具和算法，第十一届国际会议，{TACAS}2005，作为联合会的一部分举行欧洲软件理论与实践会议，{ETAPS}2005，英国爱丁堡，2005年4月4日至8日，会议记录，series={计算机科学讲稿}，体积={3440}，页码={317--333}，publisher={Springer}，年份={2005}，url={https://doi.org/10.1007/978-3-540-31980-1\_21},doi={10.1007/978-3-540-31980-1\_21}，timestamp={2019年6月2日，星期日01:00:00+0200}，比布尔={https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:日记账/entcs/BozzanoBCFHKPS06，author={Marco Bozzano和罗伯托·布鲁托梅索和亚历山德罗·西马蒂和安德斯·弗兰兹和Ziyad Hanna和Zurab Khasidashvili和阿米特·帕尔蒂和罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani），editor={Alessandro Armando和亚历山德罗·西马蒂}，title={MathSAT的编码{RTL}构造：初步报告}，booktitle={第三次决策程序语用研讨会会议记录在自动推理中，CAV的PDPAR2005年7月12日，英国爱丁堡}，series={理论计算机科学中的电子笔记}，体积={144}，数字={2}，页数={3--14}，publisher={Elsevier}，年份＝{2005}，url={https://doi.org/10.1016/j.entcs.2005.12.001},doi={10.1016/J.ENTCS.2005.12.001}，时间戳={2022年12月16日星期五10:24:43+0100}，比布尔={https://dblp.org/rec/journals/entcs/BozzanoBCFHKPS06.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jsc/BozzanoD04，author={Marco Bozzano和乔治·德尔赞诺}，title={线性逻辑规范保密属性的自动验证密码协议}，期刊＝{J.Symb.Comput.}，体积={38}，数字={5}，页数={1375--1415}，年份={2004}，url={https://doi.org/10.1016/j.jsc.2004.04.002},doi={10.1016/J.JSC.2004.04.002}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/jsc/BozzanoD04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tplp/BozzanoDM04，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli}，title={模型检查线性逻辑规范}，journal={Theory-Pract.Log.Program.}，体积={4}，数字={5-6}，页数={573--619}，年份={2004}，url={https://doi.org/10.1017/S1471068404002066},doi={10.1017/S1471068404002066}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/tplp/BozzanoDM04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:日志/entcs/AudemardBCS05，author={Gilles Audemard和Marco Bozzano和亚历山德罗·西马蒂和罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani），editor={Armin Biere和Ofer Strichman}，title={使用MathSAT验证工业混合系统}，booktitle＝{第二届有界模型检验国际研讨会论文集，BMC@CAV2004年7月18日，美国马萨诸塞州波士顿，series={理论计算机科学中的电子笔记}，体积={119}，数字={2}，页码＝{17-32}，publisher={Elsevier}，年份={2004}，url={https://doi.org/10.1016/j.entcs.2004.12.022},doi={10.1016/J.ENTCS.2004.12.022}，时间戳={2022年12月13日星期二11:43:14+0100}，比布尔={https://dblp.org/rec/journals/entcs/AudemardBCS05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/fm/BozzanoCCVV03，author={Marco Bozzano和安东内拉·卡瓦洛和马西莫·西法尔迪和劳拉·瓦拉卡和阿道夫·维拉菲奥里塔}，editor={Keijiro Araki和Stefania Gnesi和迪诺·曼德里奥利，title={改进复杂系统的安全评估：一个工业案例研究}，booktitle={{FME}2003:形式方法，形式方法国际研讨会欧洲，比萨，意大利，2003年9月8日至14日，会议记录}，series={计算机科学讲稿}，体积={2805}，页数={208--222}，publisher={Springer}，年份={2003}，url={https://doi.org/10.1007/978-3-540-45236-2\_13},doi={10.1007/978-3-540-45236-2\_13}，timestamp={2019年5月14日星期二10:00:46+0200}，比布尔={https://dblp.org/rec/conf/fm/BozzanoCCVV03.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/safecomp/BozzanoV03，author={Marco Bozzano和阿道夫·维拉菲奥里塔}，editor={Stuart Anderson和马西莫·费利奇和贝夫·利特伍德}，title={通过模型检查提高系统可靠性：FSAP/NuSMV-SA安全分析平台}，booktitle={计算机安全、可靠性和安全，第22届国际会议，{SAFECOMP}2003年，英国爱丁堡，2003年9月23日至26日，会议记录}，series={计算机科学讲稿}，体积＝{2788}，页数={49--62}，publisher={Springer}，年份={2003}，url={https://doi.org/10.1007/978-3-540-39878-3\_5},doi={10.1007/978-3-540-39878-3\5}，timestamp={2019年6月2日，周日21:26:43+0200}，比布尔={https://dblp.org/rec/conf/safecomp/BozzanoV03.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/cs-PL-0309003，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli}，title={模型检查线性逻辑规范}，日志={CoRR}，体积={cs.PL/0309003}，年份={2003}，url={http://arxiv.org/abs/cs/0309003},timestamp={2020年1月10日星期五00:00:00+0100}，比布尔={https://dblp.org/rec/journals/corr/cs-PL-0309003.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tplp/BozzanoDM02，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli}，title={线性逻辑程序的有效定点语义}，journal={Theory-Pract.Log.Program.}，体积={2}，数字={1}，页数={85--122}，年份={2002}，url={https://doi.org/10.1017/S1471068402001254},doi={10.1017/S147106840201254}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/tplp/BozzanoDM02.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/cav/BozzanoD02，author={Marco Bozzano和乔治·德尔扎诺（Giorgio Delzanno），editor={Ed Brinksma和Kim Guldstrand Larsen}，title={基于无效协议的算法验证}，booktitle＝｛计算机辅助验证，第14届国际会议，｛CAV｝2002年，丹麦哥本哈根，2002年7月27日至31日，会议记录}，series={计算机科学讲稿}，体积={2404}，页面＝{295-308}，publisher={Springer}，年份={2002}，url={https://doi.org/10.1007/3-540-45657-0\_22},doi={10.1007/3-540-45657-0\_22}，timestamp={2019年5月14日星期二10:00:43+0200}，比布尔={https://dblp.org/rec/conf/cav/BozzanoD02.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ppdp/BozzanoD02，author={Marco Bozzano和乔治·德尔扎诺（Giorgio Delzanno），title={线性逻辑中的自动协议验证}，booktitle={第四届国际{ACM}{SIGPLAN}会议记录声明式编程的原理和实践，2002年10月6日至8日，宾夕法尼亚州匹兹堡{美国}（隶属于{PLI}2002）}，页数={38--49}，publisher={{ACM}}，年份={2002}，url={https://doi.org/10.1145/571157.571162},doi={10.1145/571157.571162}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/ppdp/BozzanoD02.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/tacas/BozzanoD02，author={Marco Bozzano和乔治·德尔扎诺（Giorgio Delzanno），editor={Joost{-}皮特卡托恩和佩迪塔·史蒂文斯}，title={超出参数化验证}，booktitle＝{用于构建和分析系统的工具和算法，第八届国际会议，{TACAS}2002，作为联合会的一部分举行欧洲软件理论与实践会议，{ETAPS}2002，法国格勒诺布尔，2002年4月8日至12日，Proceedings}，series={计算机科学讲稿}，体积={2280}，页数={221--235}，publisher={Springer}，年份＝{2002}，url={https://doi.org/10.1007/3-540-46002-0\_16},doi＝{10.1007/3-546002-0\_16}，timestamp={2019年5月14日星期二10:00:53+0200}，比布尔={https://dblp.org/rec/conf/tacas/BozzanoD02.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/flops/BozzanoDM01，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli}，editor={Herbert Kuchen和Kazunori Ueda}，title={一阶线性逻辑程序的有效自底向上语义}，booktitle={函数和逻辑编程，第五届国际研讨会，{FLOPS}2001年，日本东京，2001年3月7日至9日，会议记录}，series={计算机科学讲稿}，体积={2024}，页数={138--152}，publisher={Springer}，年份={2001}，url={https://doi.org/10.1007/3-540-44716-4\_9},doi={10.1007/3-540-44716-4\_9}，timestamp={2019年5月14日星期二10:00:53+0200}，比布尔={https://dblp.org/rec/conf/flops/BozzanoDM01.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:日记账/entcs/BozzanoDM01，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli}，editor={Agostino Dovier和Maria Chiara Meo和安德烈亚·奥米西尼（Andrea Omicini），title={论析取与线性逻辑规划的关系}，booktitle={声明性编程-摘自{AGP}2000，La Habana，古巴，2000年12月4日至6日}，series={理论计算机科学中的电子笔记}，体积={48}，页数={65--89}，publisher={Elsevier}，年份={2001}，url={https://doi.org/10.1016/S1571-0661(04)00150-1},doi={10.1016/S1571-0661（04）00150-1}，时间戳＝{2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/journals/entcs/BozzanoDM01.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/cs-PL-0102025，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli}，title={线性逻辑程序的有效定点语义}，日志={CoRR}，体积={cs.PL/0102025}，年份＝{2001}，url={https://arxiv.org/abs/cs/0102025},timestamp={2020年1月10日星期五00:00:00+0100}，比布尔={https://dblp.org/rec/journals/corr/cs-PL-0102025.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ppdp/BozzanoDM00，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli}，editor={Maurizio Gabbrielli和Frank Pfenning}，title={线性逻辑程序的自下而上语义}，booktitle={第二届国际{ACM}{SIGPLAN}会议记录关于声明性编程的原则和实践，加拿大蒙特利尔，2000年9月20日至23日}，页数={92--102}，publisher={{ACM}}，年份={2000}，url={https://doi.org/10.1145/351268.351279},doi={10.1145/351268.351279}，timestamp={2021年10月14日星期四01:00:00+0200}，比布尔={https://dblp.org/rec/conf/ppdp/BozzanoDM00.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/padl/BuzzanoDMMZ99，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli和维维亚娜·马斯卡迪和Floriano Zini}，编辑器＝{Gopal Gupta}，title={作为软件工程企业的多代理系统开发}，booktitle={声明语言的实践方面，第一次国际研讨会，｛PADL｝'99，美国得克萨斯州圣安东尼奥，1999年1月18日至19日，诉讼程序｝，series={计算机科学讲稿}，体积={1551}，页数={46--60}，publisher={Springer}，年份={1999}，url={https://doi.org/10.1007/3-540-49201-1\_4},doi={10.1007/3-540-49201-1\4}，timestamp={2022年10月26日星期三11:14:38+0200}，比布尔={https://dblp.org/rec/conf/padl/BozzanoDMMZ99.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@收汇{DBLP:books/sp/99/BozzanoDMMZ99，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli和维维亚娜·马斯卡迪和Floriano Zini}，editor={Krzysztof R.Apt和维克托·马雷克和Mirek Truszczynski和David Scott Warren}，title={逻辑编程和多代理系统：{A}协同组合对于应用程序和语义}，booktitle={The Logic Programming Paradigm-{A}25年展望}，series={人工智能}，页数={5--32}，publisher={Springer}，年份={1999}，url={https://doi.org/10.1007/978-3-642-60085-2\_1},doi={10.1007/978-3-642-60085-2\_1}，时间戳={2019年9月25日星期三01:00:00+0200}，比布尔={https://dblp.org/rec/books/sp/99/BuzzanoDMMZ99.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/agp/BozzanoDM97，author={Marco Bozzano和乔治·德尔扎诺和Maurizio Martelli}，editor={Moreno Falaschi和Marisa Navarro和阿尔贝托·波利克里蒂}，title={面向对象、演绎和主动的线性逻辑语义数据库}，booktitle={1997声明式编程联合会议，APPIA-GULP-PRODE'97，意大利格拉多，1997年6月16日至19日}，页数={105--116}，年份＝{1997}，时间戳={2004年12月2日星期四11:23:16+0100}，比布尔={https://dblp.org/rec/conf/agp/BozzanoDM97.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
