露西亚布
人员信息
附属： 荷兰恩舍德特温特大学
优化列表
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 [j2] 安妮·雷姆克 ， 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公司 ， 露西亚布 :
无限状态马尔可夫链的模型检验。 TACAS公司 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
合著者索引
