克劳斯·达格
人员信息
附属: 英国牛津大学
优化列表
2010 – 2019
2016 【c9】 克劳斯博士 :
矩阵半群的不变性问题。 FoSSaCS公司 2016 : 479-492 2015 [j4] 克劳斯博士 , Vojtech预测 , Marta Z.Kwiatkowska公司 , 大卫·帕克 , 马特乌斯·乌杰马 :
概率系统的许可控制器综合。 日志。 方法计算。 科学。 11 ( 2 ) ( 2015 ) 2014 [j3] 克劳斯博士 , Marta Z.Kwiatkowska公司 , 大卫·帕克 , 红阳区 :
概率定时程序的局部抽象精化。 西奥。 计算。 科学。 538 : 37-53 ( 2014 ) 【c8】 克劳斯博士 , Vojtech预测 , Marta Z.Kwiatkowska公司 , 大卫·帕克 , 马特乌斯·乌杰马 :
概率系统的许可控制器综合。 TACAS公司 2014 : 531-546 2012 【c7】 陈陶璐 , 克劳斯博士 , 斯特凡·基弗 :
模型检查随机分支过程。 MFCS公司 2012 : 271-282 【c6】 克劳斯博士 , Marta Z.Kwiatkowska公司 :
面向复杂分布式系统的基于通信的转向。 蒙特雷研讨会 2012 : 353-368 [i1] 陈陶璐 , 克劳斯博士 , 斯特凡·基弗 :
模型检查随机分支过程。 CoRR公司 abs/1206.1317 ( 2012 ) 2010 【b1】 克劳斯博士 :
子序列不变量。 萨尔州大学, 2010 【c5】 克劳斯博士 , 安德烈·库普利亚诺夫 , 伯恩德·芬克拜纳 , 海克·韦尔海姆 :
SLAB:无限状态并发系统的认证模型检查器。 TACAS公司 2010 : 271-274
2000 – 2009
2009 [j2] 克劳斯博士 , 伯恩德·芬克拜纳 , 安德烈亚斯·波德尔斯基 :
使用距离表示抽象进行定向模型检查。 国际期刊软件。 技术工具。 Transf公司。 11 ( 1 ) : 27-37 ( 2009 ) 2008 [j1] 英戈·布吕克纳 , 克劳斯博士 , 伯恩德·芬克拜纳 , 海克·韦尔海姆 :
切片抽象。 芬丹。 信息学 89 ( 4 ) : 369-392 ( 2008 ) 【c4】 克劳斯博士 , 伯恩德·芬克拜纳 :
子序列不变量。 CONCUR公司 2008 : 172-186 2007 【c3】 英戈·布吕克纳 , 克劳斯博士 , 伯恩德·芬克拜纳 , 海克·韦尔海姆 :
切片抽象。 FSEN公司 2007 : 17-32 【c2】 塞巴斯蒂安·库普费施米德 , 克劳斯博士 , 约格·霍夫曼 , 伯恩德·芬克拜纳 , 亨宁·迪尔克斯 , 安德烈亚斯·波德尔斯基 , 格尔德·贝尔曼 :
Uppaal/DMC-基于抽象的启发式,用于定向模型检查。 TACAS公司 2007 : 679-682 2006 【c1】 克劳斯博士 , 伯恩德·芬克拜纳 , 安德烈亚斯·波德尔斯基 :
使用保留距离的抽象进行有向模型检查。 自旋蛋白 2006 : 19-34