马吕斯·博兹加;拉杜·奥西夫;约瑟夫·西法基斯 使用递归架构验证基于组件的系统。 (英语) 兹伯利07676475 西奥。计算。科学。 940, 146-175 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,Theor。计算。科学。940、146--175(2023年;Zbl 07676475) 全文: 内政部 arXiv公司
马吕斯·博兹加;拉杜·奥西夫;约瑟夫·西法基斯 检查基于参数化组件的系统的死锁自由度。 (英语) Zbl 1455.68102号 J.日志。代数。方法计划。 119,文章ID 100621,23 p.(2021).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,J.Log。代数。方法计划。119,文章ID 100621,23 p.(2021;Zbl 1455.68102) 全文: 内政部 arXiv公司
马吕斯·博兹加;哈维尔·埃斯帕尔扎;拉杜·奥西夫;约瑟夫·西法基斯;克里斯托夫·韦尔泽尔 用于验证具有参数化体系结构的系统的结构不变量。 (英语) 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) 全文: 内政部 arXiv公司
阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 基于模型检查的分布式系统优先级调度。 (英语) Zbl 1260.68030号 形式方法系统。设计。 39,第3期,229-245(2011). 审核人:皮埃尔·利昂(卡鲁日) MSC公司:64岁以下 68平方米 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Basu}等人,《形式方法系统》。设计。39,第3号,229--245(2011;Zbl 1260.68030) 全文: 内政部
萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 分布式系统的基于知识的调度。 (英语) 兹比尔1288.68178 Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲义6200,26-41(2010)。MSC公司:68问题85 68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensalem}等人,Lect。注释计算。科学。6200,26-41(2010;Zbl 1288.68178) 全文: 内政部 链接
萨德克·本萨勒姆;马吕斯·博兹加;约瑟夫·西法基斯;阮,Thanh-Hung 基于组件的系统和应用程序的组成验证。 (英语) Zbl 1183.68364号 Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,64-79(2008)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensalem}等人,Lect。注释计算。科学。5311、64--79(2008年;Zbl 1183.68364) 全文: 内政部
基耶,J.P。;J.西法基斯。 CESAR中并发系统的规范和验证。 (英语) Zbl 1142.68440号 Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学讲义5000,216-230(2008)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Queille}和\text{J.Sifakis},莱克特。注释计算。科学。5000216-230(2008年;Zbl 1142.68440) 全文: 内政部
Y.Kesten。;A.普努利。;J.西法基斯。;Yovine,S。 可判定的集成图。 (英语) Zbl 1045.68566号 Inf.计算。 150,第2期,209-243(1999).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《信息计算》。150,第2号,209--243(1999;Zbl 1045.68566) 全文: 内政部 链接
Loiseaux,C。;格拉夫,S。;J.西法基斯。;A.Bouajjani。;Bensalem,S。 用于验证并发系统的属性保持抽象。 (英语) Zbl 0829.68053号 形式方法系统。设计。 6,第1期,11-44(1995).MSC公司:2010年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Loiseaux}等人,《形式方法系统》。设计。6,编号1,11-44(1995;Zbl 0829.68053) 全文: 内政部
约瑟夫·西法基斯 研究过渡系统性质的统一方法。 (英语) Zbl 0478.68056号 西奥。计算。科学。 18227-258(1982年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Sifakis},Theor。计算。科学。18、227--258(1982年;Zbl 0478.68056) 全文: 内政部