露西亚布
人员信息
附属: 荷兰恩舍德特温特大学
优化列表
2010 – 2019
2012 [第1页] 杰里米·布拉德利 , 露西亚布 , 理查德·海登 , 勒拉克鲁尔 , 菲利普·雷内克 , 马库斯·西格尔 , 奈杰尔·托马斯 , 卡廷卡·沃尔特 :
弹性的可扩展随机模型。 计算系统的弹性评估与评估 2012 : 115-149 2011 [j5] 雷娜·巴赫西 , 露西亚布 , 万·J·福克金 , Boudewijn R.Haverkort公司 :
推拉八卦协议性能评估的平均场框架。 执行。 评价 68 ( 2 ) : 157-179 ( 2011 ) 2010 [j4] 克里斯特尔·拜尔 , 露西亚布 , Boudewijn R.Haverkort公司 , 霍尔格·赫尔曼斯 , Joost-Pieter Katoen公司 :
通过马尔可夫报酬模型的模型检查进行性能评估。 形式方法系统。 设计。 36 ( 1 ) : 1-36 ( 2010 )
2000 – 2009
2009 [第12条] 雷娜·巴赫西 , 露西亚布 , 万·J·福克金 , Boudewijn R.Haverkort公司 :
评价流言协议的平均场分析。 QEST公司 2009 : 247-256 2008 [j3] 雷娜·巴赫西 , 露西亚布 , 万·J·福克金 , Boudewijn R.Haverkort公司 :
用于评估八卦协议的MeanField分析。 SIGMETRICS执行评估版本。 36 ( 三 ) : 31-39 ( 2008 ) [第11条] 安妮·雷姆克 , Boudewijn R.Haverkort公司 , 吉尔特·海耶克 , 露西亚布 :
两跳IEEE 802.11e自组网的瓶颈分析。 ASMTA公司 2008 : 279-294 [第10条] 露西亚布 , Boudewijn R.Haverkort公司 :
嵌入式系统设计中的定量评估:预测移动设备中的电池寿命。 日期 2008 : 90-91 【c9】 露西亚布 , Boudewijn R.Haverkort公司 :
可执行性工具P'ility。 QEST公司 2008 : 117-118 2007 [注2] 安妮·雷姆克 , Boudewijn R.Haverkort公司 , 露西亚布 :
QBD的CSL模型检查算法。 西奥。 计算。 科学。 382 ( 1 ) : 24-41 ( 2007 ) [j1] 克里斯特尔·拜尔 , 露西亚布 , Boudewijn R.Haverkort公司 , 马蒂亚斯·昆茨 , 马库斯·西格尔 :
用动作和状态标签对马尔可夫链进行模型检验。 IEEE传输。 软件工程师。 33 ( 4 ) : 209-224 ( 2007 ) 【c8】 露西亚布 , 玛丽恩·琼格登 , Boudewijn R.Haverkort公司 :
计算电池寿命分布。 DSN(DSN) 2007 : 780-789 [i1] 露西亚布 , Pepijn Crouzen公司 , 马提亚斯水果 , 韩婷婷 , 大卫·N·詹森 , 马克·卡滕贝尔特 , 杰拉德·J·M·斯密特 , 张丽君 :
07101工作组报告——时间以外的绩效衡量。 嵌入式系统的定量方面 2007 2006 【b1】 露西亚布 :
马尔可夫报酬模型的模型检验算法。 荷兰恩舍德特温特大学, 2006 【c7】 安妮·雷姆克 , Boudewijn R.Haverkort公司 , 露西亚布 :
一个通用的无限状态马尔可夫奖励模型,用于研究2跳自组织网络中的瓶颈。 QEST公司 2006 : 63-72 2005 【c6】 露西亚布 , Joost-Pieter Katoen公司 , 曼尼什·卡特里 , 雷扎·普隆安 :
具有脉冲报酬的马尔可夫报酬模型检验。 DSN(DSN) 2005 : 722-731 【c5】 露西亚布 , Boudewijn R.Haverkort公司 :
模型生存性检查。 QEST公司 2005 : 145-154 【c4】 安妮·雷姆克 , Boudewijn R.Haverkort公司 , 露西亚布 :
模型检查无限状态马尔可夫链。 墨西哥玉米饼 2005 : 237-252 2004 【c3】 克里斯特尔·拜尔 , 露西亚布 , Boudewijn R.Haverkort公司 , 马蒂亚斯·昆茨 , 马库斯·西格尔 :
模型检查动作标记和状态标记马尔可夫链。 DSN(DSN) 2004 : 701-710 2002 [c2] Boudewijn R.Haverkort公司 , 露西亚布 , 霍尔格·赫尔曼斯 , Joost-Pieter Katoen公司 , 克里斯特尔·拜尔 :
模型检查性能属性。 DSN(DSN) 2002 : 103-112 2001 【c1】 露西亚布 , 亨利克·博恩坎普 , Boudewijn R.Haverkort公司 :
使用Max-Plus代数评估随机过程代数前缀。 PAPM-PROBMIV公司 2001 : 152-167