Lin，Anthony W。;菲利普·吕默 重新检查定期模型。 （英语） Zbl 1522.68332号 Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 97-114 (2022).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.W.Lin｝和\textit｛P.Rümmer｝，Lect。注释计算。科学。13030，97-114（2022；Zbl 1522.68332） 全文： 内政部 arXiv公司
伊森，扎弗;菲利普·吕默 堆理论中的推理：可满足性和插值。 （英语） Zbl 07496647号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561173-191（2021年）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Esen}和\textit{P.吕默}，莱克特。注释计算。科学。12561，173--191（2021；Zbl 07496647） 全文： 内政部
彼得·贝克曼;菲利普·吕默;Aleksandar Zeljić 使用未解释的谓词和Presburger算法插值位向量公式。 （英语） Zbl 1522.68142号 表格方法系统。设计。 57，第2期，121-156（2021）.MSC公司：68号30 03B70号 03C10号机组 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Backeman}等人，《形式方法系统》。设计。57，编号2，121--156（2021；Zbl 1522.68142） 全文： 内政部
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 求解器和决策过程的近似框架。 （英语） Zbl 1409.68265号 J.汽车。推理 58，第1期，127-147（2017）.MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人，J.Autom。推理58，No.1，127--147（2017；Zbl 1409.68265） 全文： 内政部 链接
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 用mcSAT确定位向量公式。 （英语） Zbl 1475.68226号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710249-266（2016年）。MSC公司：68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人，Lect。注释计算。科学。9710，249--266（2016；Zbl 1475.68226） 全文： 内政部
杰罗姆·勒鲁;菲利普·吕默;Subotić，Pavle公司 使用特定领域的抽象指导Craig插值。 （英语） Zbl 1344.68139号 学报信息。 53，编号4387-424（2016）.MSC公司：60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}等人，《信息学报》53，第4期，387--424（2016；Zbl 1344.68139） 全文： 内政部 链接
菲利普·吕默;侯赛因·霍贾特;维克多·昆卡 关于无递归Horn子句和Craig插值。 （英语） 兹比尔1322.68134 表格方法系统。设计。 47，第1号，1-25（2015）.MSC公司：60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{P.Rümmer}等人，《形式方法系统》。设计。47，第1号，1-25（2015；Zbl 1322.68134） 全文： 内政部
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。 位向量关系的排序函数综合。 （英语） Zbl 1291.68138号 表格方法系统。设计。 43，第1期，93-120（2013）.MSC公司：68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人，《形式方法系统》。设计。43，第1号，93-120（2013年；兹bl 1291.68138） 全文： 内政部 链接
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 无量词Presburger算法的插值序列演算。 （英语） Zbl 1259.03043号 J.汽车。推理 47，第4期，341-367（2011）.MSC公司：03B70号 03C40号 07年3月 30楼03号 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人，J.Autom。推理47，No.4，341--367（2011；Zbl 1259.03043） 全文： 内政部 链接
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 使用模型检查和（k）-归纳法自动分析DMA竞争。 （英语） Zbl 1233.68124号 表格方法系统。设计。 39，第1期，第83-113页（2011年）.MSC公司：68号30 60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人，《形式方法系统》。设计。39，第1号，第83-113条（2011；Zbl 1233.68124） 全文： 内政部
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 在普雷斯伯格算法的扩展中超越了无量词插值。 （英语） Zbl 1318.03045号 Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，88-102（2011）。MSC公司：03C40号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人，Lect。注释计算。科学。6538，88-102（2011；Zbl 1318.03045） 全文： 内政部 arXiv公司
安吉洛·布里洛特;何楠楠;米歇尔，马祖奇;丹尼尔·克罗宁;米特拉·普兰达尔;菲利普·吕默;乔治·威森巴赫 Simulink模型基于变异的测试用例生成。 （英语） Zbl 1312.68130号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286208-227（2010）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人，Lect。注释计算。科学。6286208--227（2010年；Zbl 1312.68130） 全文： 内政部