伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥伦·穆特鲁吉尔 有状态部分顺序缩减的实用方法。 (英语) 兹伯利07728618 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13881, 129-154 (2023).MSC公司:第68季度第60季度 68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{B.Cirisci}等人,Lect。注释计算。科学。13881、129--154(2023;Zbl 07728618) 全文: 内政部 arXiv公司
弗雷德里克·伯内兰。;彼得·詹森(Peter G.Jensen)。;Larsen,Kim G。;马尔科·穆尼兹;吉·斯尔巴 针对时间可达性和安全游戏的顽固集缩减。 (英语) Zbl 07497999号 Dima,Catalin(编辑)等,《定时系统的形式化建模和分析》。第19届国际会议,FORMATS 2021,巴黎,法国,2021年8月24-26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12860, 32-49 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,Lect。注释计算。科学。12860,32-49(2021;Zbl 07497999) 全文: 内政部
Bønneland,弗雷德里克·迈耶;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 两层可达博弈的顽固集约简。 (英语) Zbl 1501.68002号 日志。计算方法。科学。 17,第1号,第21号论文,第26页(2021年). 审核人:马可·贝尼尼(科莫) MSC公司:第68季度85 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,日志。计算方法。科学。17,第1号,第21号论文,第26页(2021;Zbl 1501.68002) 全文: arXiv公司 链接
佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 使用基于局部分析的近似和SAT求解对并发系统进行有效验证。 (英语) Zbl 1425.68285号 正式Asp。计算。 31,第3号,375-409(2019).MSC公司:第68季度85 第68季度第60季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonino}等人,《正式Asp》。计算。31,第3号,375--409(2019;Zbl 1425.68285) 全文: 内政部
安卡·穆斯科尔 自动合成:分布式视点。 (英语) Zbl 1491.68049号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第3条,第5页(2018年)。MSC公司:68甲19 64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl},LIPIcs——莱布尼茨国际程序。通知。93,第3条,第5页(2018;Zbl 1491.68049) 全文: 内政部
多龙·贝利德 部分订单减少。 (英语) Zbl 1392.68262号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。173-190 (2018).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled},in:模型检查手册。查姆:施普林格。173-190(2018;Zbl 1392.68262) 全文: 内政部
本·莫斯科夫斯基;Dimitar P.Guelev。 时间投影在交错并发中的应用。 (英语) Zbl 1370.68216号 正式Asp。计算。 29,第4号,705-750(2017).MSC公司:第68季度85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski}和\textit{D.P.Guelev},正式Asp。计算。29,第4号,705--750(2017;Zbl 1370.68216) 全文: 内政部
艾维洛·多布里科夫;Michael Leuschel先生 使用部分降阶优化B的ProB模型检查器。 (英语) Zbl 1342.68208号 正式Asp。计算。 28,第2期,295-323(2016).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Dobrikov}和\textit{M.Leuschel},正式Asp。计算。28,第2号,295--323(2016;Zbl 1342.68208) 全文: 内政部
Polyvyany,Artem公司;拉罗萨,马塞洛;欧阳春;阿瑟·霍夫斯泰德。 解联:一种分析并发系统的新方法。 (英语) Zbl 1347.68272号 正式Asp。计算。 27,编号5-6,753-788(2015).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Polyvyany}等人,《正式Asp》。计算。27号5--6753--788(2015;Zbl 1347.68272) 全文: 内政部 链接
安卡·穆斯科尔 分布式控制器的自动合成。 (英语) Zbl 1440.68178号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 11-27 (2015).MSC公司:第68季度85 68甲19 PDF格式BibTeX公司 XML格式引用 \文本{A.Muscholl},Lect。注释计算。科学。9135,11-27(2015;Zbl 1440.68178) 全文: 内政部 arXiv公司
安卡·穆斯科尔 关于分布式监视和合成。 (英语) Zbl 1459.68017号 Beckmann,Arnold(编辑)等人,《进化可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9136, 54-62 (2015).MSC公司:64岁以下 68甲19 68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \文本{A.Muscholl},Lect。注释计算。科学。9136,54-62(2015;Zbl 1459.68017) 全文: 内政部
休伯特Garavel;弗雷德里克·朗;拉杜·马特埃斯库 使用CADP对异步并发系统进行组合验证。 (英语) Zbl 1410.68250号 学报信息。 52,No.4-5,337-392(2015).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,《学报》第52期,第4--5337--392号(2015年;Zbl 1410.68250) 全文: 内政部
波胡斯拉夫·科埃纳;汤姆·沃纳 自动化形式分析和验证:概述。 (英语) Zbl 1286.68318号 国际通用系统杂志。 第4335-365号第42页(2013年).MSC公司:第68季度第60季度 68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Křena}和\textit{T.Vojnar},《国际遗传学》。42,第4号,335--365(2013;Zbl 1286.68318) 全文: 内政部
莫里茨·马滕斯;米拉·卡德巴姆少校 具有架构约束的组件系统中的死锁自由。 (英语) Zbl 1284.68043号 形式方法系统。设计。 41,第2期,129-177(2012).MSC公司:2007年7月68日 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Martens}和\textit{M.Majster-Cederbaum},《形式方法系统》。设计。41,第2号,129--177(2012;Zbl 1284.68043) 全文: 内政部
海克·卫尔海姆;丹尼尔·沃尼什 成分CSP跟踪细化检查。 (英语) Zbl 1335.68151号 Miller,Alice(ed.)等人,《第八届关键系统自动化验证国际研讨会论文集》(AVoCS 2008),英国格拉斯哥,2008年9月30日至10月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记250,第2期,135-151(2009)。MSC公司:第68季度第60季度 第68季度85 68T05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim}和\textit{D.Wonisch},电子。注释Theor。计算。科学。250,编号2,135--151(2009;Zbl 1335.68151) 全文: 内政部
博什纳奇·德拉甘;伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 基于交换性的边缘倾斜搜索。 (英语) Zbl 1185.68407号 安。数学。Artif公司。智力。 56,第2期,187-210(2009).MSC公司:第68季度第60季度 68T99型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Bošnački}等人,《数学年鉴》。Artif公司。智力。56,编号2187-210(2009年;兹bl 1185.68407) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 单调抽象:关于参数化系统的有效验证。 (英语) Zbl 1186.68272号 发现的国际期刊。计算。科学。 20,第5号,779-801(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。20,第5号,779--801(2009;Zbl 1186.68272) 全文: 内政部
拉杜·马特埃斯库;安东·威伊斯 基于水平采样的分层自适应状态空间缓存。 (英语) Zbl 1234.68261号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日,第15届国际会议,TACAS 2009,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2009,英国约克。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505,215-229(2009)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{A.Wijs},莱克特。注释计算。科学。5505215--229(2009年;Zbl 1234.68261) 全文: 内政部
哈门·卡斯滕贝格;阿伦德·伦辛克 使用探测集进行动态部分降阶。 (英语) Zbl 1160.68442号 van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,233-247(2008)。MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Kastenberg}和\textit{A.Rensink},Lect。注释计算。科学。5201233-247(2008年;Zbl 1160.68442) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;乔治·德尔扎诺;艾哈迈德·雷兹 处理具有非原子全局条件的参数化系统。 (英语) Zbl 1138.68436号 Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿490522-36(2008)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4905,22-36(2008年;兹bl 1138.68436) 全文: 内政部
Kristensen,L.M。;施密特,K。;A.瓦尔马里。 状态属性的问题导向的顽固集合方法。 (英语) Zbl 1109.68075号 形式方法系统。设计。 29,第3期,215-251(2006).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Kristensen}等人,《形式方法系统》。设计。29,第3号,215--251(2006;Zbl 1109.68075) 全文: 内政部
萨拉·格拉达拉;安东内拉·桑顿;玛丽亚·路易莎·维拉尼 使用启发式搜索查找并发系统中的死锁。 (英语) Zbl 1101.68680号 Inf.计算。 202,第2期,191-226(2005).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gradara}等人,《信息计算》。202,第2号,191--226(2005;Zbl 1101.68680) 全文: 内政部
博特尼克,E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克(J.M.Van De Mortel-Fronczak)。;巴顿,J.C.M。;W.J.福克金。;罗达,J.E。 使用Spin、CADP和Uppaal分析转台系统的(chi)模型。 (英语) 兹比尔1088.68523 J.日志。代数。程序。 65,第2期,51-104(2005).MSC公司:68平方米 68米15 90B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Bortnik}等人,J.Log。代数。程序。65,No.2,51--104(2005;Zbl 1088.68523) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 具有许多相同定时进程的系统的模型检查。 (英语) Zbl 1018.68046号 西奥。计算。科学。 290,第1241-264号(2003年).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。290,第1号,241--264(2003;Zbl 1018.68046) 全文: 内政部
阿卜杜拉,P.A。;B.琼森。 确保无限状态系统符号验证方法的完整性。 (英语) Zbl 0973.68146号 西奥。计算。科学。 256,编号1-2,145-167(2001).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。256,编号1--2,145-167(2001;Zbl 0973.68146) 全文: 内政部
罗马克里希纳,Y.S。;斯科特·斯莫尔卡。 弱模态微积分中的部分阶降阶。 (英语) Zbl 1512.68160号 Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1243, 5-24 (1997).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Ramakrishna}和\textit{S.A.Smolka},莱克特。注释计算。科学。1243,5--24(1997;Zbl 1512.68160) 全文: 内政部
苏珊娜·格拉芙;伯恩哈德·斯特芬;杰拉尔德·吕特根 使用接口规范对有限状态系统进行组合最小化。 (英语) Zbl 0860.68067号 正式Asp。计算。 8,第5期,607-616(1996).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}等人,正式Asp。计算。8,第5号,607--616(1996;Zbl 0860.68067) 全文: 内政部
弗朗索瓦·维纳达特;皮埃尔·阿泽马;弗朗索瓦·米歇尔 覆盖步骤图。 (英语) Zbl 1418.68157号 Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 516-535 (1996).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Vernadat}等人,Lect。注释计算。科学。1091、516--535(1996年;Zbl 1418.68157) 全文: 内政部
彼得·坎佩尔 基于结构化表示的可达性分析。 (英语) Zbl 1418.68146号 Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 269-288 (1996).MSC公司:第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。1091269--288(1996年;Zbl 1418.68146) 全文: 内政部
Hiraishi、Kunihiko 无界向量状态空间的简化状态空间表示。 (英语) Zbl 1418.68145号 Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 230-248 (1996).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.Hiraishi},莱克特。注释计算。科学。1091230--248(1996年;Zbl 1418.68145) 全文: 内政部
保拉·因弗拉迪;科拉多·普里亚米 分布式系统的自动验证:过程代数方法。 (英语) Zbl 1425.68294号 形式方法系统。设计。 8,第1期,7-38(1996).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Inverardi}和\textit{C.Priami},《形式方法系统》。设计。8,第1号,第7--38号(1996年;Zbl 1425.68294) 全文: 内政部
彼得·拉德金。;斯特凡·洛伊 解释消息流图。 (英语) Zbl 0838.68075号 正式Asp。计算。 7,第5期,473-509(1995).MSC公司:68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Ladkin}和\textit{S.Leue},正式Asp。计算。7,第5号,473--509(1995;Zbl 0838.68075) 全文: 内政部
詹姆斯·科贝特(James C.Corbett)。;乔治·S·阿夫鲁宁。 使用整数编程验证一般安全性和活性属性。 (英语) 兹比尔0829.68051 形式方法系统。设计。 6,第1期,97-123(1995).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Corbett}和\textit{G.S.Avrunin},《形式方法系统》。设计。6,编号1,97--123(1995;Zbl 0829.68051) 全文: 内政部
帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 使用偏序对死锁自由度和安全性进行有效验证。 (英语) Zbl 0772.68064号 形式方法系统。设计。 第2期,第149-164页(1993年).MSC公司:第68季度第60季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{P.Wolper},形式方法系统。设计。2,编号2149-164(1993年;Zbl 0772.68064) 全文: 内政部
安蒂·瓦尔马里 对国家爆炸的顽固攻击。 (英语) Zbl 0783.68083号 形式方法系统。设计。 1,第4期,297-322(1992).MSC公司:第68季度第60季度 03B45号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},《形式方法系统》。设计。1,第4号,297--322(1992;Zbl 0783.68083) 全文: 内政部