乔治·巴奇;乔瓦尼·巴奇;马蒂亚斯·克劳斯·詹森;Larsen,Kim G。 凸晶格方程组。 (英语) Zbl 1528.68206号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 438-455 (2022).MSC公司:60年第68季度 2010年第68季度 第68季度87 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。13660438--455(2022年;Zbl 1528.68206) 全文: 内政部
Larsen,Kim G。;克里斯蒂安·席林;吉·斯尔巴 形式化方法中的模拟关系和应用。 (英语) Zbl 1528.68188号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 272-291 (2022).MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。13660272--291(2022年;Zbl 1528.68188) 全文: 内政部
乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen,Kim G。;安德斯·马里加德 区间马尔可夫链的定量分析。 (英语) Zbl 1522.68296号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 57-77 (2022).MSC公司:60年第68季度 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。13030,57--77(2022;Zbl 1522.68296) 全文: 内政部
西拉·阿罗拉;汉森、雷内·里多夫;金·古德斯特兰·拉森;Legay、Axel;丹尼·鲍尔森(Danny Bougsted Poulsen) 实值信号概率超特性的统计模型检验。 (英语) Zbl 1514.68115号 Legunson,Owolabi(编辑)等人,《模型检查软件》。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13255, 61-78 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Arora}等人,Lect。注释计算。科学。13255,61-78(2022;Zbl 1514.68115) 全文: 内政部
瑟伦·埃内沃德森;马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森;安德斯·马里加德;吉·斯尔巴 通过抽象依赖图验证多人随机游戏。 (英语) Zbl 07496651号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12561, 249-268 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Enevoldsen}等人,Lect。注释计算。科学。12561、249--268(2021;Zbl 07496651) 全文: 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 两层可达博弈的顽固集约简。 (英语) Zbl 1501.68002号 日志。方法计算。科学。 17,第1号,第21号论文,第26页(2021年). 审核人:马可·贝尼尼(科莫) MSC公司:68问题85 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,日志。方法计算。科学。17,第1号,第21号论文,第26页(2021;Zbl 1501.68002) 全文: arXiv公司 链接
Larsen,Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴 扩展时间自动机的紧急部分降阶。 (英语) Zbl 1517.68259号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12302, 179-195 (2020).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。12302179-195(2020年;兹比尔1517.68259) 全文: 内政部
伊莎贝拉·考夫曼;金·古德斯特兰·拉森;吉·斯尔巴 具有分支时间获胜条件的多权重博弈的综合。 (英语) Zbl 1503.68182号 Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12152, 46-66 (2020).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{I.考夫曼}等人,Lect。注释计算。科学。12152,46-66(2020;Zbl 1503.68182) 全文: 内政部
安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼 定时I/O自动机的随机细化检查。 (英语) Zbl 1502.68184号 Pang,Jun(编辑)等人,可靠软件工程。理论、工具和应用。第六届国际研讨会,SETTA 2020,中国广州,2020年11月24日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12153, 70-88 (2020).MSC公司:60年第68季度 05C81号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kiviriga}等人,Lect。注释计算。科学。12153,70-88(2020;Zbl 1502.68184) 全文: 内政部
瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 抽象依赖图及其在模型检查中的应用。 (英语) Zbl 1527.68127号 Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11427, 316-333 (2019).MSC公司:60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Enevoldsen}等人,Lect。注释计算。科学。11427316-333(2019年;兹比尔1527.68127) 全文: 内政部
延森,L.S。;考夫曼,I。;拉森,K.G。;尼尔森,S.M。;斯尔巴,J。 分支多权逻辑的模型检查与综合。 (英语) Zbl 1423.68284号 J.日志。代数。方法计划。 105, 28-46 (2019).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Jensen}等人,J.Log。代数。方法计划。105、28-46(2019年;Zbl 1423.68284) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 在马尔可夫链上从分支收敛到线性度量。 (英语) Zbl 1407.68278号 数学。结构。计算。科学。 29,第1期,3-37页(2019年).MSC公司:60年第68季度 03B44号 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《数学》。结构。计算。科学。29,第1号,第3--37号(2019年;Zbl 1407.68278) 全文: 内政部
乔瓦尼·巴奇;米克尔·汉森;金·古德斯特兰·拉森 不确定性下加权Kripke结构的验证。 (英语) Zbl 1514.68116号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 71-86 (2018).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。11024,71-86(2018;Zbl 1514.68116) 全文: 内政部
弗雷德里克·伯内兰。;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 当时间紧迫时开始修剪:定时系统的部分订单减少。 (英语) Zbl 1511.68180号 Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981, 527-546 (2018).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,Lect。注释计算。科学。10981527--546(2018年;Zbl 1511.68180) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔;薛冰田 递归加权逻辑的可判定性。 (英语) Zbl 1522.03054号 软计算。 22,第4期,1085-1102(2018).MSC公司:03B45号 03B70号 03年2月25日 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,《软计算》。22,第4号,1085--1102(2018;Zbl 1522.03054) 全文: 内政部
安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;Jensen,Peter G。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen,Kim G。;尼尔森,Søren M。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 扩展依赖图的分布式定点算法。 (英语) Zbl 1396.68070号 芬丹。通知。 161,编号4,351-381(2018).MSC公司:60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人,Fundam。通知。161、4号、351--381(2018;Zbl 1396.68070) 全文: 内政部
帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 (英语) Zbl 1392.68235号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1001-1046 (2018).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,in:模型检查手册。查姆:施普林格。1001--1046(2018;Zbl 1392.68235) 全文: 内政部 哈尔
马蒂亚斯·佩德森。;纳塔娜·菲亚尔科夫;乔治·巴奇;Larsen,Kim G。;拉杜·马达尔 半马尔可夫过程的时间比较。 (英语) Zbl 1504.68112号 Klein,Shmuel Tomi(编辑)等人,《语言和自动机理论与应用》。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10792, 271-283 (2018).MSC公司:65年第68季度 60 K15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Pedersen}等人,Lect。注释计算。科学。10792、271--283(2018年;Zbl 1504.68112) 全文: 内政部 arXiv公司
金·拉森;多龙·贝利德;肖恩·塞德瓦兹 随机LTL模型检查的记忆效率策略。 (英语) Zbl 1403.68128号 Paskevich,Andrei(编辑)等人,《验证软件》。理论、工具和实验。第九届国际会议,2017年7月22日至23日,德国海德堡,VSTTE 2017。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-72307-5/pbk;978-3-3169-72308-2/电子书)。计算机科学讲义10712152-169(2017)。MSC公司:60年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{K.Larsen}等人,Lect。注释计算。科学。10712,152--169(2017;Zbl 1403.68128) 全文: 内政部
安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;埃内沃尔森,瑟伦;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen,Kim G。;尼尔森,Søren M。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 扩展依赖关系图和高效的分布式定点计算。 (英语) Zbl 1393.68098号 van der Aalst,Wil(编辑)等人,《Petri网和并发的应用和理论》。第38届国际会议,2017年6月25-30日,西班牙萨拉戈萨,PETRI NETS 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-57860-6/pbk;978-3-3169-57861-3/电子书)。计算机科学讲义10258139-158(2017)。MSC公司:60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人,莱克特。注释计算。科学。10258、139--158(2017;Zbl 1393.68098) 全文: 内政部
Larsen,Kim G。;斯特凡·施密德;薛冰田 WNetKAT:一种加权SDN编程和验证语言。 (英语) Zbl 1432.68052号 Fatourou,Panagiota(编辑)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70,第18条,第18页。(2017).MSC公司:68甲15 68M10个 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,LIPIcs——莱布尼茨国际期刊。通知。70,第18条,第18页(2017;Zbl 1432.68052) 全文: 内政部 arXiv公司
弗兰克·卡塞兹;彼得·格约尔·詹森;金·古德斯特兰·拉森 实时程序跟踪抽象的改进。 (英语) Zbl 1478.68052号 Hague,Matthew(编辑)等人,《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10506, 42-58 (2017).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Lect。注释计算。科学。10506,42-58(2017;Zbl 1478.68052) 全文: 内政部
安德斯·马里加德;金·古德斯特兰·拉森 模型检查的符号依赖关系图。 (英语) Zbl 1494.68170号 阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10419, 153-169 (2017).MSC公司:60年第68季度 03B44号 第68季度87 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Mariegaard}和\textit{K.G.Larsen},莱克特。注释计算。科学。10419、153--169(2017年;Zbl 1494.68170) 全文: 内政部
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 PTrie:通过前缀共享压缩和存储集合的数据结构。 (英语) Zbl 1444.68063号 Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10580, 248-265 (2017).MSC公司:68第05页 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。10580、248--265(2017;Zbl 1444.68063) 全文: 内政部
安德烈亚斯·恩格尔布雷特·达尔斯加德;瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 依赖图上不动点的分布式计算。 (英语) Zbl 1393.68099号 Fränzle,Martin(编辑)等人,《可靠软件工程:理论、工具和应用》。2016年11月9日至11日,第二届国际研讨会,SETTA 2016,中国北京。诉讼程序。查姆:施普林格(ISBN 978-3-319-47676-6/pbk;978-3-3169-47677-3/电子书)。计算机科学讲座笔记9984,197-212(2016)。MSC公司:60年第68季度 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人,Lect。注释计算。科学。9984197--212(2016;Zbl 1393.68099) 全文: 内政部
奥尔加·加迪亚茨卡亚;汉森、雷内·里多夫;金·古德斯特兰·拉森;Legay、Axel;Mads Chr.奥列森。;丹尼·鲍尔森 使用时间自动机建模攻击防御树。 (英语) Zbl 1433.68251号 Fränzle,Martin(编辑)等人,《定时系统的形式化建模和分析》。第14届国际会议,FORMATS 2016,加拿大魁北克,QC,2016年8月24日至26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9884, 35-50 (2016).MSC公司:68问题85 68平方米25 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Gadyatskaya}等人,Lect。注释计算。科学。9884,35-50(2016;Zbl 1433.68251) 全文: 内政部 哈尔
毛,华;陈英科;曼弗雷德·杰格;托马斯·尼尔森。;Larsen,Kim G。;布莱恩·尼尔森 从模型检查的角度学习确定性概率自动机。 (英语) Zbl 1454.68061号 机器。学习。 105,第2期,255-299(2016).MSC公司:68问题32 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Mao}等人,马赫。学习。105,第2号,255--299(2016;Zbl 1454.68061) 全文: 内政部
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 基于离散化的时弧Petri网博弈实时策略综合。 (英语) Zbl 1354.68196号 博什纳奇·德拉甘(编辑)等人,《模型检查软件》。2016年4月7日至8日,第23届国际研讨会,SPIN 2016,与ETAPS 2016合办,荷兰埃因霍温。诉讼程序。查姆:施普林格(ISBN 978-3-319-32581-1/pbk;978-3-3169-32582-8/电子书)。计算机科学讲座笔记9641129-146(2016)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。9641、129--146(2016年;Zbl 1354.68196) 全文: 内政部
Mads Christian奥列森;汉森、雷内·里多夫;金·古德斯特兰·拉森 一种基于自动机的跟踪分区抽象解释的方法。 (英语) Zbl 1474.68059号 Probst,Christian W.(编辑)等人,《语义学、逻辑学和微积分》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际,为他们撰写的论文。查姆:施普林格。莱克特。注释计算。科学。9560, 88-110 (2016).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Olesen}等人,Lect。注释计算。科学。9560、88-110(2016年;Zbl 1474.68059) 全文: 内政部
彼得·克里斯托弗森;米克尔·汉森;安德斯·马里加德;朱利安·特里尔·林格莫斯;金·古德斯特兰·拉森;拉杜·马达尔 加权系统的参数验证。 (英语) Zbl 1429.68140号 André,Etienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’15,2015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 77-90 (2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Christoffersen}等人,OASIcs-OpenAccess系列。通知。44、77-90(2015年;Zbl 1429.68140) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔;薛冰田 无交替加权微积分:可判定性和完备性。 (英语) Zbl 1351.68164号 Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319289-313,仅电子版(2015)。MSC公司:60年第68季度 03B45号 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,电子。注释Theor。计算。科学。319289-313(2015;Zbl 1351.68164) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 在马尔可夫链上从分支收敛到线性度量。 (英语) Zbl 1407.68277号 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9399, 349-367 (2015).MSC公司:60年第68季度 03B44号 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。9399,349--367(2015;Zbl 1407.68277) 全文: 内政部 链接
金·古德斯特兰·拉森;马吕斯·米库奇奥尼斯;雅各布·哈哈尔·塔安克维斯特 安全且最佳的自适应巡航控制。 (英语) Zbl 1444.68183号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 260-277 (2015).MSC公司:68T27型 60年第68季度 90B20型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。9360260-277(2015年;Zbl 1444.68183) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 关于半马尔可夫链的总变差距离。 (英语) Zbl 1459.68116号 Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 185-199 (2015).MSC公司:60年第68季度 60J28型 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。9034185-199(2015年;Zbl 1459.68116) 全文: 内政部 链接
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 (英语) Zbl 1309.68130号 Acta信息。 52,编号2-3,269-297(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Acta Inf.52,No.2--3,269--297(2015;Zbl 1309.68130) 全文: 内政部 链接
迪帕克D’Souza(编辑);阿卡什·拉尔(编辑);金·古德斯特兰·拉森(编辑) 验证、模型检查和抽象解释。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。 (英语) Zbl 1303.68013号 计算机科学课堂讲稿8931.柏林:施普林格出版社(ISBN 978-3-662-46080-1/pbk)。十八、467页。(2015).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.D’Souza}(编辑)等人,《验证、模型检查和抽象解释》。2015年1月12-14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。柏林:施普林格出版社(2015;Zbl 1303.68013) 全文: 内政部
萨米·贾齐里;Larsen,Kim G。;拉杜·马达尔;薛冰田 时间模态逻辑的充分性和完全公理化。 (英语) Zbl 1337.03028号 Jacobs,Bart(编辑)等人,《第30届编程语义数学基础会议论文集》(MFPS XXX),美国纽约州伊萨卡,2014年6月12日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记308183-210,仅电子版(2014)。MSC公司:03B45号 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Jaziri}等人,《电子》。注释Theor。计算。科学。308183-210(2014年;Zbl 1337.03028) 全文: 内政部
亚历山大·戴维;Jensen,Peter G。;金·古德斯特兰·拉森;Legay、Axel;青柠,迪迪埃;瑟伦森,马蒂亚斯·格兰德;雅各布·H·塔安克维斯特。 以最低的预期成本按时完成! (英语) Zbl 1448.68294号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 129-145 (2014).MSC公司:60年第68季度 65年第68季度 68T05型 90B35型 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。8837、129--145(2014年;Zbl 1448.68294) 全文: 内政部
亚历山大·戴维;方慧星;金·古德斯特兰·拉森;张正奎 计时游戏策略的验证和性能评估。 (英语) 兹比尔1448.68293 Legay,Axel(编辑)等人,《定时系统的形式化建模和分析》。第十二届国际会议,FORMATS 2014,意大利佛罗伦萨,2014年9月8-10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8711, 100-114 (2014).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。8711、100-114(2014年;Zbl 1448.68293) 全文: 内政部
贝诺·德拉哈耶;乌里法伦伯格;Larsen,Kim G。;Legay、Axel 概率自动机的精化和差异。 (英语) Zbl 1338.68144号 日志。方法计算。科学。 10,第3号,第11号论文,32页(2014).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,日志。方法计算。科学。10,第3号,第11号论文,32页(2014;Zbl 1338.68144) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 (英语) Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare},Theor。计算。科学。546164--175(2014年;Zbl 1317.68120) 全文: 内政部
乌里法伦伯格;金·古德斯特兰·拉森;Legay、Axel;路易斯·马里·特劳努埃兹 模态转换系统的参数和定量扩展。 (英语) Zbl 1416.68121号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统视角。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 84-97 (2014).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8415、84-97(2014年;Zbl 1416.68121) 全文: 内政部
彼得·布利切夫;亚历山大·戴维;Larsen,Kim G。;李广元 一个\(\mathrm片段的有效控制器综合{MTL}_{0,\infty}\)。 (英语) Zbl 1360.68578号 Acta信息。 51,第3-4号,165-192(2014).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,《信息学报》第51期,第3-4165-192号(2014年;Zbl 1360.68578) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 (英语) Zbl 1283.68193号 J.日志。代数。程序。 83,第1期,第1-19页(2014年).MSC公司:65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。代数。程序。83,第1号,第1-19号(2014;Zbl 1283.68193) 全文: 内政部
Larsen,Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时系统的鲁棒综合。 (英语) Zbl 1311.68088号 西奥。计算。科学。 515, 96-122 (2014).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。515、96-122(2014年;Zbl 1311.68088) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 (英语) Zbl 1437.68094号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7734, 149-163 (2013).MSC公司:65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,Lect。注释计算。科学。7734,149--163(2013;Zbl 1437.68094) 全文: 内政部
乌里法伦伯格;Larsen,Kim G。;Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8050,67--108(2013;Zbl 1445.68132) 全文: 内政部 哈尔
塞巴斯蒂安·鲍尔。;乌里法伦伯格;Juhl,线路;Larsen,Kim G。;Legay、Axel;克劳斯·苏兰 加权模态转换系统。 (英语) Zbl 1291.68246号 形式方法系统。设计。 42,第2期,193-220(2013).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,《形式方法系统》。设计。42,第2号,193--220(2013;Zbl 1291.68246) 全文: 内政部 arXiv公司
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;Sher,法拉克;安德烈·索夫斯基 抽象概率自动机。 (英语) Zbl 1296.68092号 Inf.计算。 232, 66-116 (2013).MSC公司:65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,《信息计算》。232、66-116(2013年;Zbl 1296.68092) 全文: 内政部
Larsen,Kim G。;Legay、Axel 定量模态转换系统(特邀扩展摘要)。 (英语) Zbl 1394.68254号 Martí-Oliet,Narciso(编辑)等人,代数开发技术的最新趋势。第21届国际研讨会,2012年WADT,西班牙萨拉曼卡,2012年6月7日至10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-37634-4/pbk)。计算机科学课堂讲稿7841,50-58(2013)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{A.Legay},Lect。注释计算。科学。7841,50-58(2013;Zbl 1394.68254) 全文: 内政部
李建文;浦、葛光;张丽君;王,郑;何继峰;金·古德斯特兰·拉森 关于LTL范式与Büchi自动机之间的关系。 (英语) Zbl 1390.68435号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,256-270(2013)。MSC公司:60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,Lect。注释计算。科学。8051256-270(2013年;Zbl 1390.68435) 全文: 内政部 arXiv公司
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;吉·斯尔巴 EXPTIME-对模态转换系统进行彻底细化的完整性。 (英语) Zbl 1282.68118号 Inf.计算。 218, 54-68 (2012).MSC公司:2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《信息计算》。218、54-68(2012年;Zbl 1282.68118) 全文: 内政部
安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;阿尔芬斯·拉尔曼;Larsen,Kim G。;Mads Chr.奥列森。;范德波尔(Jaco van de Pol) 时间自动机的多核可达性。 (英语) Zbl 1374.68277号 Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿759591-106(2012)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人,Lect。注释计算。科学。7595,91-106(2012;Zbl 1374.68277) 全文: 内政部
彼得·布利切夫;弗兰克·卡塞兹;亚历山大·戴维;金·古德斯特兰·拉森;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 具有最小观测功率的控制器(应用于定时系统)。 (英语) Zbl 1374.68255号 Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561223-237(2012)。MSC公司:65年第68季度 60年第68季度 68问题85 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,Lect。注释计算。科学。7561、223--237(2012年;Zbl 1374.68255) 全文: 内政部 arXiv公司
Juhl,线路;Larsen,Kim G。;吉·斯尔巴 具有重量间隔的模态转换系统。 (英语) Zbl 1243.68215号 J.日志。代数。程序。 81,第4期,408-421(2012).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Juhl}等人,J.Log。代数。程序。81,第4号,408--421(2012;Zbl 1243.68215) 全文: 内政部
鲁,齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里法伦伯格;Larsen,Kim G。 基于max-plus代数的时间自动机可达性分析。 (英语) Zbl 1279.68214号 J.日志。代数。程序。 81,第3号,298-313(2012).MSC公司:60年第68季度 65年第68季度 15A80型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Lu}等人,J.Log。代数。程序。81,第3号,298--313(2012;Zbl 1279.68214) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 区间马尔可夫链的一致性和精化。 (英语) Zbl 1247.68195号 J.日志。代数。程序。 81,第3期,209-226(2012).MSC公司:第68季度87 2017年第68季度 60J10型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。代数。程序。81、3号、209--226(2012;Zbl 1247.68195) 全文: 内政部
彼得·布利切夫;亚历山大·戴维;金·古德斯特兰·拉森;Legay、Axel;李广元;丹尼·鲍尔森(Danny Bougsted Poulsen);阿米莉·斯坦纳 基于监视器的加权度量时间逻辑的统计模型检查。 (英语) Zbl 1352.68147号 Björner,Nikolaj(编辑)等人,《编程逻辑、人工智能和推理》。第18届国际会议,LPAR-18,委内瑞拉梅里达,2012年3月11-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28716-9/pbk)。计算机科学课堂讲稿7180168-182(2012)。MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulichev}等人,Lect。注释计算。科学。7180、168--182(2012;Zbl 1352.68147) 全文: 内政部
尼古拉·贝内什;简·Křetínsk;金·古德斯特兰·拉森;米凯尔·H·默勒。;吉·斯尔巴 具有持续时间的双价格模式转换系统。 (英语) Zbl 1352.68144号 Björner,Nikolaj(编辑)等人,《编程逻辑、人工智能和推理》。第18届国际会议,LPAR-18,委内瑞拉梅里达,2012年3月11-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28716-9/pbk)。计算机科学课堂讲稿7180122-137(2012)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。7180122-137(2012;Zbl 1352.68144) 全文: 内政部
蒂莫西·布鲁克;亚历山大·戴维;Larsen,Kim G。;Legay、Axel;青柠,迪迪埃;乌尔里克·尼曼;安德烈·索夫斯基 定时规格的新结果。 (英语) Zbl 1312.68129号 Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137175-192(2012)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourke}等人,Lect。注释计算。科学。7137175--192(2012年;Zbl 1312.68129) 全文: 内政部 链接
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;米凯尔·H·默勒。;吉·斯尔巴 参数模态转换系统。 (英语) Zbl 1348.68120号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,275-289(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。6996,275--289(2011;Zbl 1348.68120) 全文: 内政部
Larsen,Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时组件的稳健规范。 (英语) Zbl 1348.68143号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,129-144(2011)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。6919、129--144(2011;Zbl 1348.68143) 全文: 内政部
亚历山大·戴维;Larsen,Kim G。;Legay、Axel;马吕斯·米库奇奥尼斯;丹尼·鲍尔森;乔纳斯·范弗利特;王,郑 定价时间自动机网络的统计模型检验。 (英语) Zbl 1348.68130号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,80-96(2011)。MSC公司:60年第68季度 65年第68季度 68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。6919、80-96(2011年;Zbl 1348.68130) 全文: 内政部
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基;奥坎·桑库尔;克劳斯·苏兰 时间自动机总是可以实现的。 (英语) Zbl 1343.68134号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,德国亚琛,第22届国际会议,CONCUR 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿690176-91(2011)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。6901、76-91(2011年;Zbl 1343.68134) 全文: 内政部
塞巴斯蒂安·鲍尔。;乌里法伦伯格;Juhl,线路;Larsen,Kim G。;Legay、Axel;克劳斯·苏兰 加权模态转换系统的定量精化。 (英语) Zbl 1343.68150号 Murlak,Filip(编辑)等人,《2011年计算机科学的数学基础》。2011年8月22日至26日,波兰华沙,第36届国际研讨会,MFCS 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22992-3/pbk)。计算机科学课堂讲稿6907,60-71(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Lect。注释计算。科学。6907,60-71(2011;Zbl 1343.68150) 全文: 内政部
贝诺·凯劳德;贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 约束马尔可夫链。 (英语) Zbl 1223.68070号 西奥。计算。科学。 412,第34号,4373-4404(2011). 审核人:托马斯·扬森(科克) MSC公司:60年第68季度 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人,Theor。计算。科学。412,第34号,4373--4404(2011;Zbl 1223.68070) 全文: 内政部
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 (英语) Zbl 1317.68095号 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,324-339(2011)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,Lect。注释计算。科学。6538,324--339(2011;Zbl 1317.68095) 全文: 内政部
亚历山大·戴维;Larsen,Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·沃索斯基 时间I/O自动机:实时系统的完整规范理论。 (英语) Zbl 1361.68143号 2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-60558-955-8)。91-100 (2010).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,摘自:《第13届ACM混合系统国际会议论文集:计算与控制》,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。91-100(2010年;Zbl 1361.68143) 全文: 内政部
帕特里夏·鲍耶;乌里法伦伯格;Larsen,Kim G。;尼古拉斯·马基 能量约束下具有观测器的时间自动机。 (英语) Zbl 1361.68135号 2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。61-70 (2010).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,in:第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。61-70(2010年;兹bl 1361.68135) 全文: 内政部
乌里法伦伯格;Larsen,Kim G。;克劳斯·苏兰 时序逻辑中加权Kripke结构的定量表征。 (英语) Zbl 1413.68073号 计算。通知。 29,No.6+,1311-1324(2010).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,计算。通知。29,编号6+,1311--1324(2010;Zbl 1413.68073)
李书豪;桑迪·巴拉格;亚历山大·戴维;Larsen,Kim G。;布莱恩·尼尔森;普辛斯卡斯·索利乌斯·普辛斯卡斯 使用UPPAAL对实时系统进行基于场景的验证。 (英语) Zbl 1209.68323号 形式方法系统。设计。 37,编号2-3,200-264(2010).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人,Form.Methods Syst。设计。37,编号2--3200-264(2010;Zbl 1209.68323) 全文: 内政部
亚历山大·戴维;Larsen,Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·索夫斯基 使用定时I/O自动机的实时系统规范的方法。 (英语) Zbl 1312.68131号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第八届国际研讨会,2009年FMCO,荷兰埃因霍温,2009年11月4-6日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17070-6/pbk)。计算机科学讲义6286290-310(2010)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。6286290-310(2010年;Zbl 1312.68131) 全文: 内政部 链接
金·古德斯特兰·拉森 时间自动机的符号和合成可达性。 (英语) Zbl 1285.68096号 Kučera,Antonín(编辑)等人,《可达性问题》。2010年8月28日至29日,第四届国际研讨会,RP 2010,捷克共和国布尔诺。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15348-8/pbk)。计算机科学讲座笔记622724-28(2010)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen},莱克特。注释计算。科学。6227,24-28(2010;Zbl 1285.68096) 全文: 内政部
亚当·安东尼克;哈,迈克尔;Larsen,Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 模态和混合规范:关键决策问题及其复杂性。 (英语) Zbl 1191.68426号 数学。结构。计算。科学。 20,第1期,75-103(2010).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人,《数学》。结构。计算。科学。20,第1号,75--103(2010;Zbl 1191.68426) 全文: 内政部
Larsen,Kim G。 组成和定量模型检查(扩展摘要)。 (英语) Zbl 1274.68196号 Pnueli,Amir(编辑)等人,《系统信息学的观点》。2009年6月15日至19日,俄罗斯新西伯利亚,第七届安德烈·埃尔肖夫国际纪念大会,PSI 2009。修订论文。柏林:施普林格出版社(ISBN 978-3-642-11485-4/pbk)。计算机科学课堂讲稿594735-42(2010)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{K.G.Larsen},Lect。注释计算。科学。5947,35-42(2010;Zbl 1274.68196) 全文: 内政部
乌里法伦伯格;Larsen,Kim G。;克劳斯·苏兰(Claus R.Thrane)。 实时系统的验证、性能分析和控制器综合。 (英语) Zbl 1274.68185号 Arbab,Farhad(编辑)等人,《软件工程基础》,第三届IPM国际会议,FSEN 2009,伊朗基什岛,2009年4月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-11622-3/pbk)。计算机科学课堂讲稿596134-61(2010)。MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。5961、34-61(2010年;Zbl 1274.68185) 全文: 内政部
亚当·安东尼克;哈,迈克尔;Larsen,Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 EXPTIME——模态和混合规范的完整决策问题。 (英语) Zbl 1291.68172号 Hildebrandt,Thomas(编辑)等人,《第十五届并发表达能力国际研讨会论文集》(EXPRESS 2008),加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》242,第1期,19-33页(2009年)。MSC公司:2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人,《电子》。注释Theor。计算。科学。242,第1号,19--33(2009;Zbl 1291.68172) 全文: 内政部
Larsen,Kim G。 定价时间自动机:理论和工具。 (英语) Zbl 1248.68335号 Kannan,Ravi(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2009),2009年12月15日至17日,印度坎普尔。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-13-2)。LIPIcs–莱布尼茨国际信息学会议录4,417-425,仅电子版(2009年)。MSC公司:60年第68季度 65年第68季度 68平方米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen},LIPIcs——莱布尼茨国际程序。通知。4417-425(2009年;Zbl 1248.68335) 全文: 内政部 链接
彼得·布里切夫;托马斯·查泰恩;亚历山大·戴维;Larsen,Kim G。 用于检查交替计时模拟的高效实时算法。 (英语) Zbl 1262.68105号 Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813,73-87(2009)。MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,Lect。注释计算。科学。5813、73--87(2009年;Zbl 1262.68105) 全文: 内政部
北卡罗来纳州贝内什。;Křetínsk \345],J。;拉森,K.G。;斯尔巴,J。 论模态转换系统中的决定论。 (英语) Zbl 1186.68314号 西奥。计算。科学。 410,编号41,4026-4043(2009).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Theor。计算。科学。410,第41号,4026--4043(2009;Zbl 1186.68314) 全文: 内政部
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;吉·斯尔巴 完成EXPTIME-检查模态转换系统的彻底细化。 (英语) Zbl 1250.68117号 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2009》。第六届国际学术讨论会,马来西亚吉隆坡,2009年8月16日至20日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03465-7/pbk)。计算机科学讲座笔记5684112-126(2009)。MSC公司:2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。5684、112-126(2009年;Zbl 1250.68117) 全文: 内政部
亚当·安东尼克;哈,迈克尔;Larsen,Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 20年的模态和混合规范。 (英语) Zbl 1169.68498号 牛市。欧洲协会。计算。科学。EATCS公司 95, 94-129 (2008).MSC公司:60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人,公牛。欧洲协会。计算。科学。EATCS 95,94--129(2008;Zbl 1169.68498)
克里斯特尔·拜尔;Joost-Pieter卡托恩 [金·古德斯特兰·拉森] 模型检查原则。金·古德斯特兰·拉森(Kim Guldstrand Larsen)的前言。 (英语) Zbl 1179.68076号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-02649-9/hbk)。十七、975页。(2008).MSC公司:60年第68季度 68-01年 68-02 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{J.-P.Katoen},模型检查原理。金·古尔德斯特朗·拉森的前言。马萨诸塞州剑桥:麻省理工学院出版社(2008;Zbl 1179.68076)
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基 模型检查单时钟定价时间自动机。 (英语) Zbl 1149.68401号 日志。方法计算。科学。 4,第2期,论文9,28页(2008年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Log。方法计算。科学。4,第2期,论文9,28页(2008年;Zbl 1149.68401) 全文: 内政部
亚当·安东尼克;哈,迈克尔;Larsen,Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 混合和模态规范的决策问题的复杂性。 (英语) Zbl 1139.68035号 Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。计算机科学课堂讲稿4962112-126(2008)。MSC公司:60年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人,Lect。注释计算。科学。4962、112-126(2008年;Zbl 1139.68035) 全文: 内政部
塞巴斯蒂安·库普弗施米德;霍夫曼,约格;Larsen,Kim G。 通过Russian Doll抽象快速定向模型检查。 (英语) Zbl 1134.68412号 Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日,作为欧洲软件理论和实践联合会议的一部分,第14届国际会议,TACAS 2008,在匈牙利布达佩斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963203-217(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kupferschmid}等人,莱克特。注释计算。科学。4963203-217(2008年;兹bl 1134.68412) 全文: 内政部
海宁·迪尔克斯;塞巴斯蒂安·库普弗施米德;Larsen,Kim G。 时间自动机的自动抽象精化。 (英语) Zbl 1141.68431号 Raskin,Jean-François(编辑)等,时间系统的形式化建模和分析。第五届国际会议,FORMATS 2007,奥地利萨尔茨堡,2007年10月3-5日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75453-4/pbk)。计算机科学课堂讲稿4763114-129(2007)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Dierks}等人,Lect。注释计算。科学。4763、114--129(2007年;Zbl 1141.68431) 全文: 内政部
卢卡·埃特罗;Anna Ingólfsdóttir;Larsen,Kim G。;吉·斯尔巴 无功系统。建模、规范和验证。 (英语) Zbl 1141.68043号 剑桥:剑桥大学出版社(ISBN 978-0-521-87546-2/hbk)。十六、284页。(2007). 审核人:马格努斯·斯坦比(图尔库) MSC公司:68问题85 68-01年 60年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,反应系统。建模、规范和验证。剑桥:剑桥大学出版社(2007;Zbl 1141.68043) 全文: 内政部
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基 模型检查一个时钟定价的时间自动机。 (英语) Zbl 1149.68400号 Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423108-122(2007)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。4423108-122(2007年;兹比尔1149.68400) 全文: 内政部
亚历山大·戴维;约翰·哈坎森;Larsen,Kim G。;保罗·佩特森 使用DBM减法对具有优先级的时间自动机进行模型检查。 (英语) Zbl 1141.68462号 Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学讲义4202128-142(2006)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。4202128--142(2006年;Zbl 1141.68462) 全文: 内政部 链接
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基;雅各布·伊勒姆拉斯穆森 在一个时钟定价的计时游戏中,几乎是最佳策略。 (英语) Zbl 1177.68142号 Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337,345-356(2006)。MSC公司:60年第68季度 91A05型 91A55型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。4337345--356(2006年;Zbl 1177.68142) 全文: 内政部
帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen,Kim G。 使用综合优化策略高超声速. (英语) Zbl 1272.68228号 de Alfaro,L.(编辑),《游戏设计与验证研讨会论文集》(GDV 2004),美国马萨诸塞州波士顿,2004年6月18日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》119,第1期,11-31页(2005年)。MSC公司:60年第68季度 91A55型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。注释Theor。计算。科学。119,编号1,11--31(2005;Zbl 1272.68228) 全文: 链接
格德·贝尔曼;Larsen,Kim G。;雅各布·伊勒姆拉斯穆森 超越活性:针对有时间限制活性的有效参数合成。 (英语) Zbl 1175.68255号 Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿382981-94(2005)。MSC公司:60年第68季度 68平方米 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人,Lect。注释计算。科学。3829、81-94(2005年;Zbl 1175.68255) 全文: 内政部
弗兰克·卡塞兹;亚历山大·戴维;伊曼纽尔·弗勒里;Larsen,Kim G。;青柠,迪迪埃 用于分析计时游戏的高效实时算法。 (英语) Zbl 1134.68382号 Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653,66-80(2005)。MSC公司:65年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Lect。注释计算。科学。3653、66-80(2005年;Zbl 1134.68382) 全文: 内政部
Larsen,Kim G。;马吕斯·米库西奥尼斯;布莱恩·尼尔森 使用Uppaal在线测试实时系统。 (英语) Zbl 1081.68574号 Grabowski,Jens(编辑)等人,软件测试的形式化方法。2004年9月21日,第四届国际研讨会,《命运2004》,奥地利林茨。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-25109-X/pbk)。计算机科学讲座笔记3395,79-94(2005)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。3395、79-94(2005年;Zbl 1081.68574) 全文: 内政部
Larsen,Kim G。;乌里克·拉森;安德烈·沃索斯基 反应式同步程序转换的色盲规范。 (英语) Zbl 1119.68345号 Cerioli,Maura(编辑),软件工程的基本方法。第八届国际会议,FASE 2005,作为欧洲软件理论和实践联合会议的一部分举行,ETAPS 2005,英国爱丁堡,2005年4月4日至8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25420-X/pbk)。计算机科学课堂讲稿3442160-174(2005)。MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。3442、160-174(2005年;Zbl 1119.68345) 全文: 内政部
安德斯·赫塞尔;Larsen,Kim G。;布莱恩·尼尔森;保罗·佩特森;阿恩·斯科 使用Uppaal生成时间最优的实时测试用例。 (英语) Zbl 1185.68248号 Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 114-130 (2004).MSC公司:68N99型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hessel}等人,Lect。注释计算。科学。2931114-130(2004年;Zbl 1185.68248) 全文: 内政部
格德·贝尔曼;帕特里夏·鲍耶;Larsen,Kim G。;拉德克·佩拉内克 时间自动机基于区域抽象的上下限。 (英语) Zbl 1126.68453号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988312-326(2004)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人,Lect。注释计算。科学。2988312--326(2004年;Zbl 1126.68453) 全文: 内政部
格德·贝尔曼;亚历山大·戴维;Larsen,Kim G。 UPPAAL教程。 (英语) Zbl 1105.68350号 Bernardo,Marco(编辑)等人,实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校,SFM-RT 2004,意大利贝蒂诺罗,2004年9月13日至18日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-23068-8/pbk)。计算机科学课堂讲稿3185200-236(2004)。MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人,Lect。注释计算。科学。3185200--236(2004;Zbl 1105.68350) 全文: 内政部
马蒂恩·亨德里克斯;格德·贝尔曼;金·拉森;彼得·尼伯特;Vaandrager,Frits公司 向Uppaal添加对称减少。 (英语) 兹比尔1099.68657 Larsen,Kim G.(编辑)等,时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-21671-5/pbk)。计算机科学课堂讲稿2791,46-59(2004)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hendriks}等人,Lect。注释计算。科学。2791、46-59(2004年;Zbl 1099.68657) 全文: 内政部