Stefan Disch公司
人员信息
优化列表
2010 – 2019
2017 [注2] 恩斯特·奥尔特豪斯 , 比约恩·贝伯 , 沃纳·达姆 , Stefan Disch公司 , 威廉·哈格曼 , 阿斯特里德·拉科夫 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
使用反例引导的抽象精化验证具有大离散状态空间的线性混合系统。 科学。 计算。 程序。 148 : 123-160 ( 2017 ) 2014 【c7】 克里斯托夫·斯科尔 , 弗洛里安·皮戈什 , Stefan Disch公司 , 恩斯特·阿尔特豪斯 :
线性算术的简单插值。 日期 2014 : 1-6 2012 [j1] 沃纳·达姆 , 亨宁·迪尔克斯 , Stefan Disch公司 , 威廉·哈格曼 , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 科学。 计算。 程序。 77 ( 10-11 ) : 1122-1150 ( 2012 )
2000 – 2009
2009 【c6】 克里斯托夫·斯科尔 , 斯特凡·迪什 , 弗洛里安·皮戈什 , 斯特凡·库普弗施米德 :
通过检测和删除冗余线性约束计算非凸多面体的优化表示。 TACAS公司 2009 : 383-397 2008 [电子1] 克里斯托夫·斯科尔 , Stefan Disch公司 :
德国弗赖堡,2008年3月3日至5日。 振动筛 2008 [目录] 2007 【c5】 Stefan Disch公司 , 克里斯托夫·斯科尔 :
使用增量SAT求解、输出排序和重置进行组合等效性检查。 ASP-DAC公司 2007 : 938-943 【c4】 沃纳·达姆 , Stefan Disch公司 , 哈迪·亨加 , 瑞典雅各布斯 , 彭军(Jun Pang) , 弗洛里安·皮戈什 , 克里斯托夫·朔尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
大离散状态空间线性混合系统验证中的精确状态集表示。 ATVA公司 2007 : 425-440 2006 【c3】 维尔纳·达姆 , Stefan Disch公司 , 哈迪·亨加 , 彭军(Jun Pang) , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
大离散状态空间混合系统的自动验证。 ATVA公司 2006 : 276-291 【c2】 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , Stefan Disch公司 :
基于AIG、BDD扫描和量化器调度的高级无边界模型检查。 FMCAD公司 2006 : 89-96 【c1】 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , Stefan Disch公司 :
使用AIG、BDD扫描和量化器调度进行高级无边界CTL模型检查。 百万立方米/百万立方米 2006 : 135-144