A.普努利。;A.扎克斯。 关于时间测试仪的优点。 (英语) Zbl 1143.68046号 Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学讲义5000,172-195(2008)。MSC公司:60年第68季度 03B44号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{A.Zaks},莱克特。注释计算。科学。5000、172--195(2008年;Zbl 1143.68046) 全文: 内政部
阿米尔·普努利 反应式程序的验证和合成。 (英语) Zbl 1137.68041号 Broy,Manfred(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。北约科学安全系列。D: 信息与通信安全9,298-340(2007)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli},in:软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社。298-340(2007年;Zbl 1137.68041)
奥德·马勒;德扬·尼科维奇;阿米尔·普努利 从有界响应特性合成控制器。 (英语) 兹比尔1135.68477 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590,95-107(2007)。MSC公司:60年第68季度 65年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人,Lect。注释计算。科学。4590,95-107(2007年;Zbl 1135.68477) 全文: 内政部
奥德·马勒;德扬·尼科维奇;阿米尔·普努利 从MITL到时间自动机。 (英语) Zbl 1141.68436号 Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202,274-289(2006)。MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人,Lect。注释计算。科学。4202、274--289(2006年;Zbl 1141.68436) 全文: 内政部
文卡特斯·迈索尔;阿米尔·普努利 细化混合自动机的不可判定边界。 (英语) Zbl 1172.68521号 Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。《计算机科学讲义》3821261-272(2005)。MSC公司:65年第68季度 03天35分 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mysore}和\textit{A.Pnueli},莱克特。注释计算。科学。38218261-272(2005年;兹比尔1172.68521) 全文: 内政部
尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 缩小公平模拟和跟踪包含之间的差距。 (英语) Zbl 1278.68178号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 381-393 (2003).MSC公司:60年第68季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,莱克特。注释计算。科学。2725、381--393(2003年;Zbl 1278.68178) 全文: 内政部
达纳·菲斯曼;阿米尔·普努利 除了定期模型检查。 (英语) Zbl 1052.68084号 Hariharan,Ramesh(编辑)等人,FST TCS 2001:软件技术和理论计算机科学基础。第21届会议,印度班加罗尔,2001年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43002-4)。莱克特。注释计算。科学。2245, 156-170 (2001).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}和\textit{A.Pnueli},莱克特。注释计算。科学。2245156-170(2001年;Zbl 1052.68084) 全文: 链接
尤尼特·凯斯滕;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证:自动机理论视图。 (英语) Zbl 0983.68109号 J.计算。系统。科学。 62,第4期,668-690(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《计算杂志》。系统。科学。62,第4号,668--690(2001;Zbl 0983.68109) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利 控制和数据抽象:实际形式验证的基石。 (英语) Zbl 1059.68589号 国际期刊软件。技术工具。Transf公司。2,编号4328-342(2000年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利 通过增强抽象验证活性。 (英语) Zbl 0944.68128号 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 141-156 (1999).MSC公司:60年第68季度 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}和\textit{A.Pnueli},莱克特。注释计算。科学。1683141-156(1999年;Zbl 0944.68128)
爱德华·张;佐哈尔·曼纳;阿米尔·普努利 时间属性类的特征。 (英语) Zbl 1425.68252号 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 474-486 (1992).MSC公司:60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Chang}等人,Lect。注释计算。科学。623474-486(1992年;Zbl 1425.68252) 全文: 内政部
阿米尔·普努利;勒诺尔·扎克 多进程概率协议的验证。 (英语) 兹比尔0598.68019 分布计算。 1, 53-72 (1986).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{L.Zuck},分布计算。1、53--72(1986年;Zbl 0598.68019) 全文: 内政部
阿米尔·普努利;乔拉·斯卢茨基 有限状态线性程序的自动编程。 (英语) Zbl 0462.68002号 SIAM J.计算。 10, 519-535 (1981).MSC公司:60年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{G.Slutzki},SIAM J.Compute。10519-535(1981年;Zbl 0462.68002) 全文: 内政部