马吕斯·博兹加;哈维尔·埃斯帕尔扎;拉杜·奥西夫;约瑟夫·西法基斯;克里斯托弗·韦尔泽尔 用于验证具有参数化体系结构的系统的结构不变量。 (英语) Zbl 1507.68179号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 228-246 (2020).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,Lect。注释计算。科学。12078,228--246(2020;Zbl 1507.68179) 全文: DOI程序 arXiv公司
拉杜·奥西夫;徐,肖 交替数据自动机空性检查的抽象精化。 (英语) Zbl 1423.68255号 Beyer,Dirk(编辑)等人,《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议(TACAS 2018),是欧洲软件理论与实践联合会议(ETAPS 2018)的一部分。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10806, 93-111 (2018).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}和\textit{X.Xu},Lect。注释计算。科学。10806,93-111(2018;Zbl 1423.68255) 全文: DOI程序
拉杜·奥西夫;阿诺德·桑尼尔 验证具有有限幺半群性质的平面仿射计数器系统有多难? (英语) Zbl 1398.68311号 Artho,Cyrille(编辑)等人,《用于验证和分析的自动化技术》。2016年10月17日至20日,第14届国际研讨会,ATVA 2016,日本千叶。诉讼程序。查姆:施普林格(ISBN 978-3-319-46519-7/pbk;978-3-3169-46520-3/电子书)。计算机科学讲义9938,89-105(2016)。MSC公司:65年第68季度 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}和\textit{A.Sangnier},莱克特。注释计算。科学。9938,89-105(2016;Zbl 1398.68311) 全文: DOI程序 arXiv公司 哈尔
拉杜·奥西夫;亚当·罗加列维奇 基于自动终端证明。 (英语) Zbl 1413.68021号 计算。通知。 32,第4期,739-775(2013).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}和\textit{A.Rogalewicz},计算。通知。32,第4号,739--775(2013;Zbl 1413.68021)
艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈伯梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 带有列表的程序是计数器自动机。 (英语) Zbl 1217.68059号 形式方法系统。设计。 38,第2期,158-192(2011).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。38,第2号,158--192(2011;Zbl 1217.68059) 全文: DOI程序 哈尔
彼得·哈伯梅尔;拉杜·奥西夫;汤姆·沃纳 使用树更新自动验证程序。 (英语) Zbl 1185.68414号 学报信息。 47,第1期,1-31页(2010年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}等人,《信息学报》第47卷第1期,1--31页(2010年;Zbl 1185.68414) 全文: DOI程序 哈尔
拉杜·奥西夫;亚当·罗加列维奇 基于自动终端证明。 (英语) Zbl 1248.68148号 Maneth,Sebastian(编辑),自动机的实现和应用。2009年7月14日至17日在澳大利亚悉尼举行的CIAA 2009第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02978-3/pbk)。计算机科学讲座笔记5642165-177(2009)。MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}和\textit{A.Rogalewicz},莱克特。注释计算。科学。5642、165--177(2009年;Zbl 1248.68148) 全文: DOI程序 哈尔
马吕斯·博兹加;彼得·哈伯梅尔;拉杜·奥西夫;菲利普·科内钦;汤姆·沃纳 整数数组程序的自动验证。 (英语) Zbl 1242.68063号 Bouajjani,Ahmed(编辑)等人,《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。计算机科学讲座笔记5643157-172(2009)。MSC公司:68号30 60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,Lect。注释计算。科学。5643、157--172(2009年;Zbl 1242.68063) 全文: DOI程序
彼得·哈伯梅尔;拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 证明树操作程序的终止。 (英语) Zbl 1141.68469号 Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762145-161(2007)。MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}等人,Lect。注释计算。科学。4762、145--161(2007年;Zbl 1141.68469) 全文: DOI程序 哈尔
艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈伯梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 带有列表的程序是计数器自动机。 (英语) Zbl 1188.68181号 Ball,Thomas(编辑)等人,《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学讲义41441517-531(2006)。MSC公司:60年第68季度 68号30 68第05页 68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,Lect。注释计算。科学。41441517-531(2006年;兹bl 1188.68181) 全文: DOI程序
彼得·哈伯梅尔;拉杜·奥西夫;托马斯·沃伊纳尔 使用树更新自动验证程序。 (英语) 兹比尔1180.68117 Hermanns,Holger(编辑)等人,《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006,是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33056-9/pbk)。计算机科学课堂讲稿3920,350-364(2006)。MSC公司:68号30 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}等人,Lect。注释计算。科学。3920、350-364(2006年;Zbl 1180.68117) 全文: DOI程序