保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 贝叶斯统计模型检查及其在Stateflow/Simulink验证中的应用。 （英语） Zbl 1291.68273号 形式方法系统。设计。 43，第2期，338-367（2013）.MSC公司：60年第68季度 87年第68季度 10层62层 62F03型 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人，《形式方法系统》。设计。43，No.2，338--367（2013；Zbl 1291.68273） 全文： DOI程序
高思春;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 使用Gröbner基消除有限域上的量词。 （英语） Zbl 1339.68321号 Winkler，Franz（编辑），代数信息学。2011年6月21日至24日，第四届国际会议，CAI 2011，奥地利林茨。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21492-9/pbk）。计算机科学讲义6742140-157（2011）。MSC公司：68瓦30 03C10号机组 12E20型 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{S.Gao}等人，Lect。票据计算。科学。6742、140-157（2011年；Zbl 1339.68321） 全文： DOI程序 arXiv公司
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克。 贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 （英语） Zbl 1361.68154号 第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。243-252 (2010).MSC公司：60年第68季度 62C10个 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。243-252（2010年；Zbl 1361.68154） 全文： DOI程序
安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 计算混合系统的微分不变量作为不动点。 （英语） Zbl 1180.93024号 形式方法系统。设计。 35，第1期，98-120（2009）.MSC公司：93B11号机组 47N10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{E.M.Clarke}，《形式方法系统》。设计。35，第1号，98-120（2009年；Zbl 1180.93024） 全文： DOI程序
安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 计算混合系统的微分不变量作为固定点。 （英语） Zbl 1155.68445号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123176-189（2008）。MSC公司：60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛A.Platzer｝和\textit｛E.M.Clarke｝，Lect。票据计算。科学。5123176-189（2008年；兹比尔1155.68445） 全文： DOI程序
安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 混合系统模型检测中的图像计算问题。 （英语） Zbl 1221.93118号 Bempoad，Alberto（编辑）等人，《混合系统：计算和控制》。2007年4月3日至5日在意大利比萨举行的2007年HSCC第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71492-7/pbk）。计算机科学课堂讲稿4416，473-486（2007）。MSC公司：93立方 60年第68季度 93个B03 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{E.M.Clarke}，莱克特。票据计算。科学。4416、473--486（2007年；Zbl 1221.93118） 全文： DOI程序