彼得·贝克曼
人员信息
优化列表
2020年–今天
2023 [注2] 彼得·贝克曼 , 阿莎拉塔·库纳皮利 , 克里斯蒂娜·塞塞莱亚努 :
通过正式验证支持5G服务编排。 计算。 科学。 信息系统。 20 ( 1 ) : 329-357 ( 2023 ) 【c9】 彼得·贝克曼 :
综合可理解的策略。 欧洲商业银行 2023 : 201-204 2021 [j1] 彼得·贝克曼 , 菲利普·吕默 , Aleksandar Zeljic先生 :
使用未解释的谓词和Presburger算法插值位向量公式。 形式方法系统。 设计。 57 ( 2 ) : 121-156 ( 2021 ) 【c8】 阿莎拉塔·库纳皮利 , 彼得·贝克曼 , 克里斯蒂娜·塞塞莱亚努 :
从UML建模到5G动态服务编排的UPPAAL模型检查。 欧洲商业银行 2021 : 11:1-11:10 2020 【c7】 阿莎拉塔·库纳皮利 , 彼得·贝克曼 , 克里斯蒂娜·塞塞莱亚努 :
基于UML的5G服务编排建模与分析。 亚太经合组织 2020 : 129-138
2010 – 2019
2019 【b1】 彼得·贝克曼 :
量词和理论:懒惰的方法。 瑞典乌普萨拉大学, 2019 2018 【c6】 Aleksandar Zeljic先生 , 彼得·贝克曼 , 克里斯托弗·温特斯泰格 , 菲利普·吕默 :
使用UppSAT探索浮点算法的近似。 IJCAR公司 2018 : 246-262 【c5】 彼得·贝克曼 , 菲利普·吕默 , Aleksandar Zeljic先生 :
位矢量插值和量化器消除的延迟减少。 FMCAD公司 2018 : 1-10 2017 [i1] Aleksandar Zeljic先生 , 彼得·贝克曼 , 克里斯托夫·温特斯泰格 , 菲利普·吕默 :
使用UppSAT探索浮点算法的近似。 CoRR公司 abs/1711.08859 ( 2017 ) 2016 【c4】 彼得·贝克曼 , 克里斯托夫·温特斯泰格 , 博扬·约丹诺夫 , 萨拉·简·邓恩 :
基于代数多项式的抽象布尔网络分析综合。 IJCAR的SMT 2016 : 41-50 2015 【c3】 彼得·贝克曼 , 菲利普·吕默 :
有界刚性E-统一定理的证明。 CADE公司 2015 : 572-587 【c2】 彼得·贝克曼 , 菲利普·吕默 :
自由变量和理论:重新审视刚性E-统一。 FroCos公司 2015 : 3-13 【c1】 彼得·贝克曼 , 菲利普·吕默 :
有界刚性E-统一的有效算法。 TABLEAUX公司 2015 : 70-85