比尼特·戈什;埃蒂安·安德烈 使用边界模型对分散的不确定日志进行离线和在线节能监测。 (英语) Zbl 07789013号 日志。方法计算。科学。 20,第1号,第2号论文,33页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}和\textit{埃米·安德烈},日志。方法计算。科学。20,第1号,第2号论文,33页(2024;Zbl 07789013) 全文: 内政部 arXiv公司
丹尼尔·米埃德马;马尔文·加廷格 利用逻辑谜题中的不对称性:使用ZDDs进行符号模型检查动态认知逻辑。 (英语) Zbl 07810630号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379407-420(2023年)。MSC公司:03年XX月 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Miedema}和\textit{M.Gattinger},电子。程序。西奥。计算。科学。(EPTCS)379,407--420(2023;Zbl 07810630) 全文: 内政部 arXiv公司
Randal E.布莱恩特。;Heule,Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 (英语) Zbl 07760992号 ACM事务处理。计算。日志。 24,第4号,第31号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}和\textit{M.J.H.Heule},ACM Trans。计算。日志。24,第4号,第31号论文,28页(2023;Zbl 07760992) 全文: 内政部
罗比·马利克;萨哈尔·莫哈杰拉尼;马丁·费比安 监督控制中用于验证和综合的组合算法综述。 (英语) Zbl 1522.93014号 离散事件动态。系统。 33,编号3,279-340(2023).MSC公司:93甲13 93B30型 93元65角 93-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}等人,离散事件动态。系统。33,编号3,279--340(2023;Zbl 1522.93014) 全文: 内政部 OA许可证
阿尼萨·凯里丁;艾蒂安·雷诺;苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 (英语) Zbl 1522.68329号 约束条件 28,编号1,45-66(2023).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheireddine}等人,约束28,No.1,45--66(2023;Zbl 1522.68329) 全文: 内政部
布兰德,塞巴斯蒂安;托马斯·伯克;阿尔芬斯·拉阿尔曼 可达性的决策图操作。 (英语) Zbl 1529.68153号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000,514-532(2023年)。MSC公司:60年第68季度 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Brand}等人,Lect。注释计算。科学。14000,514--532(2023;Zbl 1529.68153) 全文: 内政部 arXiv公司
张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英语) Zbl 07657061号 西奥。计算。科学。 949,文章ID 113702,28 p.(2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。949,文章ID 113702,28 p.(2023;Zbl 07657061) 全文: 内政部
亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫尔莫;帕基·卢西奥 表aux和后续计算细胞毒性淋巴细胞和ECTL公司:通过认证证据和模型进行满意度测试。 (英语) Zbl 07618127号 J.日志。阿尔盖布。方法计划。 130,文章ID 100828,30 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100828,30 p.(2023;Zbl 07618127) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 基于回合的随机博弈的符号验证和策略综合。 (英语) Zbl 1528.68229号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 388-406 (2022).MSC公司:60年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。13660388--406(2022年;Zbl 1528.68229) 全文: 内政部 arXiv公司
马尔钦·尤尔季安斯基;雷米·莫尔万;Thejaswini,K.S。 奇偶博弈和嵌套不动点的通用算法。 (英语) Zbl 1528.68404号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 252-271 (2022).MSC公司:68周05 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziñski}等人,莱克特。注释计算。科学。13660252--271(2022年;Zbl 1528.68404) 全文: 内政部 arXiv公司 哈尔
Guerra,Paulo T。;雷娜塔·瓦瑟曼 修改时序逻辑中的系统规范。 (英语) Zbl 1515.68180号 J.逻辑语言信息。 31,4号,591-618(2022).MSC公司:60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Guerra}和\textit{R.Wassermann},J.Logic Lang.Inf.31,No.4,591--618(2022;Zbl 1515.68180) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉 定期模型检查:演变和前景。 (英语) Zbl 1522.68291号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 78-96 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},莱克特。注释计算。科学。13030,78--96(2022;Zbl 1522.68291) 全文: 内政部
亚历山德罗·西马蒂;田,春;斯特凡诺·托内塔 基于假设的运行时验证。 (英语) Zbl 07683090号 形式方法系统。设计。 60,第2号,277-324(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号2,277--324(2022;Zbl 07683090) 全文: 内政部
奥尔纳·库普弗曼;阿萨夫·彼得鲁什卡 懒散的常规感应。 (英语) Zbl 07643470号 Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第24届IFIP工作组1.02国际会议,DCFS 2022,Debrecen,Hungary,2022年8月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13439, 155-169 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{A.Petruschka},莱克特。注释计算。科学。13439,155--169(2022;Zbl 07643470) 全文: 内政部
彼得·格约尔·詹森;吉·斯尔巴;尼古拉·延森·乌尔里克;Simon Mejlby,Virenfeldt 自动驱动的部分订单缩减和LTL模型检查的引导搜索。 (英语) Zbl 1498.68160号 Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 151-173 (2022).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13182、151--173(2022年;Zbl 1498.68160) 全文: 内政部
莱恩·伦瑞奇;保罗·A·G·西维洛蒂。 使用RESOLVE框架对Java组件进行形式化验证。 (英语) Zbl 07497928号 Konev,Boris(编辑)等人,《组合系统的前沿》。第十三届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8-10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12941, 287-305 (2021).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{L.Rumreich}和\textit{P.A.G.Sivilotti},莱克特。注释计算。科学。12941,287--305(2021;Zbl 07497928) 全文: 内政部
泽维尔·吉拉德;维也纳科佩;皮埃尔·绍斯;安德烈·奥古斯托·西雷 改进分支定界MDD求解器的过滤。 (英语) Zbl 07493632号 Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 231-247 (2021).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{X.Gillard}等人,Lect。注释计算。科学。12735、231--247(2021;Zbl 07493632) 全文: 内政部 arXiv公司
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;Šafránek,大卫 符号彩色SCC分解。 (英语) Zbl 1474.68210号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 64-83 (2021).MSC公司:68兰特 05C15号 05C85号 68瓦30 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。12652,64-83(2021;Zbl 1474.68210) 全文: 内政部
Randal E.布莱恩特。;Heule,Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 (英语) Zbl 1467.68203号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 76-93 (2021).MSC公司:68伏15 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}和\textit{M.J.H.Heule},莱克特。注释计算。科学。12651,76-93(2021年;兹bl 1467.68203) 全文: 内政部 arXiv公司
海宁·博迪恩;马库斯·霍尔泽 关于有限自动机的活动状态数。 (英语) Zbl 1520.68052号 学报信息。 58,编号4301-318(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{M.Holzer},《学报参考》58,第4期,301-318(2021年;Zbl 1520.68052) 全文: 内政部
亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫尔莫;帕基·卢西奥 用于CTL和ECTL的单程基于上下文的表格辅助系统。 (英语) Zbl 1530.03068号 穆尼奥斯·韦拉斯科,埃米利奥(编辑)等人,第27届时间表征和推理国际研讨会。《时代》2020,2020年9月23日至25日,意大利Bozen-Bolzano。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178,第14条,第20页(2020年)。MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人,LIPIcs——莱布尼茨国际程序。通知。178,第14条,第20页(2020年;Zbl 1530.03068) 全文: 内政部
马凯·曼;克拉克·巴雷特 同步硬件中深层缺陷查找的部分降阶。 (英语) Zbl 1507.68194号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 367-386 (2020).MSC公司:60年第68季度 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}和\textit{C.Barrett},莱克特。注释计算。科学。12078,367--386(2020;Zbl 1507.68194) 全文: 内政部
Oebele Lizzenga;汤姆·范·迪克 产生获胜策略的象征性平价游戏求解器。 (英语) Zbl 07455738号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326,18-32(2020年)。MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Lizzenga}和\textit{T.van Dijk},电子。程序。西奥。计算。科学。(EPTCS)326,18-32(2020;Zbl 07455738) 全文: arXiv公司 链接
柴新伟;托尼·里贝罗;摩根·马根;奥利维尔·鲁克斯;井上,胜美 可达性问题的静态分析和随机搜索。 (英语) Zbl 1458.92032号 Gupta,Ankit(编辑)等人,《2018年SASB会议记录》,第九届静态分析和系统生物学国际研讨会,德国弗莱堡,2018年8月28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。350, 139-158 (2020).MSC公司:第92页第42页 93个B03 93甲15 PDF格式BibTeX公司 XML格式引用 \textit{X.Chai}等人,《电子》。注释Theor。计算。科学。350、139--158(2020;Zbl 1458.92032) 全文: 内政部
克劳斯·哈维隆德;多龙·贝利德;多根·乌卢斯 使用BDD进行一阶时序逻辑监控。 (英语) Zbl 1506.68055号 形式方法系统。设计。 56,编号1-3,1-21(2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}等人,《形式方法系统》。设计。56,编号1--3,1--21(2020;Zbl 1506.68055) 全文: 内政部
文斯·莫尔纳;伊斯坦·马齐克 用条件局部性增强饱和度:在Petri网中的应用。 (英语) Zbl 07796231号 Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522, 342-361 (2019).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Molnár}和\textit{I.Majzik},莱克特。注释计算。科学。11522、342--361(2019;Zbl 07796231) 全文: 内政部
Guerra,Paulo T。;雷娜塔·瓦瑟曼 两种AGM风格的车型维修特征。 (英语) Zbl 1477.03039号 安。数学。Artif公司。智力。 87,第3期,233-257(2019).MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Guerra}和\textit{R.Wassermann},Ann.数学。Artif公司。智力。87,第3号,233--257(2019;Zbl 1477.03039) 全文: 内政部
沃伊切赫,詹罗加;米查·纳皮克;达米安·库皮耶夫斯基;乌卡斯·米库尔斯基 不完全信息下战略能力的近似验证。 (英语) 兹比尔1478.68384 Artif公司。智力。 277,文章ID 103172,30 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103172,30 p.(2019;Zbl 1478.68384) 全文: 内政部 链接
哈达尔·弗兰克尔;奥尔纳·格伦伯格;莎莱·申瓦尔德 一种自动机理论方法,用于无限数据域上的模型检查系统和规范。 (英语) 兹比尔1468.68128 J.汽车。推理 63,第4期,1077-1101(2019).MSC公司:60年第68季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Frenkel}等人,J.Autom。推理63,第4期,1077-1101(2019;兹bl 1468.68128) 全文: 内政部
考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 混合线性逻辑,重温。 (英语) Zbl 1456.03095号 数学。结构。计算。科学。 29,第8期,1151-1176(2019).MSC公司:03楼52 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人,《数学》。结构。计算。科学。29,第8号,1151--1176(2019;Zbl 1456.03095) 全文: 内政部
佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 使用基于局部分析的近似和SAT求解对并发系统进行有效验证。 (英语) Zbl 1425.68285号 正式Asp。计算。 31,第3号,375-409(2019).MSC公司:68问题85 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonino}等人,《正式Asp》。计算。31,第3号,375--409(2019;Zbl 1425.68285) 全文: 内政部
张福源;赵永旺;大卫·萨南;刘,杨;Tiu,Alwen先生;林尚伟;孙骏 共享变量并发程序的组合推理。 (英语) Zbl 1460.68067号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 523-541 (2018).MSC公司:60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Zhang}等人,Lect。注释计算。科学。10951、523--541(2018;Zbl 1460.68067) 全文: 内政部 arXiv公司 链接
萨姆·巴斯;德米特里·伊特西克森;亚历山大·诺普;德米特里·索科洛夫 重新排序规则使OBDD证明系统更强大。 (英语) Zbl 1441.03042号 Servedio,Rocco A.(编辑),第33届计算复杂性会议,CCC 2018,2018年6月22日至24日,美国加利福尼亚州圣地亚哥。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102,第16条,第24页(2018年)。MSC公司:20层03 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}等人,LIPIcs——莱布尼茨国际程序。通知。102,第16条,第24页(2018;兹bl 1441.03042) 全文: 内政部
马克·伯里 基于随机OBDD的图形算法。 (英语) Zbl 1407.68533号 西奥。计算。科学。 751, 24-45 (2018).MSC公司:68瓦20 05C85号 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{M.Bury},Theor。计算。科学。751,24-45(2018;Zbl 1407.68533) 全文: 内政部
鲁帕克·马朱姆达尔;让-弗朗索瓦·拉斯金 非布尔域中的符号模型检查。 (英语) Zbl 1392.68259号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1111-1147 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}和\textit{J.-F.Raskin},in:模型检查手册。查姆:斯普林格。1111--1147(2018;Zbl 1392.68259) 全文: 内政部
帕特丽斯·戈德弗里德;塞·库什克 模型检查和测试相结合。 (英语) Zbl 1392.68250号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。613-649 (2018).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{K.Sen},in:模型检查手册。查姆:斯普林格。613--649(2018;Zbl 1392.68250) 全文: 内政部
萨加·查基;阿里·古芬克尔 基于BDD的符号模型检查。 (英语) Zbl 1392.68239号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。219-245 (2018).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}和\textit{A.Gurfinkel},in:模型检查手册。查姆:斯普林格。219--245(2018;Zbl 1392.68239) 全文: 内政部
Randal E.布莱恩特。 二进制决策图。 (英语) Zbl 1392.68151号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。191-217 (2018).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant},in:模型检查手册。查姆:斯普林格。191-217(2018;Zbl 1392.68151) 全文: 内政部
Á. 阿尔瓦罗·托拉尔巴;卡洛斯·利纳雷斯·洛佩兹;丹尼尔·博拉乔 用于成本最优规划的符号边界抽象启发法。 (英语) Zbl 1445.68199号 Artif公司。智力。 259, 1-31 (2018).MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{阿尔.阿尔.托拉尔巴}等人,Artif。智力。259,1--31(2018;Zbl 1445.68199) 全文: 内政部
彼得·科马克;阿莱西奥·洛穆西奥;法比奥·莫加维罗;阿尼埃洛·穆拉诺 多智能体系统的实际验证Slk公司规范。 (英语) Zbl 1395.68255号 Inf.计算。 261,第3部分,588-614(2018).MSC公司:68T27型 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Čermák}等人,信息计算。261,第3部分,588--614(2018;Zbl 1395.68255) 全文: 内政部
托法、哈泽姆;马丁·齐默尔曼 线性时间时序逻辑计数模型的复杂性。 (英语) Zbl 1390.68441号 学报信息。 55,第3期,191-212(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Torfah}和\textit{M.Zimmermann},《学报》第55期,第3期,191--212(2018年;Zbl 1390.68441) 全文: 内政部 链接
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 (英语) Zbl 1382.68142号 正式Asp。计算。 30,第2期,193-217(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,正式Asp。计算。30,第2号,193--217(2018;Zbl 1382.68142) 全文: 内政部
吴义钦;瓦苏马提·拉曼;布莱克·罗林斯。;圣菲拉福顿;Sanjit A.Seshia。 模糊处理策略的综合,以确保隐私和实用性。 (英语) Zbl 1426.68085号 J.汽车。推理 60,第1期,107-131(2018).MSC公司:68第27页 65年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-C.Wu}等人,J.Autom。推理60,No.1,107--131(2018;Zbl 1426.68085) 全文: 内政部 链接
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 混合和次指数线性逻辑。 (英语) Zbl 1395.03034号 Nigam,Vivek(编辑)等人,《逻辑和语义框架及其应用第11次研讨会论文集》(LSFA 2016),葡萄牙波尔图,2016年。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记33295-111(2017)。MSC公司:03楼52 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Despeyroux}等人,《电子》。注释Theor。计算。科学。33295--111(2017;Zbl 1395.03034) 全文: 内政部 arXiv公司
亚伦·波希;布鲁耶尔,Véronique;让-弗朗索瓦·拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均路径和最短路径的符号算法。 (英语) Zbl 1378.68122号 学报信息。 54,第6号,545-587(2017).MSC公司:87年第68季度 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
海宁·博迪恩;马库斯·霍尔泽 关于确定性和非确定性有限自动机中的活动状态数。 (英语) Zbl 1489.68121号 Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 40-51 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{M.Holzer},莱克特。注释计算。科学。10329,40-51(2017;Zbl 1489.68121) 全文: 内政部
J·以西结。;A.Lomuscio。 结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 (英语) Zbl 1370.68201号 Inf.计算。 254,第2部分,167-194(2017).MSC公司:60年第68季度 68个M12 68米15 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ezekiel}和\textit{A.Lomuscio},Inf.Compute。254,第2部分,167--194(2017;Zbl 1370.68201) 全文: 内政部
Tewodros A.Beyene。;科内留·波皮亚;安德烈·里巴尔琴科 通过Horn约束求解实现高效的CTL验证。 (英语) 兹比尔1482.68134 Gallagher,John P.(ed.)等人,第三次验证和合成Horn子句研讨会论文集,2016年荷兰埃因霍温HCVS,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)219,1-14(2016)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Beyene}等人,《电子》。程序。西奥。计算。科学。(EPTCS)219,1-14(2016;Zbl 1482.68134) 全文: arXiv公司 链接
文斯·莫尔纳;安德拉斯·Vörös;达尼尔·达瓦斯;塔马斯·巴塔;伊斯坦·马齐克 组件级增量LTL模型检查。 (英语) Zbl 1355.68178号 正式Asp。计算。 28,第3号,345-379(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Molnár}等人,《形式Asp》。计算。28,第3号,345--379(2016;Zbl 1355.68178) 全文: 内政部 链接
维克多·舒潘 利用时间相关性信息增强LTL的不可满足核心。 (英语) Zbl 1356.68146号 西奥。计算。科学。 655,B部分,155-192(2016).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},Theor。计算。科学。655,B部分,155--192(2016;Zbl 1356.68146) 全文: 内政部 arXiv公司
曼弗雷德·科伯;克里斯托夫·兰格;科林·罗亚特 介绍机械化推理。 (英语) Zbl 1368.68289号 数学杂志。经济。 66, 26-39 (2016).MSC公司:68吨15 03B35型 91B14号机组 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerber}等人,J.Math。经济。66、26-39(2016年;Zbl 1368.68289) 全文: 内政部 arXiv公司
西里尔·杰古尔;Legay、Axel;肖恩·塞德瓦兹 用于统计模型检查的基于命令的重要性抽样。 (英语) Zbl 1377.68133号 西奥。计算。科学。 649, 1-24 (2016).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jegorel}等人,Theor。计算。科学。649,1--24(2016;Zbl 1377.68133) 全文: 内政部
克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼;大卫·帕克;拉胡尔·瓦什内亚 在概率环境中合成高效系统。 (英语) Zbl 1344.68171号 学报信息。 53,第4号,425-457(2016).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}等人,《信息学报》53,第4期,425--457(2016年;Zbl 1344.68171) 全文: 内政部 链接
维克多·舒潘 通过时间分辨率提取LTL的不满意核心。 (英语) Zbl 1338.68170号 学报信息。 53,第3期,247-299(2016).MSC公司:60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},Acta Inf.53,No.3,247--299(2016;Zbl 1338.68170) 全文: 内政部 arXiv公司
朱塞佩·德贾科莫;阿方索·埃米利奥;法比奥·帕特里齐;亚历山德罗·萨埃蒂;塞巴斯蒂安·萨迪纳 代理计划程序。 (英语) Zbl 1344.68245号 Artif公司。智力。 231, 64-106 (2016).MSC公司:68T42型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。231、64-106(2016年;Zbl 1344.68245) 全文: 内政部
詹姆·阿里亚斯;米歇尔·古兹曼;卡洛斯·奥拉特 时间并发约束编程的符号模型。 (英语) Zbl 1342.68222号 Ayala-Rincón,Mauricio(编辑)等人,《逻辑和语义框架及其应用第九次研讨会论文集》(LSFA 2014),巴西巴西利亚,2014年9月8日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记312161-177,仅电子版(2015)。MSC公司:68问题85 03B44号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}等人,《电子》。注释Theor。计算。科学。312161-177(2015;Zbl 1342.68222) 全文: 内政部
王海阳;段振华;田聪 交替投影时序逻辑的符号模型检查。 (英语) Zbl 1473.68108号 Lu,Zaixin(编辑)等人,组合优化与应用。第九届国际会议,COCOA 2015,美国德克萨斯州休斯顿,2015年12月18-20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9486481-495(2015年)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang}等人,Lect。注释计算。科学。9486、481--495(2015;Zbl 1473.68108) 全文: 内政部
马克·伯里 基于随机OBDD的图形算法。 (英语) Zbl 1407.68532号 Christian Scheidler(编辑),《结构信息和通信复杂性》。2015年7月14日至16日,西班牙蒙特塞拉特,第22届国际学术讨论会,SIROCCO 2015。后期制作。查姆:斯普林格。莱克特。注释计算。科学。9439, 254-269 (2015).MSC公司:68瓦20 05C85号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Bury},莱克特。注释计算。科学。9439,254--269(2015;Zbl 1407.68532) 全文: 内政部
戈恩格拉,佩德罗A。;David A.Rosenblueth。 用于计算子游戏完美纳什均衡的符号最短路径算法。 (英语) Zbl 1322.91007号 国际期刊申请。数学。计算。科学。 25,第3期,577-596(2015).MSC公司:91A10号 52个B05 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Góngora}和\textit{D.A.Rosenblueth},国际期刊应用。数学。计算。科学。25,第3号,577--596(2015;Zbl 1322.91007) 全文: 内政部
福阿德·阿布贾拉德;林一燕;博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。 在没有明确合法状态的情况下自动添加容错的复杂性。 (英语) Zbl 1331.68031号 分布计算。 28,第3期,201-219(2015).MSC公司:68米15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Abujarad}等人,《分布计算》。28,第3号,201--219(2015;Zbl 1331.68031) 全文: 内政部
徐永生;杨国武;张正伟;郑德胜;郭文胜 GSTE中的终端可满足性。 (英语) Zbl 1442.68111号 J.应用。数学。 2014年,文章ID 725275,10 p.(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xu}等人,J.Appl。数学。2014,文章ID 725275,第10页(2014;兹bl 1442.68111) 全文: 内政部
刘万伟;王瑞;傅显金;王,季;董伟;毛晓光 反例—用于符号模型检查的保留简化。 (英语) Zbl 1442.68110号 J.应用。数学。 2014年,文章ID 702165,13 p.(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,J.Appl。数学。2014年,文章ID 702165,13 p.(2014;Zbl 1442.68110) 全文: 内政部
安东内拉·桑顿;吉利奥拉·瓦格利尼 简化跟踪系统上的模型检查属性。 (英语) Zbl 1461.68119号 算法(巴塞尔) 7,第3期,339-362(2014).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},算法(巴塞尔)7,第3期,339--362(2014;Zbl 1461.68119) 全文: 内政部
于斌;段振华;田聪 红绿灯控制系统的有界模型检验。 (英语) Zbl 1351.68169号 薛进云(编辑)等,第六届软件工具支持理论利用国际研讨会论文集(TTSS 2013),中国南昌,2013年10月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记309,63-74,仅电子版(2014)。MSC公司:60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Yu}等人,《电子》。注释Theor。计算。科学。309、63-74(2014年;Zbl 1351.68169) 全文: 内政部
山形,Yoriyuki;孔伟强;福田、阿基拉;唐,阮凡;大崎,Hitoshi;田口,Kenji 使用CSP#的扩展层次状态转换矩阵的形式语义。 (英语) 兹比尔1342.68201 正式Asp。计算。 第5号第26页,943-962页(2014年).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yamagata}等人,正式Asp。计算。26,第5号,943--962(2014;Zbl 1342.68201) 全文: 内政部
罗恩·阿尔福德;乌古尔·库特;瑙,达纳;罗伯特·戈德曼。 在不确定域中为强循环规划规划聚合。 (英语) Zbl 1405.68319号 Artif公司。智力。 216, 206-232 (2014).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alford}等人,Artif。智力。216206-232(2014;Zbl 1405.68319) 全文: 内政部
迪尔基娜,比斯特拉;卡拉·戈麦斯。;阿什什·萨巴沃尔 可满足性后门复杂性的权衡:动态子解算器和搜索过程中的学习。 (英语) Zbl 1357.68205号 安。数学。Artif公司。智力。 70,第4期,399-431(2014).MSC公司:68T20型 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Dilkina}等人,《数学年鉴》。Artif公司。智力。70,第4号,399--431(2014;Zbl 1357.68205) 全文: 内政部
冯、袁;邓玉欣;Ying,明生 量子过程的符号互模拟。 (英语) Zbl 1291.68237号 ACM事务处理。计算。日志。 第15号第2条第14条第32页(2014年).MSC公司:68问题55 68问题85 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,ACM Trans。计算。日志。15,第2号,第14条,第32页(2014;Zbl 1291.68237) 全文: 内政部 arXiv公司
胡安·佩纳。;克里斯·乔治 型号检查RAISE应用规范。 (英语) Zbl 1298.68065号 正式Asp。计算。 25,第3期,365-388(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Perna}和\textit{C.George},正式Asp。计算。25,第3号,365-388(2013;Zbl 1298.68065) 全文: 内政部 链接
安东尼奥·考伊;海尔格·贾尼克;本·莫斯科夫斯基 验证和实施访问控制策略。 (英语) Zbl 1291.68250号 形式方法系统。设计。 43,编号3,450-492(2013).MSC公司:60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cau}等人,《形式方法系统》。设计。43,编号3450-492(2013年;兹bl 1291.68250) 全文: 内政部
贝特·博利格;迈克尔·卡佩尔 度量TSP近似值的优先级函数。 (英语) Zbl 1296.68193号 信息处理。莱特。 113,第14-16号,584-591(2013).MSC公司:68周25 05C85号 68兰特 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Capelle},Inf.过程。莱特。113,编号14-16584-591(2013;Zbl 1296.68193) 全文: 内政部
陈静淑;桑迪普·库尔卡尼 MR4UM:一个向UML状态图添加容错的框架。 (英语) Zbl 1294.68043号 西奥。计算。科学。 496, 17-33 (2013).MSC公司:68米15 60年第68季度 93C40型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}和\textit{S.Kulkarni},Theor。计算。科学。496、17-33(2013年;Zbl 1294.68043) 全文: 内政部
波胡斯拉夫·科埃纳;汤姆·沃纳 自动化形式分析和验证:概述。 (英语) Zbl 1286.68318号 国际通用系统杂志。 42,第4期,335-365(2013).MSC公司:60年第68季度 68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Křena}和\textit{T.Vojnar},国际通用系统。42,第4号,335--365(2013;Zbl 1286.68318) 全文: 内政部
卢博什·布里姆;科什卡,米兰;Šafránek,大卫 生物系统的模型检查。 (英语) Zbl 1380.92024号 Bernardo,Marco(编辑)等人,动力系统的形式化方法。2013年6月17日至22日,意大利贝蒂诺罗,第13所计算机、通信和软件系统正式设计方法国际学校,SFM 2013。高级讲座。柏林:施普林格出版社(ISBN 978-3-642-38873-6/pbk)。计算机科学课堂讲稿7938,63-112(2013)。MSC公司:第92页第42页 60年第68季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,Lect。注释计算。科学。7938,63-112(2013年;兹bl 1380.92024) 全文: 内政部
拜伦·库克;埃里克·科斯金;摩什·瓦尔迪 作为程序分析任务的时间属性验证。 (英语) Zbl 1284.68171号 形式方法系统。设计。 41,第1期,66-82(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。41,第1号,66--82(2012;Zbl 1284.68171) 全文: 内政部 链接
加拉尼娜,N.O。 具有完全召回的多智能体系统模型检验时间复杂度的指数改进。 (英语。俄文原件) Zbl 1257.68151号 程序。计算。柔和。 38,第6期,294-303(2012); 译自Programmirovanie 38,No.6(2012)。MSC公司:68瓦40 60年第68季度 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.O.Garanina},程序。计算。柔和。38,第6号,294--303(2012;Zbl 1257.68151);译自Programmirovanie 38,No.6(2012) 全文: 内政部
博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。;福阿德·阿布贾拉德 屏蔽容错分布式程序的符号综合。 (英语) 兹比尔1285.68016 分布计算。 第1期第25页,第83-108页(2012年).MSC公司:68米15 64岁以下 68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人,《分布计算》。25,编号1,83--108(2012;Zbl 1285.68016) 全文: 内政部
吕迪格·埃勒斯 符号有界合成。 (英语) Zbl 1247.68163号 形式方法系统。设计。 40,第2期,232-262(2012).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers},形式方法系统。设计。40,第2号,232--262(2012;Zbl 1247.68163) 全文: 内政部
贝特·博利格 基于符号OBDD的最小生成树问题算法研究。 (英语) Zbl 1245.05125号 西奥。计算。科学。 447, 2-12 (2012).MSC公司:05C85号 05二氧化碳 68兰特 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{B.Bollig},Theor。计算。科学。447,2--12(2012;Zbl 1245.05125) 全文: 内政部
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 1243.68216号 科学。计算。程序。 77,第10-11号,1178-1197(2012).MSC公司:60年第68季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人,科学。计算。程序。77,No.10--11,1178--1197(2012;Zbl 1243.68216) 全文: 内政部
达姆,沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) Zbl 1243.68212号 科学。计算。程序。 77,编号10-11122-1150(2012).MSC公司:60年第68季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。77,No.10--111122--1150(2012;Zbl 1243.68212) 全文: 内政部
乔里·杜布罗文;汤米·琼蒂拉;凯乔·赫尔扬科 利用步骤语义对异步系统进行有效的有界模型检查。 (英语) Zbl 1243.68213号 科学。计算。程序。 77,第10-11号,1095-1121(2012).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubrovin}等人,科学。计算。程序。77,No.10--111095--1121(2012;Zbl 1243.68213) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔 通过降低SAT来解决平价游戏。 (英语) Zbl 1279.68211号 J.计算。系统。科学。 78,第2期,430-440(2012).MSC公司:60年第68季度 03B70号 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{K.Heljanko}等人,J.Comput。系统。科学。78,第2号,430-440(2012;Zbl 1279.68211) 全文: 内政部
克里斯汀·罗泽尔。 线性时序逻辑符号模型检查。 (英语) 兹比尔1298.68176 计算。科学。版次。 第5期,第2期,第163-203页(2011年).MSC公司:60年第68季度 03B44号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Y.Rozier},计算。科学。第5版,第2号,163--203(2011;Zbl 1298.68176) 全文: 内政部
伊利耶斯·法尔科内;穆罕默德·贾比尔;阮,Thanh-Hung;马吕斯·博兹加;萨德克·本萨勒姆 基于组件的系统的运行时验证。 (英语) Zbl 1350.68060号 Barthe,Gilles(编辑)等人,《软件工程和形式化方法》。2011年11月14日至18日,乌拉圭蒙得维的亚,2011年SEFM第九届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24689-0/pbk)。计算机科学课堂讲稿7041204-220(2011)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}等人,Lect。注释计算。科学。7041204-220(2011;Zbl 1350.68060) 全文: 内政部 哈尔
巴塔查里亚,S。;R.库马尔。;黄,Z。 网络故障管理的离散事件系统方法:故障检测和诊断。 (英语) Zbl 1219.93071号 亚洲J.控制 第4号第13页,第471-479页(2011年).MSC公司:93元65角 94C12号机组 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhattacharyya}et al.,Asian J.Control 13,No.4,471--479(2011;Zbl 1219.93071) 全文: 内政部
马丁·施瓦里克;阿列克谢·托夫奇格里奇科 基于IDD的生化网络模型验证。 (英语) Zbl 1216.68197号 西奥。计算。科学。 412,第26号,2884-2908(2011).MSC公司:68问题85 03B44号 60年第68季度 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{M.Schwarick}和\textit{A.Tovchigrechko},Theor。计算。科学。412,第26号,2884--2908(2011;Zbl 1216.68197) 全文: 内政部
哈坎·L·S·尤尼斯。;埃德蒙·克拉克(Edmund M.Clarke)。;保罗·祖利亚尼 概率特性的统计验证,直到。 (英语) Zbl 1325.68158号 Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日,第13届巴西正式方法研讨会,SBMF 2010,巴西纳塔尔。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527144-160(2011)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.S.Younes}等人,Lect。注释计算。科学。6527,144-160(2011;Zbl 1325.68158) 全文: 内政部 链接
Michael Leuschel先生;Jens Bendisposto公司 B的定向模型检验:一种评估和新技术。 (英语) Zbl 1325.68153号 Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日,第13届巴西正式方法研讨会,SBMF 2010,巴西纳塔尔。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527,1-16(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}和\textit{J.Bendispato},莱克特。注释计算。科学。6527,1-16(2011年;兹bl 1325.68153) 全文: 内政部
朱莉娅·布拉曼(Julia M.B.Braman)。;理查德·默里(Richard M.Murray)。 基于目标的控制系统的互模拟转换和验证程序。 (英语) Zbl 1213.93139号 形式方法系统。设计。 38,第1期,62-95(2011).MSC公司:93C85号 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{J.M.B.Braman}和\textit{R.M.Murray},形式方法系统。设计。38,编号1,62--95(2011;Zbl 1213.93139) 全文: 内政部
亚伦·R·布拉德利。 基于SAT的模型检查,无需展开。 (英语) 兹比尔1317.68109 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,70-87(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley},莱克特。注释计算。科学。6538,70-87(2011;Zbl 1317.68109) 全文: 内政部
菲利普·巴尔比亚尼;法希玛·谢赫;纪尧姆·费伊莱德 通过过滤进行控制器/编配器合成。 (英语) Zbl 1345.68227号 Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262,33-48(2010)。MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,《电子》。注释Theor。计算。科学。262、33-48(2010年;Zbl 1345.68227) 全文: 内政部
科尔钦,A.V。 一种动态构造形式模型状态抽象的自动方法。 (英语。俄文原件) Zbl 1288.68166号 赛博。系统。分析。 46,第4期,583-601(2010); 翻译自Kibern。修女。分析。2010年,第4期,70-90(2010)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Kolchin},Cybern。系统。分析。46,No.4,583--601(2010;Zbl 1288.68166);翻译自Kibern。修女。分析。2010年第4期,70--90(2010) 全文: 内政部
莱蒂切夫斯基(A.A.Letichevsky)。;戈德列夫斯基,A.B。;A.A.jun Letychevsky。;波蒂延科,S.V。;佩沙连科,V.S。 VRS系统的谓词变换器的属性。 (英语。俄文原件) Zbl 1288.68167号 赛博。系统。分析。 46,第4期,521-532(2010); 翻译自Kibern。修女。分析。2010年,第4期,第3-16页(2010年)。MSC公司:60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevsky}等人,Cybern。系统。分析。46,第4号,521--532(2010;Zbl 1288.68167);翻译自Kibern。修女。分析。2010年,第4期,第3--16期(2010年) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉 好的(更好的)准序跃迁系统。 (英语) Zbl 1207.68219号 牛市。符号。日志。 16,第4期,457-515(2010).MSC公司:68问题85 2012年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},公牛。符号。日志。16,第4号,457--515(2010;Zbl 1207.68219) 全文: 内政部
阿伦德·伦辛克 图形转换的边缘——用于行为规范的图形。 (英语) Zbl 1309.68112号 Gregor(编辑)Engels等人,《图形转换和模型驱动工程》,在Manfred Nagl 65岁生日之际发表的论文。柏林:施普林格出版社(ISBN 978-3-642-17321-9/pbk)。计算机科学课堂讲稿5765,6-32(2010)。MSC公司:2012年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink},莱克特。注释计算。科学。5765,6--32(2010;Zbl 1309.68112) 全文: 内政部
彼得·巴赫霍尔茨;彼得·坎佩尔 一类加权自动机的模型检验。 (英语) Zbl 1206.68186号 离散事件动态。系统。 20,第1期,103-137(2010).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Buchholz}和\textit{P.Kemper},离散事件动态。系统。20,第1号,第103--137条(2010;Zbl 1206.68186) 全文: 内政部 arXiv公司
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号 Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570(2009年)。MSC公司:60年第68季度 第68季度10 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,in:加权自动机手册。柏林:斯普林格。519-570(2009年;Zbl 1484.68095) 全文: 内政部
保罗·巴拉里尼;安德拉斯·霍瓦思 产品形态CTMC的成分模型检查。 (英语) Zbl 1339.68163号 Michael Goldsmith(编辑)等人,《关键系统自动验证第七届国际研讨会论文集》(AVoCS 2007),英国牛津,2007年9月10日至12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》250,第1期,21-37(2009)。MSC公司:60年第68季度 03B70号 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ballarini}和\textit{A.Horváth},电子。注释Theor。计算。科学。250,编号1,21-37(2009;Zbl 1339.68163) 全文: 内政部