罗兰·金德曼
人员信息
SPARQL查询
优化列表
2010 – 2019
2014 【b1】 罗兰·金德曼 :
基于SMT的定时系统和软件验证。 芬兰赫尔辛基阿尔托大学, 2014 2013 【c5】 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅莱 :
时间自动机MITL片段的有界模型检验。 ACSD系统 2013 : 216-225 [i2] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅莱 :
时间自动机MITL片段的有界模型检验。 CoRR公司 腹肌/1304.7209 ( 2013 ) 2012 【c4】 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅莱 :
基于SMT的时间系统归纳方法。 格式 2012 : 171-187 【c3】 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅莱 :
超越拉索:完成基于SMT的时间自动机有界模型检查。 FMOODS/FORTE公司 2012 : 84-100 [i1] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅莱 :
基于SMT的定时系统归纳法。 CoRR公司 腹肌/1204.5639 ( 2012 ) 2011 [c2] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅莱 :
带时钟的安全仪表系统符号分析建模。 ACSD系统 2011 : 185-194 2010 【c1】 卡里·卡霍宁 , 罗兰·金德曼 , 凯霍·赫尔扬科 , 伊尔卡·尼梅莱 :
Java卡小程序的一致性测试和随机测试的实验比较。 自旋蛋白 2010 : 22-39