文件大小：299 kB 2页
我的O比你的大（受邀演讲）
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
概率安全分析 故障树 成分 马尔可夫模型 模型检查
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
奥拉·巴克斯特罗姆、尤利亚·布特科娃、霍尔格·赫尔曼斯、扬·科卡尔和帕维尔·科卡尔。 有效的静态和动态故障树分析。 Amund Skavhaug、Jérémie Guiochet和Friedemann Bitsch，《计算机安全、可靠性和安全——第35届国际会议》编辑，2016年9月21日至23日，挪威特隆赫姆，SAFECOMP 2016，会议录，计算机科学讲义第9922卷，第266-280页。 斯普林格，2016年。 网址： http://dx.doi.org/10.1007/978-3-319-45477-1_21 . -
托马斯·布拉兹迪尔（Tomás Brázdil）、霍尔格·赫尔曼斯（Holger Hermanns）、扬·科拉尔（Jan Krcál）、扬·克伦茨克（Jan Kretínsk）和沃伊泰克·雷哈克（Vojtech Rehák）。 开放交互马尔可夫链的验证。 在Deepak D’Souza、Telikepalli Kavitha和Jaikumar Radhakrishnan，IARCS软件技术和理论计算机科学基础年度会议编辑，FSTTCS 2012，2012年12月15日至17日，印度海得拉巴，LIPIcs第18卷，第474-485页。 达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆-富尔信息科技（Leibniz-Zentrum fuer Informatik），2012年。 网址： http://www.dagstuhl.de/dagpub/978-3-939897-47-7 ，URL： http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474 . -
尤利亚·布特科娃、哈桑·哈特菲、霍尔格·赫尔曼斯和扬·科卡尔。 最优连续时间马尔可夫决策。 Bernd Finkbeiner、Geguang Pu和Lijun Zhang主编，《验证和分析自动化技术——第13届国际研讨会》，2015年10月12日至15日，中国上海，ATVA，2015年，《计算机科学讲稿》第9364卷，第166-182页。 斯普林格，2015年。 网址： http://dx.doi.org/10.1007/978-3-319-24953-7_12 . -
霍尔格·赫尔曼斯、扬·克卡尔和扬·克雷廷斯克。 交互式马尔可夫链的合成验证与优化。 佩德罗·达格尼奥（Pedro R.D'Argenio）和埃尔南·梅尔格拉蒂（Hernán C.Melgratti），2013年8月27日至30日在阿根廷布宜诺斯艾利斯举行的CONCUR 2013-并发理论第24届国际会议编辑。 《计算机科学讲义》第8052卷，第364-379页。 施普林格，2013年。 网址： http://dx.doi.org/10.1007/978-3642-40184-8_26 . -
扬·科卡尔和帕维尔·科卡尔。 具有动态特征的故障树的可伸缩性分析。 2015年6月22日至25日，在巴西里约热内卢举行的第45届IEEE/IFIP可靠系统和网络国际年会上，DSN 2015，第89-100页。 IEEE计算机学会，2015年。 网址： http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp？punumber=7265894 ，URL： http://dx.doi.org/10.109/DSN.2015.29 . -
A.Lyubarskiy、I.Kuzmina和M.El-Shanawany。 基于福岛核事故经验教训的PSA方法改进潜在领域注释。 2011年，在英国沃灵顿举行的英国第二届概率安全分析/人为因素评估论坛上。 网址： https://nucleus.iaea.org/sites/gsan/lib/Lists/Papers/Attachments/1/Lessons%20from%20FA%20for%20PSA_UK -论坛_Sept2011.pdf . -
ASME总统特别工作组应对日本核电站事件。 打造新的核安全架构。 技术报告，美国机械工程师学会，2012年。 网址： https://www.asme.org/getmedia/73081de8-e963-4557-9498-f856b56dabd1/锻造_a_new_nuclear_safety_construct.aspx . -
N.Siu、D.Marksberry、S.Cooper、K.Coyne和M.Stutzke。 东日本大地震揭示的PSA技术挑战。 2013年，在日本东京举行的福岛第一核电站事故PSAM专题会议上。 网址： http://www.nrc.gov/docs/ML1309/ML13099A347.pdf .