×

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

最新的 引文 相关性
斯文·齐亚德克;乌里·法伦贝格;Schlehuber Caissier，菲利普

能源Büchi问题。 （英语） Zbl 1529.68138号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。14000, 222-239 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dziadek}等人，莱克特。注释计算。科学。14000，222--239（2023；Zbl 1529.68138）
全文： 内政部 arXiv公司
埃蒂安·安德烈;玛丽奥、迪伦;劳雷·佩特鲁奇;范德波尔（Jaco van de Pol）

参数时间自动机中的有效凸区域合并。 （英语） Zbl 07643436号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13465, 200-218 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。13465，200-218（2022；Zbl 07643436）
全文： 内政部 arXiv公司
帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） 兹伯利07643426

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13465，16-42（2022）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426）
全文： 内政部 arXiv公司
阿克西，S。;保罗·加斯丁;卡提克·R·普拉卡什。

下推时间自动机可达性的快速区域算法。 （英语） Zbl 1493.68181号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12759, 619-642 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。12759619--642（2021年；Zbl 1493.68181）
全文： 内政部 arXiv公司
塞巴斯蒂安·隆德;杰斯珀·范迪蓬;Larsen，Kim G。;马尔科·穆尼兹;托拜厄斯·林格霍姆·约根森;托拜厄斯·斯卡鲁普·达安徒生

在Uppaal中进行整数静态分析以更好地进行推断。 （英语） Zbl 07498002号

Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12860, 84-99 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Lund}等人，Lect。注释计算。科学。12860，84-99（2021；Zbl 07498002）
全文： 内政部
马多达Nxumalo;Timm，零;斯特凡·格鲁纳

模型检查实时任务可调度性中的聚光灯抽象。 （英语） Zbl 1490.68135号

Laarman，Alfons（编辑）等人，《模型检查软件》。第27届国际研讨会，SPIN 2021，虚拟活动，2021年7月12日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12864, 63-80 (2021).
MSC公司：60年第68季度 68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Nxumalo}等人，Lect。注释计算。科学。12864，63-80（2021；Zbl 1490.68135）
全文： 内政部
勒鲁，杰罗姆

扁平Petri网（受邀演讲）。 （英语） Zbl 1489.68164号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12734, 17-30 (2021).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.勒鲁}，勒克特。注释计算。科学。12734，17-30（2021；Zbl 1489.68164）
全文： 内政部 哈尔
埃蒂安·安德烈;詹姆·阿里亚斯;劳雷·佩特鲁奇;范德波尔（Jaco van de Pol）

参数时间自动机中有效循环检测的迭代有界综合。 （英语） Zbl 1467.68078号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12651, 311-329 (2021).
MSC公司：65年第68季度 68兰特 68周05
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。12651、311--329（2021；Zbl 1467.68078）
全文： 内政部
马里奥·布拉维蒂;马尔科·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗

一种用于异步会话子类型的合理算法及其实现。 （英语） Zbl 1509.68184号

日志。方法计算。科学。 17，第1号，第20号论文，35页（2021年）.
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bravetti}等人，日志。方法计算。科学。17，第1号，第20号文件，第35页（2021年；Zbl 1509.68184）
全文： arXiv公司 链接
莎拉·本雅古布;雅敏阿伊特阿默尔;克劳斯·迪特·施韦

Event-B支持的编舞定义的通信系统。 （英语） Zbl 1497.68326号

Raschke，Alexander（编辑）等人，《严格的基于状态的方法》。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12071, 155-168 (2020).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Benyagoub}等人，Lect。注释计算。科学。12071，155--168（2020；Zbl 1497.68326）
全文： 内政部
西蒙·威默;冯·穆提乌斯，约书亚

已验证定时自动机可达性检查的证书。 （英语） Zbl 1507.68200号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12078, 425-443 (2020).
MSC公司：60年第68季度 65年第68季度 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{S.Wimmer}和\textit{J.von Mutius}，莱克特。注释计算。科学。12078、425--443（2020年；Zbl 1507.68200）
全文： 内政部
洛伦佐·克莱门特;萨沃米尔·拉索塔;拉多斯·瓦·皮奥科夫斯基

单时钟时间自动机的可确定性。 （英语） Zbl 07559498号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第42条，第17页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛L.Clemente｝等人，LIPIcs——莱布尼茨国际期刊。通知。171，第42条，第17页（2020；Zbl 07559498）
全文： 内政部 arXiv公司
西蒙·威默;弗雷德里克·赫布雷托;范德波尔（Jaco van de Pol）

证明定时Büchi自动机的空性。 （英语） Zbl 07317090号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12288, 58-75 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Wimmer}等人，Lect。注释计算。科学。12288，58-75（2020；Zbl 07317090）
全文： 内政部 arXiv公司 链接
雷米鹦鹉;莱姆，迪迪埃

加权时间自动机中的向后符号最优可达性。 （英语） Zbl 07317089号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12288, 41-57 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.鹦鹉}和\textit{D.石灰}，莱克特。注释计算。科学。12288，41-57（2020年；兹bl 07317089）
全文： 内政部 哈尔
马里奥·布拉维蒂;马尔科·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗

异步会话子类型的合理算法。 （英语） Zbl 07649946号

Fokkink，Wan（ed.）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27-30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第38条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bravetti}等人，LIPIcs——莱布尼茨国际程序。通知。140，第38条，第16页（2019年；Zbl 07649946）
全文： 内政部
R.戈文德。;弗雷德里克·赫布雷托;Srivathsan，B。;伊戈尔·瓦卢基维奇

重温时间自动机网络的局部时间语义。 （英语） Zbl 07649924号

Fokkink，Wan（ed.）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27-30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第16条，第15页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Govind}等人，LIPIcs——莱布尼茨国际程序。通知。140，第16条，第15页（2019年；Zbl 07649924）
全文： 内政部 arXiv公司
洛伦佐·克莱门特;彼得·霍夫曼;帕特里克·托茨克

定时基本并行进程。 （英语） Zbl 07649923号

Fokkink，Wan（ed.）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27-30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第15条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛L.Clemente｝等人，LIPIcs——莱布尼茨国际期刊。通知。140，第15条，第16页（2019年；Zbl 07649923）
全文： 内政部 arXiv公司
徐凯尔;鲁帕克·马朱姆达尔;考希·马利克;安妮·凯瑟琳·施穆克

基于惰性抽象的控制器综合。 （英语） Zbl 1447.93060号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11781, 23-47 (2019).
MSC公司：93B30型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Hsu}等人，Lect。注释计算。科学。11781、23-47（2019年；Zbl 1447.93060）
全文： 内政部 arXiv公司
塔马斯·托特;伊斯坦·马齐克

离散变量时间自动机的惰性可达性检查。 （英语） Zbl 1508.68225号

del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10869, 235-254 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Tóth}和\textit{I.Majzik}，Lect。注释计算。科学。10869，235-254（2018；Zbl 1508.68225）
全文： 内政部
马西莫·巴托莱蒂;劳拉·博奇;莫里齐奥·穆尔吉亚

进展——CTA的改进。 （英语） Zbl 1520.68087号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第40条，第19页（2018年）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，LIPIcs——莱布尼茨国际程序。通知。118，第40条，第19页（2018；Zbl 1520.68087）
全文： 内政部
保罗·加斯丁;赛扬·穆克吉;Srivathsan，B。

对角线约束下时间自动机的可达性。 （英语） Zbl 1520.68057号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第28条，第17页（2018年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gastin}等人，LIPIcs——莱布尼茨国际程序。通知。118，第28条，第17页（2018；Zbl 1520.68057）
全文： 内政部 arXiv公司
Ondřej Lengál;Anthony W·林。;鲁帕克·马朱姆达尔;菲利普·吕默

参数化概率并发系统的公平终止。 （英语） Zbl 1452.68127号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。勒克特。注释计算。科学。10205，499-517（2017年）。
MSC公司：68问题85 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Lengál}等人，Lect。注释计算。科学。10205499--517（2017；Zbl 1452.68127）
全文： 内政部 arXiv公司 链接
阿克西，S。;Genest，B.基因。;Hélouét，L。

具有时间和紧迫性的无界Petri网的可判定类。 （英语） Zbl 1346.68125号

Kordon，Fabrice（ed.）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，301-322（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。9698，301-322（2016；Zbl 1346.68125）
全文： 内政部
高弘松田;花冈、果一郎

交易明文-可模拟性，以实现选定的密文安全。 （英语） Zbl 1388.94073号

Cheng，Chen Mou（编辑）等人，《公钥密码术——PKC 2016》。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，3-34（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛T.Matsuda｝和\textit｛G.Hanaoka｝，Lect。注释计算。科学。9614，3--34（2016；Zbl 1388.94073）
全文： 内政部
乌里·法伦贝格;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）
全文： 内政部 哈尔
弗雷德里克·赫布雷托;Srivathsan，B。

粗略的抽象使得Zeno行为难以检测。 （英语） Zbl 1343.68139号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901，92-107（2011）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Herbreteau}和\textit{B.Srivathsan}，莱克特。注释计算。科学。6901，92-107（2011；Zbl 1343.68139）
全文： 内政部 链接
勒鲁，杰罗姆

算术自动机的凸包。 （英语） Zbl 1149.68393号

Alpunte，María（编辑）等人，《静态分析》。2008年7月16日至18日在西班牙巴伦西亚举行的2008年SAS第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69163-1/pbk）。计算机科学课堂讲稿5079，47-61（2008）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.勒鲁}，勒克特。注释计算。科学。5079、47-61（2008年；Zbl 1149.68393）
全文： 内政部 哈尔
达姆，沃纳;斯特凡·迪什;哈迪·亨加;瑞典雅各布斯;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨

具有大离散状态空间的线性混合系统验证中的精确状态集表示。 （英语） Zbl 1141.68461号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。《计算机科学讲义》4762425-440（2007）。
MSC公司：60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{W.Damm}等人，Lect。注释计算。科学。4762、425--440（2007年；Zbl 1141.68461）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件