安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 无量词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） 全文： 内政部 链接
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 在普雷斯伯格算法的扩展中超越了无量词插值。 （英语） 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） 全文： 内政部