马克·卡滕贝尔特
人员信息
优化列表
2010 – 2019
2010 【b1】 马克·卡滕贝尔特 :
自动化定量软件验证。 英国牛津大学, 2010 [j1] 马克·卡滕贝尔特 , Marta Z.Kwiatkowska公司 , 格钦·诺曼 , 大卫·帕克 :
马尔可夫决策过程的基于游戏的抽象再定义框架。 形式方法系统。 设计。 36 ( 三 ) : 246-280 ( 2010 )
2000 – 2009
2009 【c3】 马克·卡滕贝尔特 , 伦敦帝国学院 :
通过游戏验证和反驳概率规范。 FSTTCS公司 2009 : 251-262 【c2】 马克·卡滕贝尔特 , Marta Z.Kwiatkowska公司 , 格钦·诺曼 , 大卫·帕克 :
概率软件的抽象精化。 VMCAI公司 2009 : 182-197 2008 【c1】 马克·卡滕贝尔特 , Marta Z.Kwiatkowska公司 , 格钦·诺曼 , 大卫·帕克 :
PRISM中基于博弈的概率谓词提取。 QAPL公司 2008 : 5-21 2007 [i1] 露西亚布 , Pepijn Crouzen公司 , 马提亚斯水果 , 韩婷婷 , 大卫·N·詹森 , 马克·卡滕贝尔特 , 杰拉德·J·M·斯密特 , 张丽君 :
07101工作组报告——时间以外的绩效衡量。 嵌入式系统的定量方面 2007