Leander Tentrup公司
人员信息
优化列表
2020年–今天
2022 [i16] 瑞典雅各布斯 , 吉列尔莫·A·佩雷斯 , 雷姆科·亚伯拉罕 , 维罗妮克·布鲁耶尔 , 米夏·卡迪哈克 , Maximilien Colange公司 , 查利·德尔佛斯 , 汤姆·范·迪克 , 亚历山大·杜雷特·卢茨 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 迈克尔·卢滕伯格 , 卡拉·梅耶 , 蒂鲍德·米绍德 , 阿德里安·蓬梅莱 , 弗洛里安·伦金 , 菲利普·施莱胡伯-凯西 , 穆罕默德·萨克 , 所罗门·西克特 , 加丹·斯塔奎特 , Clément Tamines公司 , Leander Tentrup公司 , 亚当·沃克 :
反应合成竞赛(SYNTCOMP):2018-2021。 CoRR公司 abs/2206.00251 ( 2022 ) 2021 【i15】 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
使用前缀树高效监控超属性。 CoRR公司 abs/2101.07109 ( 2021 ) [i14] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 贾娜·霍夫曼 , Leander Tentrup公司 :
实现Omega规则超属性。 CoRR公司 abs/2101.07161 ( 2021 ) 2020 [j7] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 菲利普·卢克特 , 马文·斯坦格 , Leander Tentrup公司 :
超属性合成。 信息学报 57 ( 1-2 ) : 137-163 ( 2020 ) [j6] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
使用前缀树有效监控超属性。 国际期刊软件。 技术工具。 Transf公司。 22 ( 6 ) : 729-740 ( 2020 ) [公元22年] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 贾娜·霍夫曼 , Leander Tentrup公司 :
实现超正则性。 CAV(2) 2020 : 40-63 [i13] 挪威科宁 , 伯恩德·芬克贝纳 , 塞萨尔·桑切斯 , Leander Tentrup公司 :
验证Hyperliveness。 CoRR公司 abs/2005.07425 ( 2020 )
2010 – 2019
2019 【b1】 Leander Tentrup公司 :
符号反应合成。 德国萨尔布吕肯萨尔州大学, 2019 [j5] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
监控超属性。 形式方法系统。 设计。 54 ( 三 ) : 336-363 ( 2019 ) 【j4】 Leander Tentrup公司 :
CAQE和QuAbS:基于抽象的QBF解算器。 J.满意。 布尔模型。 计算。 11 ( 1 ) : 155-210 ( 2019 ) 【c21】 挪威科宁 , 伯恩德·芬克贝纳 , 塞萨尔·桑切斯 , Leander Tentrup公司 :
验证Hyperliveness。 CAV(1) 2019 : 121-139 [c20] 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 马尔特·施莱德朱夫斯基 , 马克西米利安·施文格 , 马文·斯滕格 , Leander Tentrup公司 , 哈泽姆·托法 :
StreamLAB:基于流的网络物理系统监控。 CAV(1) 2019 : 421-431 [第19条] Leander Tentrup公司 , 马库斯·拉贝 :
DQBF的子句抽象。 坐 2019 : 388-405 [第18条] 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
基于约束的超属性监控。 TACAS(2) 2019 : 115-131 [i12] 瑞典雅各布斯 , 罗德里克·布隆 , Maximilien Colange公司 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 迈克尔·卢滕伯格 , 菲利普·梅耶 , 蒂鲍德·米绍德 , 穆罕默德·萨克 , 所罗门Sickert , Leander Tentrup公司 , 亚当·沃克 :
第五届反应合成竞赛(SYNTCOMP 2018):基准、参与者和结果。 CoRR公司 abs/1904.07736 ( 2019 ) [i11] 马库斯·拉贝 , Leander Tentrup公司 , 卡梅隆·拉斯穆森 , 桑吉特·塞希亚 :
理解和扩展2QBF的增量确定。 CoRR公司 abs/1905.13411 ( 2019 ) [i10] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 菲利普·卢克特 , 马文·斯坦格 , Leander Tentrup公司 :
从超性质合成反应体系。 CoRR公司 abs/1905.13511 ( 2019 ) [第九章] 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
基于约束的超属性监控。 CoRR公司 abs/1905.13517 ( 2019 ) [i8] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
RVHyper:一个用于时间超属性的运行时验证工具。 CoRR公司 腹肌/1906.00798 ( 2019 ) 2018 [j3] 瑞典雅各布斯 , Leander Tentrup公司 , 马丁·齐默尔曼 :
参数化时序逻辑的分布式综合。 Inf.计算。 262 : 311-328 ( 2018 ) [第17条] 马库斯·拉贝 , Leander Tentrup公司 , 卡梅隆·拉斯穆森 , 桑吉特·塞希亚 :
理解和扩展2QBF的增量确定。 CAV(2) 2018 : 256-274 [第16条] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 菲利普·卢克特 , 马文·斯坦格 , Leander Tentrup公司 :
从超性质合成反应体系。 CAV(1) 2018 : 289-306 [第15条] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
RVHyper:一个用于时间超属性的运行时验证工具。 墨西哥玉米饼(2) 2018 : 194-200 [第14条] 杰斯科·赫金·哈布什 , Leander Tentrup公司 :
通过抽象求解QBF。 甘道夫 2018 : 88-102 [i7] Leander Tentrup公司 :
基于CEGAR的QBF求解中的扩展与分解。 CoRR公司 abs/1803.09559 ( 2018 ) [i6] 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , Leander Tentrup公司 :
BoSy:有界合成的实验框架。 CoRR公司 abs/1803.09566 ( 2018 ) [i5] 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 马库斯·拉贝 , Leander Tentrup公司 :
有界合成的编码。 CoRR公司 abs/1803.09570 ( 2018 ) [i4] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
监控超属性。 CoRR公司 腹肌/1807.00758 ( 2018 ) [i3] 马库斯·拉贝 , Leander Tentrup公司 :
用子句抽象法合成布尔函数。 CoRR公司 abs/1808.08759 ( 2018 ) 2017 [注2] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 吕迪格·埃勒斯 , 提摩太地狱 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 马蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第一届反应合成竞赛(SYNTCOMP 2014)。 国际期刊软件。 技术工具。 Transf公司。 19 ( 三 ) : 367-390 ( 2017 ) [c13] 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , Leander Tentrup公司 :
BoSy:有界合成的实验框架。 CAV(2) 2017 : 325-332 [第12条] Leander Tentrup公司 :
基于CEGAR的QBF求解中的扩展与分解。 CAV(2) 2017 : 475-494 [第11条] 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 , 马文·斯坦格 , Leander Tentrup公司 :
监控超属性。 RV汽车 2017 : 190-207 [第10条] 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 马库斯·拉贝 , Leander Tentrup公司 :
有界合成的编码。 TACAS(1) 2017 : 354-370个 【c9】 瑞典雅各布斯 , 尼古拉斯·巴塞特 , 罗德里克·布隆 , 罗曼·布伦吉尔 , Maximilien Colange公司 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 蒂鲍德·米绍德 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 , Leander Tentrup公司 :
第四届反应合成竞赛(SYNTCOMP 2017):基准、参与者和结果。 同步@CAV 2017 : 116-143 [i2] 瑞典雅各布斯 , Leander Tentrup公司 , 马丁·齐默尔曼 :
参数化时序逻辑的分布式综合。 CoRR公司 abs/1705.08112 ( 2017 ) 2016 【c8】 Leander Tentrup公司 :
使用抽象求解非prenex QBF。 坐 2016 : 393-401 【c7】 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 罗伯特·科尼霍弗 , 延斯·克雷伯 , 亚历山大·莱格 , 尼娜·纳罗季斯卡 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 马蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第三届反应合成竞赛(2016年SYNTCOMP):基准、参与者和结果。 同步@CAV 2016 : 149-177 【c6】 瑞典雅各布斯 , Leander Tentrup公司 , 马丁·齐默尔曼 :
分布式PROMPT-LTL合成。 甘道夫 2016 : 228-241 【c5】 Leander Tentrup公司 , 亚历山大·韦内特 , 马丁·齐默尔曼 :
双指数时间内Prompt-LTL可实现性的最佳界逼近。 甘道夫 2016 : 302-315 2015 [j1] 伯恩德·芬克贝纳 , Leander Tentrup公司 :
检测分布式容错系统的不可实现性。 日志。 方法计算。 科学。 11 ( 三 ) ( 2015 ) 【c4】 马库斯·拉贝 , Leander Tentrup公司 :
CAQE:认证QBF解决方案。 FMCAD公司 2015 : 136-143 【c3】 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 马蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第二届反应合成竞赛(SYNTCOMP 2015)。 同步 2015 : 27日至57日 [i1] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 吕迪格·埃勒斯 , 提摩太地狱 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 马蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第一届反应合成竞赛(SYNTCOMP 2014)。 CoRR公司 腹肌/1506.08726 ( 2015 ) 2014 【c2】 伯恩德·芬克贝纳 , Leander Tentrup公司 :
快速DQBF退款。 坐 2014 : 243-251 【c1】 伯恩德·芬克贝纳 , Leander Tentrup公司 :
检测分布式系统的不可实现规范。 TACAS公司 2014 : 78-92