Pepijn Crouzen公司
人员信息
优化列表
2010 – 2019
2015 【b1】 Pepijn Crouzen公司 :
组合马尔可夫模型中的模块性和确定性。 萨尔州大学, 2015 2011 [第12条] Pepijn Crouzen公司 , 恩斯特·莫里茨·哈恩 , 霍尔格·赫尔曼斯 , 阿比舍克达马 , 奥利弗·E·塞尔 , 拉尔夫·威默 , Bettina编织 , 伯恩德·贝克尔 :
概率分布算法的有界公平性。 ACSD系统 2011 : 89-97 [第11条] Pepijn Crouzen公司 , 弗雷德里克·朗 :
智能减排。 FASE公司 2011 : 111-126 [第10条] 亚历山大·安德烈琴科 , Pepijn Crouzen公司 , 维雷娜·沃尔夫 :
时间非齐次无限马尔可夫种群模型的实时一致化。 QAPL公司 2011 : 1 2010 [注2] Hichem Boudali公司 , Pepijn Crouzen公司 , 玛丽埃尔·斯托琳加 :
动态故障树分析的严格、组合和可扩展框架。 IEEE传输。 可靠的安全。 计算。 7 ( 2 ) : 128-143 ( 2010 ) 【c9】 佩皮恩·克劳岑 , 霍尔格·赫尔曼斯 :
大规模组合模型的聚合排序。 ACSD系统 2010 : 171-180 【c8】 拉尔夫·威默 , 贝蒂娜Braiting , 伯恩德·贝克尔 , 恩斯特·莫里茨·哈恩 , Pepijn Crouzen公司 , 霍尔格·赫尔曼斯 , 阿比舍克达马 , 奥利弗·E·塞尔 :
并发概率系统长运行平均值的符号计算。 QEST公司 2010 : 27-36 【c7】 乔治·卡林 , Pepijn Crouzen公司 , 佩德罗·达吉尼奥 , 恩斯特·莫里茨·哈恩 , 张丽君 :
分布式输入/输出交互概率链中的时限可达性。 自旋蛋白 2010 : 193-211
2000 – 2009
2009 【c6】 阿比舍克达马 , 奥利弗·E·塞尔 , Pepijn Crouzen公司 , 霍尔格·赫尔曼斯 , 拉尔夫·威默 , 伯恩德·贝克尔 :
无声自稳定系统的可靠性工程。 SSS系统 2009 : 238-253 2008 [j1] Pepijn Crouzen公司 , 雅各·范德波尔 , 阿伦德·伦辛克 :
将形式化方法应用于带有mCRL和凹槽的八卦网络。 SIGMETRICS执行评估版本。 36 ( 三 ) : 7-16 ( 2008 ) 【c5】 佩皮恩·克劳岑 , 霍尔格·赫尔曼斯 , 张丽君 :
关于非循环模型的最小化。 CONCUR公司 2008 : 295-309 【c4】 Hichem Boudali公司 , Pepijn Crouzen公司 , Boudewijn R.Haverkort公司 , 马蒂亚斯·昆茨 , 玛丽埃尔·斯托琳加 :
使用Arcade进行体系结构可靠性评估。 DSN(DSN) 2008 : 512-521 【c3】 Hichem Boudali公司 , Pepijn Crouzen公司 , Boudewijn R.Haverkort公司 , 马蒂亚斯·昆茨 , 玛丽埃尔·斯托琳加 :
Arcade-一个正式的、可扩展的、基于模型的可靠性评估框架。 ICECCS公司 2008 : 243-248 2007 【c2】 Hichem Boudali公司 , Pepijn Crouzen公司 , 玛丽埃尔·斯托琳加 :
基于交互式马尔可夫链的动态故障树合成语义。 ATVA公司 2007 : 441-456 【c1】 Hichem Boudali公司 , Pepijn Crouzen公司 , 玛丽埃尔·斯托琳加 :
使用输入/输出交互式马尔可夫链进行动态故障树分析。 DSN(DSN) 2007 : 708-717 [i1] 露西亚布 , Pepijn Crouzen公司 , 马提亚斯水果 , 韩婷婷 , 大卫·N·詹森 , 马克·卡滕贝尔特 , 杰拉德·J·M·斯密特 , 张丽君 :
07101工作组报告——时间以外的绩效衡量标准。 嵌入式系统的定量方面 2007