×

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

最新的 引文 关联
西拉·阿罗拉；汉森、雷内·里多夫；金·古德斯特兰·拉森；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）
全文： 内政部
阿列克桑达尔·迪莫夫斯基。；斯文·阿佩尔；Legay、Axel

决策树提升了分析具有数字特征的程序族的域。 （英语） Zbl 1467.68036号

Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 67-86 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Dimovski}等人，莱克特。注释计算。科学。12649，67-86（2021；Zbl 1467.68036）
全文： 内政部 arXiv公司
马克西姆·科尔迪；迈克，帕帕达基斯；Legay、Axel

变量密集型系统的统计模型检验。 （英语） Zbl 1507.68181号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 294-314 (2020).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Cordy｝等人，Lect。注释计算。科学。12076、294--314（2020年；Zbl 1507.68181）
全文： 内政部
阿列克桑达尔·迪莫夫斯基。；Legay、Axel

使用前向-后向前提分析和模型计数计算程序可靠性。 （英语） Zbl 1507.68084号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 182-202 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.S.迪莫夫斯基}和\textit{A.Legay}，莱克特。注释计算。科学。12076、182--202（2020；Zbl 1507.68084）
全文： 内政部
阿列克桑达尔·迪莫夫斯基。；Legay、Axel；安德烈·沃索斯基

全CTL基于游戏的提升模型检查的可变性抽象和细化。 （英语） Zbl 1524.68186号

Hähnle，Reiner（编辑）等人，《软件工程的基本方法》，第22届国际会议，FASE 2019，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2019，捷克共和国布拉格，2019年4月6日至11日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11424, 192-209 (2019).
MSC公司：60年第68季度 03B44号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Dimovski}等人，莱克特。注释计算。科学。11424，192-209（2019；Zbl 1524.68186）
全文： 内政部 arXiv公司
Legay、Axel；安娜·卢基纳；路易·玛丽·特劳诺（Louis Marie Traonouez）；杨俊兴；斯科特·斯莫尔卡。；拉杜·格罗苏

统计模型检查。 （英语） Zbl 1482.68142号

Steffen，Bernhard（编辑）等人，《计算与软件科学》。最先进的技术和观点。查姆：斯普林格。莱克特。注释计算。科学。10000, 478-504 (2019).
MSC公司：60年第68季度 87年第68季度 68T20型 93B45码
PDF格式BibTeX公司 XML格式引用
\textit｛A.Legay｝等人，Lect。注释计算。科学。10000，478-504（2019；Zbl 1482.68142）
全文： 内政部
乌里·法伦贝格；Legay、Axel；卡琳·夸斯

使用定量游戏计算分支距离。 （英语） Zbl 1464.68238号

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 59-75 (2019).
MSC公司：68问题85 65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。11884，59-75（2019；Zbl 1464.68238）
全文： 内政部 arXiv公司
法布里齐奥·比昂迪（编辑）；托马斯·吉文·威尔森（编辑）；Legay、Axel（编辑）

模型检查软件。2019年7月15日至16日，第26届国际研讨会，SPIN 2019，中国北京。诉讼程序。 （英语） 兹比尔1425.68004

计算机科学课堂讲稿11636.查姆：施普林格（ISBN 978-3-030-30922-0/pbk；978-3-0.30-30923-7/电子书）。x、 第261页。(2019).
MSC公司：68-06 68N99型 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{F.Biondi}（编辑）等人，模型检查软件。2019年7月15日至16日，第26届国际研讨会，SPIN 2019，中国北京。诉讼程序。查姆：施普林格（2019；Zbl 1425.68004）
全文： 内政部
法布里齐奥·比昂迪；迈克尔·埃内斯库。；安妮莉·希瑟；Legay、Axel；Kuldeep S.梅尔。；吉恩·奎尔贝夫

程序中定量信息流的可缩放近似。 （英语） 兹比尔1446.68027

Dillig，Isil（编辑）等人，《验证、模型检查和抽象解释》。2018年1月7日至9日，第19届国际会议，VMCAI 2018，美国加利福尼亚州洛杉矶。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10747, 71-93 (2018).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Biondi}等人，Lect。注释计算。科学。10747，71-93（2018；Zbl 1446.68027）
全文： 内政部 哈尔
卢卡·埃特罗（编辑）；乔治·巴奇（编辑）；乔瓦尼·巴奇（编辑）；Ingólfsdóttir，安娜（编辑）；Legay、Axel（编辑）；拉杜·马达尔（编辑）

模型、算法、逻辑和工具。纪念金·古德斯特兰·拉森60岁生日的文章。 （英语） Zbl 1368.68004号

计算机科学课堂讲稿10460.商会：施普林格出版社（ISBN 978-3-319-63120-2/pbk；978-3-319-63121-9/ebook）。十七、662页。(2017).
MSC公司：68-06 03B70号 65年第68季度 60年第68季度 68问题85 00B30型
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}（编辑）等人，《模型、算法、逻辑和工具》。献给金·古尔德斯特朗·拉森60岁生日之际的散文。查姆：斯普林格（2017；Zbl 1368.68004）
全文： 内政部
乌里·法伦贝格；Legay、Axel

行为规范理论的线性时间分支时间谱。 （英语） Zbl 1433.68213号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 49-61 (2017).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛U.Fahrenberg｝和\textit｛A.Legay｝，Lect。注释计算。科学。10139，49-61（2017；Zbl 1433.68213）
全文： 内政部
川本优助；法布里齐奥·比昂迪；Legay、Axel

用于量化信息流的互信息混合统计估计。 （英语） Zbl 1427.68168号

Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9995, 406-425 (2016).
MSC公司：60年第68季度 62B10型 2015年1月62日 68页30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kawamoto}等人，Lect。注释计算。科学。9995406--425（2016；Zbl 1427.68168）
全文： 内政部 哈尔
Legay、Axel；肖恩·塞德瓦兹；路易斯·马里·特劳努埃兹

统计模型检查的罕见事件概述。 （英语） 兹比尔1478.68168

Larsen、Kim Guldstrand（编辑）等，《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9899, 23-35 (2016).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Legay}等人，Lect。注释计算。科学。9899，23-35（2016；Zbl 1478.68168）
全文： 内政部 哈尔
奥尔加Gadyatskaya；汉森、雷内·里多夫；金·古德斯特兰·拉森；Legay、Axel；Mads Chr.奥列森。；丹尼·鲍尔森

使用时间自动机建模攻击防御树。 （英语） Zbl 1433.68251号

Fränzle，Martin（编辑）等人，《时间系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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）
全文： 内政部 哈尔
西里尔·阿尔托（编辑）；Legay、Axel（编辑）；多龙·贝利德（编辑）

用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。 （英语） Zbl 1346.68003号

计算机科学课堂讲稿9938.查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。xi，第530页。(2016).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Artho}（ed.）等人，验证和分析自动化技术。第14届国际研讨会，亚洲电视协会2016，日本千叶，2016年10月17日至20日。诉讼程序。查姆：斯普林格（2016；Zbl 1346.68003）
全文： 内政部
佩德罗·R·达吉尼奥。；阿恩·哈特曼斯；Legay、Axel；肖恩·塞德瓦兹

概率时间自动机最优调度的统计近似。 （英语） 兹比尔1354.68172

布拉哈姆，埃里卡（编辑）等，《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-33692-3/pbk；978-3-3169-33693-0/电子书）。计算机科学讲座笔记968199-114（2016）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.R.D'Argenio｝等人，Lect。注释计算。科学。9681，99-114（2016；Zbl 1354.68172）
全文： 内政部 链接
亚历山大·戴维；彼得·詹森（Peter G.Jensen）。；金·古德斯特兰·拉森；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）
全文： 内政部
乌里·法伦贝格；Legay、Axel；路易斯·马里·特劳努埃兹

模态nu-calculus的结构改进。 （英语） 兹比尔1432.68261

Ciobanu，Gabriel（编辑）等人，《计算的理论方面——ICTAC 2014》。第十一届国际学术讨论会，罗马尼亚布加勒斯特，2014年9月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8687, 169-187 (2014).
MSC公司：60年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。8687、169--187（2014年；Zbl 1432.68261）
全文： 内政部 arXiv公司 哈尔
乌里·法伦贝格；Legay、Axel；路易斯·马里·特劳努埃兹

概率和实时系统的规范理论。 （英语） Zbl 1416.68112号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 98-117 (2014).
MSC公司：60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。8415，98-117（2014；Zbl 1416.68112）
全文： 内政部
乌里·法伦贝格；金·古德斯特兰·拉森；Legay、Axel；路易斯·马里·特劳努埃兹

模态转换系统的参数和定量扩展。 （英语） Zbl 1416.68121号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。2014年4月6日，法国格勒诺布尔，ETAPS研讨会，FPS 2014，以纪念Joseph Sifakis。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。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。；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举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。8050，67--108（2013；Zbl 1445.68132）
全文： 内政部 哈尔
乌里·法伦贝格；Legay、Axel

度量转移系统的广义定量分析。 （英语） Zbl 1426.68170号

Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8301, 192-208 (2013).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}和\textit{A.Legay}，莱克特。注释计算。科学。8301192--208（2013；Zbl 1426.68170）
全文： 内政部 哈尔
法布里齐奥·比昂迪；Legay、Axel；帕斯夸尔马拉卡里亚；安德烈·索夫斯基

量化随机协议的信息泄漏。 （英语） 兹比尔1329.68188

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-35872-2/pbk）。计算机科学课堂讲稿7737，68-87（2013）。
MSC公司：87年第68季度 68个M12 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{F.Biondi}等人，Lect。注释计算。科学。7737、68-87（2013年；Zbl 1329.68188）
全文： 内政部 哈尔
瓦莱里亚·贝塔科（编辑）；Legay、Axel（编辑）

硬件和软件：验证和测试。2013年11月5日至7日，第九届国际海法核查会议，HVC 2013，以色列海法。诉讼程序。 （英语） Zbl 1295.68018号

计算机科学课堂讲稿8244.柏林：施普林格出版社（ISBN 978-3-319-03076-0/pbk）。第xx页，第366页。(2013).
MSC公司：68-06 68米15 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{V.Bertaco}（编辑）和\textit{A.Legay}（编），硬件和软件：验证和测试。2013年11月5-7日，第九届国际海法核查会议，HVC 2013，以色列海法。诉讼程序。柏林：施普林格出版社（2013；Zbl 1295.68018）
全文： 内政部
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}，莱克特。注释计算。科学。7841，50-58（2013；Zbl 1394.68254）
全文： 内政部
尼古拉·贝内什；贝诺·德拉哈耶；乌里·法伦贝格；简·Křetínsk；Legay、Axel

具有最大不动点的轩尼诗-米尔纳逻辑是一种完整的行为规范理论。 （英语） Zbl 1271.68131号

D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，76-90（2013）。
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。8052，76-90（2013年；兹bl 1271.68131）
全文： 内政部 arXiv公司
法布里齐奥·比昂迪；Legay、Axel；尼尔森，Bo Fries；安德烈·索夫斯基

最大化马尔可夫过程的熵。 （英语） Zbl 1377.68127号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37063-2/pbk）。计算机科学课堂讲稿7810128-140（2013）。
MSC公司：60年第68季度 60J20型 68个M12 87年第68季度 94甲17 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{F.Biondi}等人，Lect。注释计算。科学。7810，128--140（2013；Zbl 1377.68127）
全文： 内政部 哈尔
彼得·布里切夫；亚历山大·戴维；金·古斯特兰德·拉森；马吕斯·米库奇奥尼斯；丹尼·鲍尔森；Legay、Axel；王，郑

Uppaal-smc公司：定价时间自动机的统计模型检查。 （英语） Zbl 1458.68114号

Wiklicky，Herbert（编辑）等人，《关于编程语言和系统的数量方面的第十次研讨会论文集》，爱沙尼亚塔林，2012年3月31日和4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，1-16（2012）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bulychev}等人，《电子》。程序。西奥。计算。科学。（EPTCS）85，1--16（2012；Zbl 1458.68114）
全文： arXiv公司 链接
塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Legay、Axel；克劳斯·苏兰

一般定量规范理论与模式。 （英语） Zbl 1360.68576号

爱德华·赫施（Edward A.Hirsch）等，《计算机科学——理论与应用》。2012年7月3日至7日，第七届俄罗斯国际计算机科学研讨会，CSR 2012，俄罗斯下诺夫哥罗德。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30641-9/pbk）。计算机科学课堂讲稿7353，18-30（2012）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Bauer}等人，Lect。注释计算。科学。7353，18-30（2012；Zbl 1360.68576）
全文： 内政部 哈尔
贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基

区间马尔可夫链的一致性和精化。 （英语） Zbl 1247.68195号

J.日志。阿尔盖布。程序。 81，第3期，209-226（2012）.
MSC公司：87年第68季度 2017年第68季度 60J10型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Delahaye｝等人，J.日志。阿尔盖布。程序。81、3号、209--226（2012；Zbl 1247.68195）
全文： 内政部
西里尔·杰古尔；Legay、Axel；肖恩·塞德瓦兹

一个用于高性能统计模型检查的平台-PLASMA。 （英语） Zbl 1352.68156号

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，498-503（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Jegurel}等人，莱克特。注释计算。科学。7214，498--503（2012；Zbl 1352.68156）
全文： 内政部
彼得·布利切夫；亚历山大·戴维；金·古德斯特兰·拉森；Legay、Axel；李广元；丹尼·鲍尔森（Danny Bougsted Poulsen）；阿梅莉·施泰纳

加权度量时态逻辑的基于监视器的统计模型检查。 （英语） 兹比尔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.Bulychev}等人，Lect。注释计算。科学。7180、168--182（2012；Zbl 1352.68147）
全文： 内政部 哈尔
蒂莫西·布鲁克；亚历山大·戴维；Larsen，Kim G。；Legay、Axel；莱姆，迪迪埃；乌尔里克·尼曼；安德烈·索夫斯基

定时规格的新结果。 （英语） Zbl 1312.68129号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。《计算机科学讲义》7137195-192（2012）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Bourke}等人，Lect。注释计算。科学。7137175--192（2012年；Zbl 1312.68129）
全文： 内政部 链接
乌里·法伦贝格；Legay、Axel；克劳斯·苏兰

定量线性时间分支时间谱。 （英语） 兹比尔1246.68153

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，103-114，仅电子版（2011年）。
MSC公司：60年第68季度 91A80型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，LIPIcs——莱布尼茨国际程序。通知。13、103——114（2011；Zbl 1246.68153）
全文： 内政部
Larsen，Kim G。；Legay、Axel；路易斯·马里·特劳努埃兹；安德烈·索夫斯基

实时组件的稳健规范。 （英语） 兹比尔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 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： 内政部
塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；克劳斯·苏兰

加权模态转换系统的定量精化。 （英语） 兹比尔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。；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）
全文： 内政部 链接
劳拉·博泽利；Legay、Axel；苏菲·平奇纳特

基本形式的预订单检查硬度。 （英语） 兹比尔1253.68219

Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学课堂讲稿6355。人工智能课堂讲稿，119-135（2010）。
MSC公司：60年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。6355、119--135（2010年；Zbl 1253.68219）
全文： 内政部
罗希特·查达；Legay、Axel；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦

实时软件验证的复杂性界限。 （英语） Zbl 1273.68223号

Barthe，Gilles（编辑）等人，《验证、模型检验和抽象解释》。第11届国际会议，2010年VMCAI，西班牙马德里，2010年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11318-5/pbk）。计算机科学课堂讲稿594495-111（2010）。
MSC公司：60年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Chadha}等人，Lect。注释计算。科学。5944，95-111（2010；Zbl 1273.68223）
全文： 内政部 链接
劳拉·博泽利；Legay、Axel；苏菲·平奇纳特

并发定时游戏的定时交替模拟。 （英语） Zbl 1248.68320号

Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，85-96，仅电子版（2009年）。
MSC公司：60年第68季度 03B44号 2017年第68季度 91A06型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。4、85-96（2009年；Zbl 1248.68320）
全文： 内政部 链接
马可·费拉；Legay、Axel；玛丽·斯托琳加

模型检查定量线性时间逻辑。 （英语） Zbl 1286.68313号

Aldini，Alessandro（编辑）等人，第六届编程语言定量方面研讨会论文集（QAPL 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第3期，61-77（2008）。
MSC公司：60年第68季度 03B44号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Faella}等人，《电子》。注释Theor。计算。科学。220，编号3，61--77（2008；Zbl 1286.68313）
全文： 内政部
艾哈迈德·博阿贾尼；Legay、Axel；皮埃尔·沃尔珀

在（\（\omega\）-）常规模型检查中处理活性属性。 （英语） Zbl 1272.68227号

Bradfield，Julian（编辑）等人，第六届无限状态系统验证国际研讨会论文集（INFINITY 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》138，第3期，101-115（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，《电子》。注释Theor。计算。科学。138，第3号，101--115（2005；Zbl 1272.68227）
全文： 链接
帕罗什·阿齐兹·阿卜杜拉；Legay、Axel；德奥索，朱利安；艾哈迈德·雷兹

树型传感器的基于仿真的迭代。 （英语） Zbl 1087.68052号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440，30-44（2005）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。3440，30--44（2005；Zbl 1087.68052）
全文： 内政部
伯纳德·博伊格洛特；Legay、Axel；皮埃尔·沃尔珀

Omega-regular模型检查。 （英语） Zbl 1126.68469号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988561-575（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，Lect。注释计算。科学。2988561--575（2004年；Zbl 1126.68469）
全文： 内政部
伯纳德·博伊格洛特；Legay、Axel；皮埃尔·沃尔珀

大型迭代换能器（扩展抽象）。 （英语） Zbl 1278.68157号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，CAV 2003，美国科罗拉多州博尔德，2003年7月8日至12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。第2725223-235页（2003年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，Lect。注释计算。科学。2725、223--235（2003年；Zbl 1278.68157）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件