×

找到31个文档（结果1-31）

最新的 引文 关联
马吕斯·博兹加;约瑟夫·西法基斯

自动驾驶系统的规范和验证：多级语义框架。 （英文） Zbl 1528.68211号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 85-106 (2022).
MSC公司：60年第68季度 03B70号 68问题55 68兰特 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozga}和\textit{J.Sifakis}，莱克特。注释计算。科学。13660，85-106（2022；Zbl 1528.68211）
全文： 内政部 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 1527.68022号

Vojnar，Tomáš（编辑）等人，《系统构建和分析的工具和算法》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11428, 3-20 (2019).
MSC公司：64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{M.Bozga}等人，Lect。注释计算。科学。11428，3-20（2019；Zbl 1527.68022）
全文： 内政部
伊戈尔·康诺夫;托默·科特克;王强;赫尔穆特·维思;西蒙·布利兹;约瑟夫·西法基斯

BIP中的参数化系统：设计和模型检查。 （英文） Zbl 1392.68254号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学论文集59，第30条，第16页（2016）。
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，LIPIcs——莱布尼茨国际程序。通知。59，第30条，第16页（2016；Zbl 1392.68254）
全文： 内政部
阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯

基于模型检查的分布式系统优先级调度。 （英文） 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）
全文： 内政部
萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯

分布式系统的基于知识的调度。 （英文） Zbl 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）
全文： 内政部 链接
阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯

基于模型检查的分布式系统优先级调度。 （英文） Zbl 1242.68033号

Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。第21届国际会议，CAV 2009，法国格勒诺布尔，2009年6月26日-7月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643，79-93（2009）。
MSC公司：68平方米 60年第68季度 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{A.Basu}等人，Lect。注释计算。科学。5643、79-93（2009年；Zbl 1242.68033）
全文： 内政部 链接
萨德克·本萨勒姆;马吕斯·博兹加;约瑟夫·西法基斯;阮，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年；兹比尔1142.68440）
全文： 内政部
格雷戈·戈斯勒;苏珊娜·格拉芙;米拉·卡德巴姆少校;马滕斯，M。;约瑟夫·西法基斯

基于组件的系统建模和验证方法。 （英文） Zbl 1131.68474号

van Leeuwen，Jan（编辑）等人，SOFSEM 2007：计算机科学的理论与实践。2007年1月20日至26日在捷克共和国哈拉乔夫举行的第33届计算机科学理论和实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69506-6/pbk）。计算机科学课堂讲稿4362295-308（2007）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Gössler}等人，Lect。注释计算。科学。4362295-308（2007年；兹bl 1131.68474）
全文： 内政部 链接
格雷戈·戈斯勒;约瑟夫·西法基斯

基于组件的无死锁系统构造（扩展抽象）。 （英文） Zbl 1205.68245号

Pandya，Paritosh K.（编辑）等人，FST TCS 2003：软件技术和理论计算机科学基础。第23届会议，印度孟买，2003年12月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20680-9/pbk）。莱克特。注释计算。科学。2914, 420-433 (2003).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.össler}和\textit{J.Sifakis}，莱克特。注释计算。科学。2914、420——433（2003年；Zbl 1205.68245）
全文： 内政部
艾蒂安·克劳斯;米歇尔·波伊泽;雅克·普鲁;约瑟夫·西法基斯;帕特里克·文特

TAXYS：用于开发和验证实时嵌入式系统的工具。 （英文） Zbl 0991.68644号

Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2102, 391-395 (2001).
MSC公司：68单位99 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Closse}等人，Lect。注释计算。科学。2102391-395（2001年；兹bl 0991.68644）
全文： 链接
约瑟夫·西法基斯

定时系统的组成规范-一个图罗。 （英文） Zbl 1046.68609号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 2-7 (1999).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Sifakis}，莱克特。注释计算。科学。1633年2月7日（1999年；Zbl 1046.68609）
约瑟夫·西法基斯;塞尔吉奥·尤文

定时系统的组成规范。 （英文） Zbl 1379.68240号

Puech，Claude（编辑）等人，STACS 96。第十三届计算机科学理论方面年度研讨会。1996年2月22日至24日，法国格勒诺布尔。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-60922-9）。计算机科学课堂讲稿1046347-359（1996）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Sifakis}和\textit{S.Yovine}，莱克特。注释计算。科学。1046347-359（1996年；Zbl 1379.68240）
全文： 内政部 链接
A.Bouajjani。;J.C.费尔南德斯。;格拉芙，S。;罗德里格斯，C。;J.西法基斯。

分支时间语义的安全性。 （英文） Zbl 0769.68089号

自动化、语言和编程、Proc。第18国际学院，马德里/西班牙，1991年，法律。注释计算。科学。51076-92（1991）中所述。
MSC公司：60年第68季度 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，Lect。注释计算。科学。510、76-92（1991年；Zbl 0769.68089）
约瑟夫·西法基斯（编辑）

有限状态系统的自动验证方法。国际研讨会，法国格勒诺布尔，1989年6月12日至14日。诉讼程序。 （英文） Zbl 0745.68017号

计算机科学课堂讲稿. 407. 柏林等：Springer-Verlag。七、 第382页（1990年）。
审核人：M.K（布尔诺）
MSC公司：68-06 2010年第68季度 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Sifakis｝（编辑），有限状态系统的自动验证方法。国际研讨会，法国格勒诺布尔，1989年6月12日至14日。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0745.68017）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件