dblp:Marco Bozzano（马可·博扎诺） https://dblp.org/pid/66/3003.html dblp个人页面RSS提要 2024年5月9日星期四00:30:48+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de（dblp团队） dblp@dagstuhl.de（dblp团队） 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.pngdblp:Marco Bozzano（马可·博扎诺）https://dblp.org/pid/66/3003.html14451 用于故障树分析的基于模型的安全评估的两种正式方法。https://doi.org/10.1109/ICSRS59833.2023.10381356,,,,,:
用于故障树分析的基于模型的安全评估的两种正式方法。 ICSRS公司 :376-383]]>https://dblp.org/rec/conf/icsrs/LanzaniSZCBT232023年1月1日，星期日00:00:00+0100 公平过渡系统的可诊断性。https://doi.org/10.1016/j.artint.2022.103725,,,,,:
公平过渡系统的可诊断性。 Artif公司。智力。 309:103725()]]>https://dblp.org/rec/journals/ai/BittnerBCGTV222022年1月1日星期六00:00:00+0100 COMPASTA：通过正式设计和验证功能扩展TAST。https://doi.org/10.1007/978-3-031-15842-1_2,,,,,,,:
COMPASTA：通过正式设计和验证功能扩展TAST。 IMBSA公司 :21-27]]>https://dblp.org/rec/conf/imbsa/BombardelliBCCG222022年1月1日星期六00:00:00+0100 基于ASP的循环故障传播分析。https://doi.org/10.1007/978-3-031-15707-3_36,,,,:
基于ASP的循环故障传播分析。 低密度核磁共振 :470至483]]>https://dblp.org/rec/conf/lpnmr/BozzanoCGJK222022年1月1日星期六00:00:00+0100 列车自动运行控制系统的正式设计和验证。https://doi.org/10.1007/978-3-031-05814-1_12,,,,,,,,,,,:
列车自动运行控制系统的正式设计和验证。 RSS邮件 :169-178年]]>https://dblp.org/rec/conf/rssrail/AmendolaBBCSFG222022年1月1日星期六00:00:00+0100 基于布尔故障传播的循环冗余结构的有效分析。https://doi.org/10.1007/978-3-030-99527-0_15,,,:
基于布尔故障传播的循环冗余结构的有效分析。 TACAS（2） :273-291]]>https://dblp.org/rec/conf/tacas/BozzanoCGJ222022年1月1日星期六00:00:00+0100 在公平过渡系统中寻找带状路径。https://doi.org/10.1007/978-3-030-99524-9_30,,,:
在公平过渡系统中寻找带状路径。 墨西哥玉米饼（1） :543-560]]>https://dblp.org/rec/conf/tacas/BozzanoCTV222022年1月1日星期六00:00:00+0100 基于模型的xSAP三模块发电机安全评估。https://doi.org/10.1007/s00165-021-00532-9,,,,:
基于模型的xSAP三模块发电机安全评估。 形式方面计算。 33(2):251-295()]]>https://dblp.org/rec/journals/fac/BozzanoCGJM212021年1月1日，星期五00:00:00+0100 VALU3S ECSEL项目：自动化系统安全和安保的验证和确认。https://doi.org/10.1016/j.micpro.2021.104349,,,,,,,,,,,,,,,,,,:
VALU3S ECSEL项目：自动化系统安全和安保的验证和确认。 微加工。微系统 87:104349()]]>https://dblp.org/rec/journals/mam/AgireBBGBBFEOOPSTTBYS212021年11月1日星期一00:00:00+0100 车载自主验证和确认的综合方法。https://doi.org/10.1145/3472715,,:
车载自主验证和确认的综合方法。 ACM事务处理。因特尔。系统。Technol公司。 12(4):46:1-46:29()]]>https://dblp.org/rec/journals/tist/BozzanoCR212021年1月1日，星期五00:00:00+0100 基于SMT的失效传播高效分析。https://doi.org/10.1007/978-3-030-81688-9_10,,,,,:
基于SMT的失效传播高效分析。 CAV（2） :209-230]]>https://dblp.org/rec/conf/cav/BozzanoCPGJK202021年1月1日，星期五00:00:00+0100 模态转换的基于模型的安全分析。https://doi.org/10.1007/978-3-030-54549-9_7,,,,:
模态转换的基于模型的安全分析。 SAFECOMP公司 :99-114]]>https://dblp.org/rec/conf/safecomp/BuzzanoMSTV20（网址：https://dblp.org/rec/conf/safecomp/BuzzanoMSTV20）2020年1月1日，星期三00:00:00+0100 冗余架构的正式可靠性分析。https://doi.org/10.1007/s00165-018-0475-1,,:
冗余架构的正式可靠性分析。 形式方面计算。 31(1):59至94()]]>https://dblp.org/rec/journals/fac/BozzanoCM192019年1月1日星期二00:00:00+0100 罗盘3.0。https://doi.org/10.1007/978-3-030-17462-0_25,,,,,:
罗盘3.0。 墨西哥玉米饼（1） :379-385]]>https://dblp.org/rec/conf/tacas/BozzanoBCKNT192019年1月1日星期二00:00:00+0100 基于模型的安全与评估——第六届国际研讨会，IMBSA 2019，希腊塞萨洛尼基，2019年10月16-18日，会议记录。https://doi.org/10.1007/978-3-030-32872-6,,,:
基于模型的安全与评估——第六届国际研讨会，IMBSA 2019，希腊塞萨洛尼基，2019年10月16-18日，会议记录。 计算机科学课堂讲稿11842,施普林格 ，国际标准图书编号978-3-030-32871-9 [目录]]]>https://dblp.org/rec/conf/imbsa/20192019年1月1日星期二00:00:00+0100 航天器工程的定时故障传播分析：欧空局太阳轨道飞行器案例研究。https://doi.org/10.1007/978-3-319-64119-5_17,,:
航天器工程的定时故障传播分析：欧空局太阳轨道飞行器案例研究。 IMBSA公司 :255-271]]>https://dblp.org/rec/conf/imbsa/BittnerBC172017年1月1日，星期日00:00:00+0100 故障管理系统设计中的因果关系和时间依赖性。https://doi.org/10.4204/EPTCS.259.4:
故障管理系统设计中的因果关系和时间依赖性。 ETAPS坝顶 :39-46]]>https://dblp.org/rec/journals/corr/abs-1710-033922017年1月1日，星期日00:00:00+0100 基于模型的安全与评估——第五届国际研讨会，2017年IMBSA，意大利特伦托，2017年9月11-13日，会议记录。https://doi.org/10.1007/978-3-319-64119-5,:
基于模型的安全与评估——第五届国际研讨会，2017年IMBSA，意大利特伦托，2017年9月11-13日，会议记录。 计算机科学课堂讲稿10437,施普林格 ，国际标准图书编号978-3-319-64118-8 [目录]]]>https://dblp.org/rec/conf/imbsa/20172017年1月1日，星期日00:00:00+0100 故障传播模型的自动验证和拧紧。https://doi.org/10.1609/aaai.v30i1.10094,,,:
故障传播模型的自动验证和拧紧。 AAAI公司 :907-913]]>https://dblp.org/rec/conf/aaai/BittnerBCZ162016年1月1日，星期五00:00:00+0100 定时故障传播图的自动合成。http://www.ijcai.org/摘要/16/142,,:
定时故障传播图的自动合成。 国际JCAI :972-978]]>https://dblp.org/rec/conf/ijcai/BittnerBC162016年1月1日，星期五00:00:00+0100 xSAP安全分析平台。https://doi.org/10.1007/978-3-662-49674-9_31,,,,,,,,:
xSAP安全分析平台。 TACAS公司 :533-539]]>https://dblp.org/rec/conf/tacas/BittnerBCCGGMMZ162016年1月1日，星期五00:00:00+0100 使用时间认知逻辑的异步故障检测和识别组件的形式化设计。https://doi.org/10.2168/LMCS-11(4:4)2015,,,:
使用时间认知逻辑的异步故障检测和识别组件的形式化设计。 日志。方法计算。科学。 11(4)()]]>https://dblp.org/rec/journals/corr/BozzanoCGT152015年1月1日星期四00:00:00+0100 通过符号模型检查对哥斯达黎加模型进行安全评估。https://doi.org/10.1016/j.scico.2014.06.003,,,,,,:
通过符号模型检查对哥斯达黎加模型进行安全评估。 科学。计算。程序。 98:464-483()]]>https://dblp.org/rec/journals/scp/BozzanoCLMMRT152015年1月1日星期四00:00:00+0100 基于SMT的定时故障传播图验证。https://doi.org/10.1609/aaai.v29i1.9753,,,:
基于SMT的定时故障传播图验证。 AAAI公司 :3724-3730]]>https://dblp.org/rec/conf/aaai/BozzanoCGM152015年1月1日星期四00:00:00+0100 AIR6110车轮制动系统的形式化设计与安全性分析。https://doi.org/10.1007/978-3-319-21690-4_36,,,,,,,:
AIR6110车轮制动系统的形式化设计与安全性分析。 CAV（1） :第518页至第535页]]>https://dblp.org/rec/conf/cav/BozzanoCPJKPRT152015年1月1日星期四00:00:00+0100 基于模型的安全分析的高效随时技术。https://doi.org/10.1007/978-3-319-21690-4_41,,,:
基于模型的安全分析的高效随时技术。 CAV（1） :603-621]]>https://dblp.org/rec/conf/cav/BozzanoCGM152015年1月1日星期四00:00:00+0100 xSAP安全分析平台。http://arxiv.org/abs/1504.07513,,,,,,,,:
xSAP安全分析平台。 CoRR公司 abs/1504.07513()]]>https://dblp.org/rec/journals/corr/BittnerBCCGGMMZ152015年1月1日星期四00:00:00+0100 使用正式方法进行航天器早期设计验证。https://doi.org/10.1016/j.ress.2014.07.003,,,,,,,,:
使用正式方法进行航天器早期设计验证。 宗教信仰。工程系统。安全。 132:20-35()]]>https://dblp.org/rec/journals/ress/BozzanoCKKMNNPR142014年1月1日星期三00:00:00+0100 通过基于合同的设计进行正式安全评估。https://doi.org/10.1007/978-3-319-11936-6_7,,,:
通过基于合同的设计进行正式安全评估。 ATVA公司 :81-97]]>https://dblp.org/rec/conf/atva/BozzanoCMT14网站2014年1月1日星期三00:00:00+0100 单调成本函数的帕累托最优参数综合。https://doi.org/10.109/FMCAD.2014.6987591,,,,:
单调成本函数的帕累托最优参数综合。 FMCAD公司 :23-30]]>https://dblp.org/rec/conf/fmcad/BittnerBCGG142014年1月1日星期三00:00:00+0100 航空航天中FDIR设计的集成过程。https://doi.org/10.1007/978-3-319-12214-4_7,,,,,,:
航空航天中FDIR设计的集成过程。 IMBSA公司 :82-95]]>https://dblp.org/rec/conf/imbsa/BittnerBCFGGY142014年1月1日星期三00:00:00+0100 使用时间认知逻辑的故障检测和识别组件的形式化设计。https://doi.org/10.1007/978-3-642-54862-8_22,,,:
使用时间认知逻辑的故障检测和识别组件的形式化设计。 TACAS公司 :326-340]]>https://dblp.org/rec/conf/tacas/BozzanoCGT142014年1月1日星期三00:00:00+0100 通过紧缩I：组合电路为无功系统机械生成故障树。https://doi.org/10.1007/s00165-011-0202-7,:
通过紧缩I：组合电路为无功系统机械生成故障树。 形式方面计算。 25(4):573-607()]]>https://dblp.org/rec/journals/fac/BanachB132013年1月1日星期二00:00:00+0100 通过紧缩的无功系统故障树的机械生成II：时钟和反馈电路。https://doi.org/10.1007/s00165-011-0203-6,:
通过紧缩的无功系统故障树的机械生成II：时钟和反馈电路。 形式方面计算。 25(4):609-657()]]>https://dblp.org/rec/journals/fac/BanachB13a2013年1月1日星期二00:00:00+0100 诊断器规范、验证和综合的形式化框架。http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7048,,,:
诊断器规范、验证和综合的形式化框架。 AAAI（最新发展） ]]>https://dblp.org/rec/conf/aaai/BozzanoCGT132013年1月1日星期二00:00:00+0100 通过谓词抽象对可靠性体系结构进行有效分析。https://doi.org/10.1007/978-3-319-03077-7_19,,:
通过谓词抽象对可靠性体系结构进行有效分析。 海法核查会议 :279-294]]>https://dblp.org/rec/conf/hvc/BozzanoCM132013年1月1日星期二00:00:00+0100 可靠性体系结构的自动分析。https://doi.org/10.109/ICECCS.2013.37,,:
可靠性体系结构的自动分析。 ICECCS公司 :198-207]]>https://dblp.org/rec/conf/iceccs/BozzanoCM132013年1月1日星期二00:00:00+0100 可诊断性可观测性要求的符号合成。https://doi.org/10.1609/aaai.v26i1.8225,,,:
可诊断性可观测性要求的符号合成。 AAAI公司 :712-718]]>https://dblp.org/rec/conf/aaai/BittnerBCO122012年1月1日，星期日00:00:00+0100 扩展AADL模型的安全性、可靠性和性能分析。https://doi.org/10.1093/comjnl/bxq024,,,,,:
扩展AADL模型的安全性、可靠性和性能分析。 计算。J。 54(5):754-775()]]>https://dblp.org/rec/journals/cj/BozzanoCKNNR112011年1月1日星期六00:00:00+0100 Altarica模型的符号模型检查和安全评估。https://doi.org/10.14279/tuj.eceasst.46.697,,,,,,:
Altarica模型的符号模型检查和安全评估。 电子。Commun公司。欧洲协会软件。科学。Technol公司。 46()]]>https://dblp.org/rec/journals/eceasst/BozzanoCLMMRT112011年1月1日星期六00:00:00+0100 车载自主验证和确认的综合方法。https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400,,,:
车载自主验证和确认的综合方法。 国际JCAI :2398-2403]]>https://dblp.org/rec/conf/ijcai/BozzanoCRT112011年1月1日星期六00:00:00+0100 AADL的模型检查器。https://doi.org/10.1007/978-3-642-14295-6_48,,,,,,:
AADL的模型检查器。 CAV汽车 :562-565]]>https://dblp.org/rec/conf/cav/BozzanoCKNNRW102010年1月1日，星期五00:00:00+0100 可靠系统的协同设计：一种基于组件的建模语言。https://doi.org/10.109/MEMCOD.2009.5185388,,,,,:
可靠系统的协同设计：一种基于组件的建模语言。 记忆码 :121-130]]>https://dblp.org/rec/conf/memocode/BozzanoCRKNN092009年1月1日星期四00:00:00+0100 关键嵌入式系统的基于模型的协同设计。https://ceur-ws.org/Vol-507/paper08.pdf,,,,,:
关键嵌入式系统的基于模型的协同设计。 ACES-MB@MoDELS公司 ]]>https://dblp.org/rec/conf/models/BozzanoCKNNR092009年1月1日星期四00:00:00+0100 COMPASS方法：航空航天系统的正确性、建模和性能。https://doi.org/10.1007/978-3-642-04468-7_15,,,,,:
COMPASS方法：航空航天系统的正确性、建模和性能。 SAFECOMP公司 :173-186]]>https://dblp.org/rec/conf/safecomp/BuzzanoCKNNR092009年1月1日星期四00:00:00+0100 aadl模型的验证和性能评估。https://doi.org/10.1145/1595696.1595744,,,,,:
aadl模型的验证和性能评估。 ESEC/SIGSOFT FSE :285-286]]>https://dblp.org/rec/conf/sigsoft/BozzanoCRKNN092009年1月1日星期四00:00:00+0100 FSAP/NuSMV-SA安全分析平台。https://doi.org/10.1007/s10009-006-0001-2,:
FSAP/NuSMV-SA安全分析平台。 国际期刊软件。技术工具。Transf公司。 9(1):5-24()]]>https://dblp.org/rec/journals/sett/BozzanoV072007年1月1日星期一00:00:00+0100 反应系统的符号故障树分析。https://doi.org/10.1007/978-3-540-75596-8_13,,:
反应系统的符号故障树分析。 ATVA公司 :162-176]]>https://dblp.org/rec/conf/atva/BozzanoCT072007年1月1日星期一00:00:00+0100 通过布尔搜索进行有效的理论组合。https://doi.org/10.1016/j.ic.2005.05.011,,,,,,:
通过布尔搜索进行有效的理论组合。 Inf.计算。 204(10):1493-1525()]]>https://dblp.org/rec/journals/iandc/BozzanoBCJRRS062006年1月1日，星期日00:00:00+0100 安全分析、诊断和综合的符号模型检查框架。https://doi.org/10.1007/978-3-540-74128-2_1,,:
安全分析、诊断和综合的符号模型检查框架。 MoChArt公司 :1-18]]>https://dblp.org/rec/conf/mochart/BertoliBC062006年1月1日，星期日00:00:00+0100 静态、动态和循环系统的收缩和故障树的生成。https://doi.org/10.1007/11875567_10,:
静态、动态和循环系统的收缩和故障树的生成。 SAFECOMP公司 :127-141]]>https://dblp.org/rec/conf/safecomp/BanachB062006年1月1日，星期日00:00:00+0100 数学SAT：SAT与数学决策程序的紧密结合。https://doi.org/10.1007/s10817-005-9004-z,,,,,,:
数学SAT：SAT与数学决策程序的紧密结合。 J.自动化。原因。 35(1-3):265-293()]]>https://dblp.org/rec/journals/jar/BozzanoBCJRSS052005年1月1日星期六00:00:00+0100 MathSAT 3系统。https://doi.org/10.1007/11532231_23,,,,,,:
MathSAT 3系统。 CADE公司 :315-321]]>https://dblp.org/rec/conf/cade/BozzanoBCJRSS052005年1月1日星期六00:00:00+0100 基于延迟理论组合的有效可满足模理论。https://doi.org/10.1007/11513988_34,,,,,,:
基于延迟理论组合的有效可满足模理论。 CAV汽车 :335至349]]>https://dblp.org/rec/conf/cav/BozzanoBCJRRS052005年1月1日星期六00:00:00+0100 线性算术逻辑可满足性的增量分层过程。https://doi.org/10.1007/978-3-540-31980-1_21,,,,,,:
线性算术逻辑可满足性的增量分层过程。 TACAS公司 :317-333]]>https://dblp.org/rec/conf/tacas/BozzanoBCJRSS052005年1月1日星期六00:00:00+0100 MathSAT的RTL结构编码：初步报告。https://doi.org/10.1016/j.entcs.2005.12.001,,,,,,,:
MathSAT的RTL结构编码：初步报告。 CAV的PDPAR :3-14]]>https://dblp.org/rec/journals/entcs/BozzanoBCFHKPS062005年1月1日星期六00:00:00+0100 密码协议线性逻辑规范的保密属性的自动验证。https://doi.org/10.1016/j.jsc.2004.04.002,:
密码协议线性逻辑规范的保密属性的自动验证。 J.塞姆。计算。 38(5):1375-1415()]]>https://dblp.org/rec/journals/jsc/BozzanoD042004年1月1日星期四00:00:00+0100 模型检查线性逻辑规范。https://doi.org/10.1017/S1471068404002066,,:
模型检查线性逻辑规范。 理论与实践。日志。程序。 4(5-6):573-619()]]>https://dblp.org/rec/journals/tplp/BozzanoDM042004年1月1日星期四00:00:00+0100 用MathSAT验证工业混合系统。https://doi.org/10.1016/j.entcs.2004.12.022,,,:
用MathSAT验证工业混合系统。 BMC@CAV :17-32]]>https://dblp.org/rec/journals/entcs/AudemardBCS052004年1月1日星期四00:00:00+0100 改进复杂系统的安全评估：工业案例研究。https://doi.org/10.1007/978-3-540-45236-2_13,,,,:
改进复杂系统的安全评估：工业案例研究。 失效模式与后果 :208年至222年]]>https://dblp.org/rec/conf/fm/BozzanoCCVV032003年1月1日，星期三00:00:00+0100 通过模型检查提高系统可靠性：FSAP/NuSMV SA安全分析平台。https://doi.org/10.1007/978-3-540-39878-3_5,:
通过模型检查提高系统可靠性：FSAP/NuSMV-SA安全分析平台。 SAFECOMP公司 :49-62]]>https://dblp.org/rec/conf/safecomp/BozzanoV032003年1月1日星期三00:00:00+0100 模型检查线性逻辑规范。http://arxiv.org/abs/cs/0309003,,:
模型检查线性逻辑规范。 CoRR公司 完。PL/0309003()]]>https://dblp.org/rec/journals/corr/cs-PL-03090032003年1月1日，星期三00:00:00+0100 线性逻辑程序的有效不动点语义。https://doi.org/10.1017/S1471068402001254,,:
线性逻辑程序的有效不动点语义。 理论与实践。日志。程序。 2(1):85-122()]]>https://dblp.org/rec/journals/tplp/BozzanoDM022002年1月1日星期二00:00:00+0100 基于失效协议的算法验证。https://doi.org/10.1007/3-540-45657-0_22,:
基于失效协议的算法验证。 CAV汽车 :295-308]]>https://dblp.org/rec/conf/cav/BozzanoD022002年1月1日星期二00:00:00+0100 线性逻辑中的自动协议验证。https://doi.org/10.1145/571157.571162,:
线性逻辑中的自动协议验证。 PPDP（PPDP） :38-49]]>https://dblp.org/rec/conf/ppdp/BozzanoD022002年1月1日星期二00:00:00+0100 超越参数化验证。https://doi.org/10.1007/3-540-46002-0_16,:
超越参数化验证。 TACAS公司 :221-235]]>https://dblp.org/rec/conf/tacas/BozzanoD022002年1月1日星期二00:00:00+0100 一阶线性逻辑程序的有效自底向上语义。https://doi.org/10.1007/3-540-44716-4_9,,:
一阶线性逻辑程序的有效自底向上语义。 FLOPS（浮动） :138-152]]>https://dblp.org/rec/conf/flops/BozzanoDM012001年1月1日星期一00:00:00+0100 析取与线性逻辑规划的关系。https://doi.org/10.1016/S1571-0661(04)00150-1,,:
析取与线性逻辑规划的关系。 APPIA-GULP-PRODE公司 :65-89]]>https://dblp.org/rec/journals/entcs/BozzanoDM012001年1月1日星期一00:00:00+0100 线性逻辑程序的有效定点语义。https://arxiv.org/abs/cs/0102025,,:
线性逻辑程序的有效定点语义。 CoRR公司 完。PL/0102025()]]>https://dblp.org/rec/journals/corr/cs-PL-01020252001年1月1日星期一00:00:00+0100 线性逻辑程序的自下而上语义。https://doi.org/10.1145/351268.351279,,:
线性逻辑程序的自下而上语义。 PPDP（PPDP） :92-102]]>https://dblp.org/rec/conf/ppdp/BozzanoDM00网站2000年1月1日星期六00:00:00+0100 作为软件工程企业的多代理系统开发。https://doi.org/10.1007/3-540-49201-1_4,,,,:
作为软件工程企业的多代理系统开发。 PADL（PADL） :46-60]]>https://dblp.org/rec/conf/padl/BozzanoDMMZ991999年1月1日，星期五00:00:00+0100 逻辑编程和多代理系统：应用程序和语义的协同组合。https://doi.org/10.1007/978-3-642-60085-2_1,,,,:
逻辑编程和多代理系统：应用程序和语义的协同组合。 逻辑程序设计范式 :5-32]]>https://dblp.org/rec/books/sp/99/BozzanoDMMZ991999年1月1日，星期五00:00:00+0100 面向对象、演绎和主动数据库的线性逻辑语义。https://dblp.org/pid/66/3003.html,,:
面向对象、演绎和主动数据库的线性逻辑语义。 APPIA-GULP-PRODE公司 :105-116]]>https://dblp.org/rec/conf/agp/BozzanoDM971997年1月1日，星期三00:00:00+0100