弗洛里安·皮戈什
人员信息
附属: 弗莱堡大学计算机科学系,弗莱堡im Breisgau,德国
SPARQL查询
优化列表
2010 – 2019
2016 [第14条] 克里斯托夫·斯科尔 , 弗洛里安·皮戈什 :
QBF解算器AIGSolve。 SAT时QBF 2016 : 55-62 2014 [第13条] 克里斯托夫·斯科尔 , 弗洛里安·皮戈什 , Stefan Disch公司 , 恩斯特·奥尔特豪斯 :
线性算术的简单插值。 日期 2014 : 1-6 2013 [第12条] 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 :
引理局部化:缩小SMT插值的一种实用方法。 日期 2013 : 1405-1410 2012 [j1] 沃纳·达姆 , 亨宁·迪尔克斯 , 斯特凡·迪什 , 威廉·哈格曼 , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 科学。 计算。 程序。 77 ( 10-11 ) : 1122-1150 ( 2012 ) [第11条] 斯文·雷默 , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
增强QBF解决技术的集成。 MBMV公司 2012 : 133-143 2011 [c10] 乔治·莫贝 , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 :
时间自动机的完全符号模型检查。 CAV汽车 2011 : 616-632 【c9】 斯文·雷默 , Florian Pigorsch公司 , 克里斯托夫·斯科尔 , 伯恩德·贝克尔 :
正交QBF求解技术的集成。 日期 2011 : 149-154 2010 【c8】 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 :
使用SAT进行预处理的基于AIG的QBF求解器。 数模转换器 2010 : 170-175
2000 – 2009
2009 【c7】 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 :
在基于AIG的QBF解算器中利用结构。 日期 2009 : 1596-1601 【c6】 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 :
使用暗示优化线性混合系统的状态集表示。 MBMV公司 2009 : 77-86 【c5】 克里斯托夫·斯科尔 , Stefan Disch公司 , 弗洛里安·皮戈什 , 斯特凡·库普弗施米德 :
通过检测和删除冗余线性约束计算非凸多面体的优化表示。 TACAS公司 2009 : 383-397 2007 【c4】 沃纳·达姆 , Stefan Disch公司 , 哈迪·亨加 , 瑞典雅各布斯 , 彭军(Jun Pang) , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
大离散状态空间线性混合系统验证中的精确状态集表示。 ATVA公司 2007 : 425-440 2006 【c3】 沃纳·达姆 , 斯特凡·迪什 , 哈迪·亨加 , 彭军(Jun Pang) , Florian Pigorsch公司 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
大离散状态空间混合系统的自动验证。 ATVA公司 2006 : 276-291 【c2】 Florian Pigorsch公司 , 克里斯托夫·朔尔 , Stefan Disch公司 :
基于AIG、BDD扫描和量化器调度的高级无边界模型检查。 FMCAD公司 2006 : 89-96 【c1】 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , Stefan Disch公司 :
使用AIG、BDD扫描和量化器调度进行高级无边界CTL模型检查。 MBMV公司 2006 : 135-144