阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生 参数定时正则表达式的模式匹配和参数识别。 (英语) Zbl 07807955号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Mambakam}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023;Zbl 07807955) 全文: 内政部 哈尔
弗洛里安·布鲁斯;马丁·兰格 定时递归CTL的尾部递归片段。 (英语) Zbl 07742415号 Inf.计算。 294,文章ID 105084,18 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯}和\textit{M.兰格},Inf.计算。294,文章ID 105084,18 p.(2023;Zbl 07742415) 全文: 内政部
达米安·巴斯托·加斯顿;本杰明·蒙梅吉;皮埃尔·阿莱·雷尼尔 定时系统的最优控制器综合。 (英语) Zbl 07731909号 日志。方法计算。科学。 19,第1号,第20号论文,77页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Busatto-Gaston}等人,日志。方法计算。科学。19,第1号,第20号论文,77页(2023;Zbl 07731909) 全文: 内政部 arXiv公司
斯文·齐亚德克;乌里·法伦贝格;菲利普·施勒胡贝尔(Philipp 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公司
迪米特里·列斐伏尔;李志武;梁,叶 通过状态隔离对离散事件系统的定时模式进行诊断。 (英语) Zbl 1520.93313号 Automatica公司 153,文章ID 111045,13 p.(2023).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lefebvre}等人,Automatica 153,文章ID 111045,13 p.(2023;Zbl 1520.93313) 全文: 内政部
罗布·范格拉贝克;文森特·格拉莫利;皮埃尔·索罗尼亚特 具有成功保证的跨中国支付协议。 (英语) 兹伯利07697598 分布计算。 36,第2期,137-157(2023).MSC公司:64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人,《分布计算》。36,编号2,137--157(2023;Zbl 07697598) 全文: 内政部 arXiv公司
阿夫尼,盖伊;什巴希斯·古哈;奥尔纳库普弗曼 定时网络游戏。 (英语) 兹伯利07641115 Inf.计算。 290,文章ID 104996,27 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,《信息计算》。290,文章ID 104996,27 p.(2023;Zbl 07641115) 全文: 内政部
马特奥·扎瓦特里;罗密欧·里兹;蒂齐亚诺别墅 具有瞬时反应的时间网络的动态可控性。 (英语) Zbl 07830730号 信息科学。 613, 932-952 (2022).MSC公司:68倍 93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人,《信息科学》。613932-952(2022;Zbl 07830730) 全文: 内政部
林德曼,拉尔斯;乔治·帕帕斯。;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑的反应式和风险意识控制。 (英语) Zbl 07741708号 IEEE传输。自动。控制 67,第10号,5262-5277(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{L.Lindemann}等人,IEEE Trans。自动。对照67,编号10,5262-5277(2022;Zbl 07741708) 全文: 内政部 arXiv公司
克里斯托弗·比肖平克;奥尔德罗格(Ernst-Rüdiger Olderog) 公路交通的空间和时间特性。 (英语) Zbl 07719828号 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13572, 114-131 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Bischopink}和\textit{E.-R.Olderog},莱克特。注释计算。科学。13572,114--131(2022;Zbl 07719828) 全文: 内政部
Bose,Sougata公司;托马斯·亨辛格(Thomas A.Henzinger)。;卡罗琳娜·莱赫蒂宁;斯文·舍韦;帕特里克·托茨克 历史确定的时间自动机是不可确定的。 (英语) Zbl 07714977号 Lin,Anthony W.(编辑)等人,《可达性问题》。第16届国际会议,RP 2022,德国凯泽斯劳滕,2022年10月17日至21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13608, 67-76 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Bose}等人,Lect。注释计算。科学。13608,67-76(2022;Zbl 07714977) 全文: 内政部 哈尔
徐润清;安、杰;詹伯华 基于约束求解的单时钟时间自动机主动学习。 (英语) Zbl 1522.68288号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 249-265 (2022).MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{R.Xu}等人,Lect。注释计算。科学。13505249-265(2022年;兹比尔1522.68288) 全文: 内政部 arXiv公司
唐晓晨;沈伟;张苗苗;安、杰;詹伯华;詹乃军 通过变异测试学习确定性单时钟时间自动机。 (英语) Zbl 1522.68286号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 233-248 (2022).MSC公司:65年第68季度 68问题32 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Tang}等人,Lect。注释计算。科学。13505233-248(2022年;Zbl 1522.68286) 全文: 内政部
彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen 蒙特卡罗树搜索定价时间自动机。 (英语) Zbl 1522.68273号 布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).MSC公司:65年第68季度 68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13479,381--398(2022;Zbl 1522.68273) 全文: 内政部 链接
奥尔德罗格(Ernst-Rüdiger Olderog);伯恩哈德·斯特芬;易、王 模型检查、综合和学习。 (英语) Zbl 1522.68339号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).MSC公司:60年第68季度 68问题32 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}等人,Lect。注释计算。科学。13030,1--7(2022;Zbl 1522.68339) 全文: 内政部
詹姆斯·C·A·梅因(James C.A.Main)。;米凯尔·兰多尔;杰里米·斯普洛斯顿 有界窗口奇偶目标的定时游戏。 (英语) Zbl 07643434号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 165-182 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.C.A.Main}等人,Lect。注释计算。科学。13465,165--182(2022;Zbl 07643434) 全文: 内政部 arXiv公司
苏里亚·西特加·德苏;阿努巴夫·斯利瓦斯塔瓦;M.V.Panduranga Rao 纠缠交换的模型检查。 (英语) Zbl 07643430号 Bogomolov,Sergie(编辑)等人,定时系统的形式建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 98-114 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.S.T.Desu}等人,Lect。注释计算。科学。13465,98-114(2022;Zbl 07643430) 全文: 内政部
托马斯·莫勒·格罗森;肖恩·考夫曼;金·古德斯特兰·拉森;马丁·齐默尔曼 监视定时属性(已重新访问)。 (英语) Zbl 07643427号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 43-62 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.M.Grosen}等人,Lect。注释计算。科学。13465,43-62(2022;Zbl 07643427) 全文: 内政部 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公司
小川,水井裕人;亚历山大·奥霍金 关于事件时钟输入驱动下推自动机的确定。 (英语) Zbl 07615742号 库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会,CSR 2022,虚拟活动,2022年6月29日至7月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13296, 256-268 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Ogawa}和\textit{A.Okhotin},莱克特。注释计算。科学。13296256-268(2022;Zbl 07615742) 全文: 内政部 arXiv公司
亚历杭德罗·格雷兹;菲利普·马佐维耶基;Micha Pilipczuk;加布里埃尔,小狗;克里斯蒂安·里维罗斯 时间自动机验收的动态数据结构。 (英语) Zbl 07608289号 算法 84,第11号,3223-3245(2022).MSC公司:68重量xx 05摄氏度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Grez}等人,Algorithmica 84,No.11,3223--3245(2022;Zbl 07608289) 全文: 内政部
张奎泽 幺半群上标记加权自动机的可检测性。 (英语) Zbl 1524.68180号 离散事件动态。系统。 32,第3期,435-494(2022年).MSC公司:65年第68季度 65年第68季度 68问题85 90立方厘米 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang},离散事件动态。系统。32,编号3,435--494(2022;Zbl 1524.68180) 全文: 内政部 arXiv公司
雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾丁·戈尔(Ebru Aydin Gol);伊万娜·乔纳 通过模型检查进行时间自动机稳健性分析。 (英语) Zbl 07577576号 日志。方法计算。科学。 18,第3号,第12号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,日志。方法计算。科学。18,第3号,第12号论文,32页(2022;Zbl 07577576) 全文: arXiv公司 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔;拉多斯·瓦·皮奥科夫斯基 寄存器和时间自动机的可确定性。 (英语) Zbl 07566065号 日志。方法计算。科学。 18,第2号,第9号论文,37页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,日志。方法计算。科学。18,第2号,第9号论文,37页(2022;Zbl 07566065) 全文: arXiv公司 链接
埃蒂安·安德烈;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 参数时间自动机中的可达性和活性。 (英语) Zbl 07566044号 日志。方法计算。科学。 18,第1号,第31号论文,41页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。方法计算。科学。18,第1号,第31号论文,41页(2022;Zbl 07566044) 全文: arXiv公司 链接
尼古拉·吉甘特;安德烈亚·米凯利;安吉洛·蒙塔纳里;恩里科·斯卡拉 密集时间内基于行动的时间规划的可决定性和复杂性。 (英语) Zbl 07505989号 工件。智力。 307,文章ID 103686,20 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,Artif。智力。307,文章ID 103686,20 p.(2022;Zbl 07505989) 全文: 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆 无上下文时间形式:鲁棒自动机和线性时序逻辑。 (英语) Zbl 1528.68213号 Inf.计算。 283,文章ID 104673,第30页(2022).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。283,文章ID 104673,30 p.(2022;Zbl 1528.68213) 全文: 内政部 链接
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 未来和最小语义下密集时间内基于时间的规划的复杂性问题。 (英语) 兹伯利0745878 西奥。计算。科学。 901, 87-113 (2022).MSC公司:68T20型 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。901、87-113(2022;Zbl 07458778) 全文: 内政部
马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔 定价时间自动机的成本和回报。 (英语) Zbl 1483.68168号 Inf.计算。 282,文章ID 104656,17 p.(2022).MSC公司:65年第68季度 03B25号 11日72 2005年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,《信息计算》。282,文章ID 104656,17 p.(2022;Zbl 1483.68168) 全文: 内政部 arXiv公司 链接
阿曼,博格丹;加布里埃尔·乔巴努 移动代理系统和加权时间自动机中的声誉动态。 (英语) Zbl 1483.68220号 Inf.计算。 282,文章ID 104653,22 p.(2022).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Inf.Comput。282,文章ID 104653,22 p.(2022;Zbl 1483.68220) 全文: 内政部
贝拉德,贝特里奇;谢尔盖·哈达德 多项式中断时间自动机的可达性研究。 (英语) Zbl 1483.68157号 信息处理。莱特。 174,文章ID 106208,6 p.(2022); 更正同上175,文章ID 106231,1 p.(2022)。MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{S.Haddad},Inf.过程。莱特。174,文章ID 106208,6 p.(2022;Zbl 1483.68157) 全文: 内政部
亚历杭德罗·格雷兹;菲利普·马佐维耶基;Micha Pilipczuk;加布里埃尔,小狗;克里斯蒂安·里维罗斯 时间自动机验收的动态数据结构。 (英语) Zbl 07803598号 Golovach,Petr A.(编辑)等人,第16届参数化和精确计算国际研讨会,IPEC 2021,葡萄牙里斯本,2021年9月8日至10日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。214,第20条,第18页(2021年)。MSC公司:65年第68季度 68年第27季度 68重量xx PDF格式BibTeX公司 XML格式引用 \textit{A.Grez}等人,LIPIcs——莱布尼茨国际程序。通知。214,第20条,第18页(2021;Zbl 07803598) 全文: 内政部
阿克西,S。;布莱斯·基内斯特;海洛伊特,洛伊奇;克里希纳,S。;斯巴萨罗伊乔杜里 定时系统的弹性。 (英语) Zbl 07799611号 Bojañczyk,Mikołaj(编辑)等人,第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213,第33条,第22页(2021年)。MSC公司:68纳米30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,LIPIcs——莱布尼茨国际程序。通知。213,第33条,第22页(2021;Zbl 07799611) 全文: 内政部
斯巴萨罗伊乔杜里 \(1)玩家随机秒表游戏。 (英语) Zbl 07744960号 Combi,Carlo(编辑)等人,第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日,奥地利克拉根福(虚拟会议)。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。206,第17条,第18页(2021年)。MSC公司:03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Roychowdhury},LIPIcs——莱布尼茨国际程序。通知。206,第17条,第18页(2021;兹bl 07744960) 全文: 内政部
詹姆斯·C·A·梅因(James C.A.Main)。;米凯尔·兰多尔;杰里米·斯普洛斯顿 看着窗外,时间过得飞快:有窗口平价目标的计时游戏。 (英语) Zbl 07730627号 Haddad,Serge(编辑)等人,第32届并发理论国际会议,CONCUR 20212021年8月24日至27日,虚拟会议。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。203,第25条,第16页(2021年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.A.Main}等人,LIPIcs——莱布尼茨国际程序。通知。203,第25条,第16页(2021;Zbl 07730627) 全文: 内政部 arXiv公司
埃蒂安·安德烈;黄家阮;劳雷·佩特鲁奇;孙骏 非零度假设下的分布式参数模型检验时间自动机。 (英语) Zbl 1522.68294号 形式方法系统。设计。 59,编号1-3,253-290(2021).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《形式方法系统》。设计。59,编号1--3,253--290(2021;Zbl 1522.68294) 全文: 内政部
马丁·科尔布尔;斯特凡·洛伊;托马斯·维斯 定时系统的自动修复。 (英语) Zbl 1522.68366号 形式方法系统。设计。 59,编号1-3,136-169(2021).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kölbl}等人,《形式方法系统》。设计。59,编号1--3,136-169(2021;Zbl 1522.68366) 全文: 内政部
阿卜杜拉扎克·阿巴;安娜·卡瓦尔坎蒂;杰里米·雅各布 通过将tock-CSP自动转换为时间自动机进行时间推理。 (英语) Zbl 1498.68147号 Campos,Sérgio(编辑)等人,《形式方法:基础和应用》。第24届巴西研讨会,SBMF 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13130, 70-86 (2021).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Abba}等人,Lect。注释计算。科学。13130,70-86(2021年;兹比尔1498.68147) 全文: 内政部 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公司
埃蒂安·安德烈 模仿者3:超越可判定性的时序参数合成。 (英语) Zbl 1493.68202号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 552-565 (2021).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·安德烈},莱克特。注释计算。科学。12759、552--565(2021;Zbl 1493.68202) 全文: 内政部
马多达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) 全文: 内政部
杰里米·斯普洛斯顿 具有一个时钟和初始化的时钟相关概率的概率时间自动机。 (英语) Zbl 07471666号 日志。方法计算。科学。 17,第4号,第6号论文,35页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},日志。方法计算。科学。17,第4号,第6号论文,35页(2021;Zbl 07471666) 全文: arXiv公司 链接
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森;玛丽·斯托琳加 攻击故障树的参数分析。 (英语) Zbl 1491.68034号 芬丹。通知。 182,第1号,69-94(2021).MSC公司:68平方米25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,Fundam。通知。182,编号1,69-94(2021;Zbl 1491.68034) 全文: 内政部 arXiv公司
卢卡斯·特里斯卡;托马斯·摩尔 开环竞争策略语义下时间Petri网的行为等价max-plus自动机。 (英语) Zbl 1480.93273号 离散事件动态。系统。 31,第4号,583-607(2021).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Triska}和\textit{T.Moor},离散事件动力学。系统。31,第4号,583--607(2021;Zbl 1480.93273) 全文: 内政部
杰恩·卢克·贝切内克;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 并发DES的逻辑时间控制。 (英语) Zbl 1478.93185号 离散事件动态。系统。 185-217年第2号第31页(2021年).MSC公司:93亿B50 93个B03 65年第68季度 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Béchennec}等人,离散事件动力学。系统。31,第2号,185--217(2021;Zbl 1478.93185) 全文: 内政部 哈尔
何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,《信息计算》。280,文章ID 104639,18 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
安托万·莫特特;卡琳·夸斯 明确的寄存器自动机和明确的时间自动机的包含问题。 (英语) Zbl 1517.68207号 理论计算。系统。 65,编号4,706-735(2021).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mottet}和\textit{K.Quaas},理论计算。系统。65,编号4,706--735(2021;Zbl 1517.68207) 全文: 内政部
雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾布鲁·艾丁(Ebru Aydin Gol);伊万娜·乔纳 可到达性的时间自动机松弛。 (英语) Zbl 1467.68079号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 291-310 (2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,Lect。注释计算。科学。12651、291--310(2021年;Zbl 1467.68079) 全文: 内政部
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森 参数时间自动机中的参数更新。 (英语) Zbl 07350779号 日志。方法计算。科学。 17,第2号,第13号论文,67页(2021年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。方法计算。科学。17,第2号,第13号论文,67页(2021;Zbl 07350779) 全文: arXiv公司 链接
杰里米·斯普洛斯顿 具有时钟相关概率的概率时间自动机。 (英语) Zbl 1478.68136号 芬丹。通知。 178,编号1-2101-138(2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},芬丹。通知。178,编号1--2,101-138(2021;Zbl 1478.68136) 全文: 内政部 arXiv公司
艾克拉斯·阿马尔;亚门El Touati;约翰·马林斯;是的,莫伊兹 基于时间有界离散化语言的包含的时间有界验证。 (英语) Zbl 1458.68111号 Int.J.找到。计算。科学。 32,第2期,175-202(2021).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Ammar}等人,国际法学研究所。计算。科学。32,第2号,175--202(2021;Zbl 1458.68111) 全文: 内政部
贝拉德,B。;哈达德,S。;皮卡罗尼,C。;Safey El Din,M。;萨索拉斯,M。 多项式中断时间自动机:验证和表达。 (英语) Zbl 1475.68145号 Inf.计算。 277,文章ID 104580,15 p.(2021).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《信息计算》。277,文章ID 104580,15 p.(2021;Zbl 1475.68145) 全文: 内政部 哈尔
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;Larsen,Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 基于不确定性能量时间自动机的最优鲁棒控制器综合。 (英语) Zbl 1458.93072号 正式Asp。计算。 33,编号1,3-25(2021).MSC公司:93亿B50 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《正式Asp》。计算。33,编号1,3--25(2021;Zbl 1458.93072) 全文: 内政部 arXiv公司
洛伦佐·克莱门特;萨沃米尔·拉索塔 定时下推自动机的可达性关系。 (英语) Zbl 1484.68079号 J.计算。系统。科学。 117, 202-241 (2021). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 03B70号 05年3月 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}和\textit{S.Lasota},J.Compute。系统。科学。117202-241(2021;Zbl 1484.68079) 全文: 内政部 arXiv公司
伊丽莎白·德·玛丽亚;辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨 建模为时间自动机的尖峰神经网络:具有参数学习。 (英语) Zbl 1530.68086号 自然计算。 19,第1期,135-155(2020年).MSC公司:2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92B20型 92C20美元 PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人,《自然计算》。19,第1号,135--155(2020;Zbl 1530.68086) 全文: 内政部 arXiv公司 哈尔
特瓦尔多夫斯基。;北卡罗来纳州埃夫图申科。 导出具有定时保护的有限状态机的归巢序列。 (俄语。英文摘要) Zbl 1513.68022号 模型。分析。Inf.姐妹。 27,第4期,376-395(2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Tvardovskii}和\textit{N.V.Evtushenko},模型。分析。Inf.姐妹。27,第4号,376--395(2020;Zbl 1513.68022) 全文: 内政部 MNR公司
安、杰;陈明帅;詹伯华;詹乃军;张苗苗 学习单时钟时间自动机。 (英语) Zbl 1507.68163号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 444-462 (2020).MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{J.An}等人,Lect。注释计算。科学。12078、444--462(2020;Zbl 1507.68163) 全文: 内政部 arXiv公司
西蒙·威默;冯·穆提乌斯,约书亚 已验证定时自动机可达性检查的证书。 (英语) Zbl 1507.68200号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 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},Lect。注释计算。科学。12078、425--443(2020年;Zbl 1507.68200) 全文: 内政部
阿克西,S。;保罗·加斯丁;克里希纳,S。;斯巴萨罗伊乔杜里 重温多下推系统的近似可达性。 (英语) Zbl 1507.68080号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 387-404 (2020).MSC公司:68纳米30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Lect。注释计算。科学。12078、387--404(2020;Zbl 1507.68080) 全文: 内政部 arXiv公司
安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼 定时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 07559498号 Konnov,Igor(ed.)等人,第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公司
Ait Oumeziane,F。;卡拉,R。;阿玛里,S。 使用(max,+)和(min,+)代数对带保护的时间自动机进行形式化分析和控制。 (英语) Zbl 1483.93378号 国际期刊系统。科学。,普林克。申请。系统。集成。 51,第11号,2041-2056(2020).MSC公司:93元65角 93B25型 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Ait Oumeziane}等人,国际期刊系统。科学。,普林克。申请。系统。集成。51,第11号,2041--2056(2020;Zbl 1483.93378) 全文: 内政部
西蒙·威默;弗雷德里克·赫布雷托;范德波尔(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公司 链接
Saddem-yagoubi,环;奥利维尔·诺德;凯伦·戈达里·德杰恩;迪迪埃·克雷斯塔尼 精准农业物流的模型检验:差异收获案例。 (英语) Zbl 1456.91067号 离散事件动态。系统。 30,第4号,579-604(2020).MSC公司:91B76号 93亿B50 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Saddem-yagoubi}等人,离散事件动力学。系统。30,第4号,579--604(2020;Zbl 1456.91067) 全文: 内政部
克劳迪奥·蒙吉;马尔塞洛·贝尔萨尼。;罗西,马蒂奥;Pierluigi San彼得罗 基于时间自动机的模型检验MITL公式。基于逻辑的方法。 (英语) Zbl 1446.68095号 ACM事务处理。计算。日志。 21,第3号,第26条,第44页(2020年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,ACM Trans。计算。日志。21,第3号,第26条,第44页(2020年;Zbl 1446.68095) 全文: 内政部
弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 为什么时间自动机的活性很难,以及我们能做些什么。 (英语) Zbl 1446.68068号 ACM事务处理。计算。日志。 21,第3号,第17条,28页(2020年).MSC公司:2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人,ACM翻译。计算。日志。21,第3号,第17条,第28页(2020年;Zbl 1446.68068) 全文: 内政部 链接
马蒂厄·雷纳德;安托万·罗莱;伊利耶斯·法尔科内 使用游戏对计时属性进行运行时强制。 (英语) Zbl 1458.68120号 正式Asp。计算。 32,编号2-3,315-360(2020).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人,《正式Asp》。计算。32,编号2-3315-360(2020;兹bl 1458.68120) 全文: 内政部 哈尔
巴雷西,L。;贝尔萨尼,M.M。;F.马可尼。;G.夸特罗奇。;罗西,M。 使用形式验证评估Spark应用程序的执行时间。 (英语) Zbl 1451.68166号 正式Asp。计算。 32,第1号,33-70(2020年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Baresi}等人,《形式语法》。计算。32,第1号,33-70(2020;Zbl 1451.68166) 全文: 内政部 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 基于时间轴的密集时域规划。 (英语) Zbl 1433.68406号 西奥。计算。科学。 813, 305-326 (2020).MSC公司:68T20型 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813305--326(2020年;Zbl 1433.68406) 全文: 内政部
卢卡·斯帕拉齐;弗朗西斯科·斯佩尼 带布尔保护的时间自动机网络的参数化模型检查。 (英语) Zbl 1433.68219号 西奥。计算。科学。 813, 248-269 (2020).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Spalazzi}和\textit{F.Spegni},Theor。计算。科学。813248-269(2020年;Zbl 1433.68219) 全文: 内政部
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 关于时间形式中时钟的初始化。 (英语) Zbl 1433.03048号 西奥。计算。科学。 813, 175-198 (2020).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Theor。计算。科学。813175-198(2020年;Zbl 1433.03048) 全文: 内政部 链接
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 (英语) Zbl 1494.68157号 J.日志。阿尔盖布。方法计划。 110,文章ID 100459,22 p.(2020).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100459,22 p.(2020;Zbl 1494.68157) 全文: 内政部 arXiv公司
埃蒂安·安德烈;莱姆,迪迪埃;尼古拉斯·马基 参数时间自动机中的语言保存问题。 (英语) Zbl 1429.68098号 日志。方法计算。科学。 16,第1号,第5号论文,31页(2020年).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。方法计算。科学。16,第1号,第5号论文,31页(2020年;Zbl 1429.68098) 全文: arXiv公司
马格纳斯·佩宁 有限时滞切换问题的一个双尺度格式。 (英语) 兹比尔1430.93132 Automatica公司 112,文章ID 108709,第9页(2020年).MSC公司:93立方厘米 93立方 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Perninge},Automatica 112,文章ID 108709,9 p.(2020;Zbl 1430.93132) 全文: 内政部
马丁·科尔布尔;斯特凡·洛伊;托马斯·维斯 定时系统的定时修复。 (英语) Zbl 07805527号 Dillig,Isil(编辑)等人,《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11561, 79-96 (2019).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kölbl}等人,Lect。注释计算。科学。11561、79-96(2019年;Zbl 07805527) 全文: 内政部
保罗·加斯丁;赛扬·穆克吉;Srivathsan,B。 时间自动机中处理对角约束的快速算法。 (英语) Zbl 07805525号 Dillig,Isil(编辑)等人,《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11561, 41-59 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人,Lect。注释计算。科学。11561,41-59(2019;Zbl 07805525) 全文: 内政部 arXiv公司
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 控制密集时间域上基于时间线的规划的复杂性。 (英语) 兹比尔1528.68359 Chattopadhyay,Arkadev(ed.)等人,第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11-13日,印度孟买,FSTTCS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150,第34条,第14页(2019年)。MSC公司:68T20型 2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,LIPIcs——莱布尼茨国际程序。通知。150,第34条,第14页(2019年;Zbl 1528.68359) 全文: 内政部
何希明;周若瑜;蒂莫西·琼斯。 在验证定时超属性时。 (英语) Zbl 1515.68182号 Gamper,Johann(编辑)等人,第26届时间表征和推理国际研讨会,《时代》2019年。2019年10月16日至19日,西班牙马拉加。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。147,第20条,第18页(2019年)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,LIPIcs--Leibniz Int.Proc。通知。147,第20条,第18页(2019年;Zbl 1515.68182) 全文: 内政部 arXiv公司
R.戈文德。;弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 重温时间自动机网络的局部时间语义。 (英语) Zbl 07649924号 Fokkink,Wan(编辑)等人,第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公司
Larsen,Kim G。 随机混合对策的安全、最优和紧凑策略的综合(受邀论文)。 (英语) Zbl 07649910号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第2条,第5页(2019年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen},LIPIcs——莱布尼茨国际程序。通知。140,第2条,第5页(2019年;Zbl 07649910) 全文: 内政部
阿姆诺·罗森曼 关于时间自动机之间的距离。 (英语) Zbl 1434.68287号 安德烈,埃蒂安(编辑)等,时间系统的形式化建模和分析。2019年8月27日至29日,荷兰阿姆斯特丹,第17届国际会议,FORMATS 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11750, 199-215 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rosenmann},莱克特。注释计算。科学。11750、199-215(2019年;Zbl 1434.68287) 全文: 内政部 arXiv公司
阿姆诺·罗森曼 时间自动机的时间戳。 (英语) Zbl 1434.68286号 安德烈,埃蒂安(编辑)等,时间系统的形式化建模和分析。2019年8月27日至29日,荷兰阿姆斯特丹,第17届国际会议,FORMATS 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11750, 181-198 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rosenmann},莱克特。注释计算。科学。11750、181--198(2019年;Zbl 1434.68286) 全文: 内政部 arXiv公司
Masaki Waga 半环值加权自动机在线定量时间模式匹配。 (英语) Zbl 1434.68695号 安德烈,埃蒂安(编辑)等,时间系统的形式化建模和分析。2019年8月27日至29日,荷兰阿姆斯特丹,第17届国际会议,FORMATS 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11750, 3-22 (2019).MSC公司:68周27 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{M.Waga},Lect。注释计算。科学。11750,3--22(2019年;Zbl 1434.68695) 全文: 内政部 arXiv公司
托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;阿米尔·普努利 从实时逻辑到时间自动机。 (英语) Zbl 1473.68107号 美国临床医学杂志 66,第3条,第19条,第31页(2019年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ferrère}等人,J.ACM 66,第3号,第19条,第31页(2019;Zbl 1473.68107) 全文: 内政部
埃蒂安·安德烈;劳伦·弗里堡;Jean-Marc的Mota;罗曼·苏拉特 使用抽象和参数模型检查验证工业异步领导者选举算法。 (英语) Zbl 1522.68293号 Enea,Constantin(编辑)等人,《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议,VMCAI 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11388, 409-424 (2019).MSC公司:60年第68季度 68M10个 64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,莱克特。注释计算。科学。11388、409--424(2019年;Zbl 1522.68293) 全文: 内政部 arXiv公司
朱凯;吴国庆;吴丽华;袁梦婷 重置时间自动机的几个问题的计算复杂性。 (中文。英文摘要) Zbl 1449.68049号 J.软件。 2033-2051(2019)第7期30号.MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhu}等人,J.Softw。30,编号72033-2051(2019;兹bl 1449.68049) 全文: 内政部
埃蒂安·安德烈;杰雷,贾维尔;萨哈尔·姆希里 Time4sys2imi:一种工具,用于形式化不确定性下的实时系统模型。 (英语) Zbl 07142672号 Hierons,Robert Mark(编辑)等人,《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日,第16届国际学术讨论会,突尼斯哈马马特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11884, 113-123 (2019).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,莱克特。注释计算。科学。11884、113-123(2019;Zbl 07142672) 全文: 内政部 arXiv公司
洛伦佐·克莱门特;萨沃米尔·拉索塔;兰科·拉齐奇;菲利普·马佐维耶基 时间寄存器下推自动机和分支向量加法系统的二进制可达性。 (英语) Zbl 1433.68194号 ACM事务处理。计算。日志。 第20条第3款第14条第31页(2019年).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,ACM Trans。计算。日志。20,第3号,第14条,第31页(2019年;Zbl 1433.68194) 全文: 内政部 链接
马特奥·扎瓦特里;卢卡·维甘诺 具有不确定性和决策的条件简单时间网络。 (英语) 兹比尔1434.68552 西奥。计算。科学。 797, 77-101 (2019).MSC公司:68T20型 65年第68季度 93个B03 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}和\textit{L.Vigan“},Theor。计算。科学。797,77-101(2019年;Zbl 1434.68552) 全文: 内政部 链接
波季莫夫,V.V。 一种分层时间自动机的扁平化算法。 (英语。俄语原件) Zbl 1423.68265号 计算。数学。模型。 30,第2期,99-106(2019); Prikl的翻译。材料信息59,5-15(2018)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Podymov},计算。数学。模型。30,编号2,99-106(2019;Zbl 1423.68265);Prikl的翻译。材料信息59,5-15(2018) 全文: 内政部
Masaki和加;一郎·哈索 海报摘要:Moore-machine定时和非定时模式匹配过滤。 (英语) Zbl 07120169号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。272-273 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Waga}和\textit{I.Hasuo},载于:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔市,2019年4月16日至18日。纽约州纽约市:计算机协会(ACM)。272--273(2019;Zbl 07120169) 全文: 内政部
何希明 使用自动机模式重新访问定时逻辑。 (英语) Zbl 07120142号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。67-76 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho},in:《第22届ACM混合系统国际会议论文集:计算与控制》,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。67-76(2019年;Zbl 07120142) 全文: 内政部 arXiv公司 链接
亚历克桑德拉·约瓦诺维奇;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 实时系统参数控制的博弈方法。 (英语) Zbl 1421.93017号 国际J.控制 92,第9期,2025-2036(2019).MSC公司:93个B03 93亿B50 91A80型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,国际期刊控制92,第9期,2025--2036(2019;Zbl 1421.93017) 全文: 内政部 哈尔
托马斯·布伦戈斯;马尔科·佩雷索蒂 定时系统的行为等效性。 (英语) Zbl 1407.68331号 日志。方法计算。科学。 15,第1号,第17号论文,第41页(2019).MSC公司:68问题85 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}和\textit{M.Peressotti},日志。方法计算。科学。15,第1号,第17号论文,41页(2019年;Zbl 1407.68331) 全文: arXiv公司
达米恩·布萨托·加斯顿;本杰明·蒙梅吉;皮埃尔·阿莱·雷尼尔 加权时间游戏的符号近似。 (英语) Zbl 1528.68178号 Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122,第28条,第16页(2018年)。MSC公司:65年第68季度 91A50型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Busatto-Gaston}等人,LIPIcs——莱布尼茨国际程序。通知。122,第28条,第16页(2018;Zbl 1528.68178) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);桑卡拉·纳拉亚南·克里希纳;Shaan Vaidya 验证定时异步程序。 (英语) Zbl 1528.68075号 Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122,第8条,第16页(2018年)。MSC公司:68纳米30 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。122,第8条,第16页(2018;Zbl 1528.68075) 全文: 内政部
刘易斯·托洛宁;法语,蒂姆;雷诺兹,马克 基于人口的方法优化时间自动机的无限行为。 (英语) Zbl 1487.68217号 Alechina,Natasha(编辑)等人,第25届时间表征与推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第22条,第22页(2018年)。MSC公司:68T20型 65年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{L.Tolonen}等人,LIPIcs——莱布尼茨国际程序。通知。120,第22条,22 p.(2018;Zbl 1487.68217) 全文: 内政部
F.塔姆萨乌埃。;阿玛里,S。 使用带有保护和(max,+)代数的时间自动机对网络控制系统进行建模和时间评估。 (英语) Zbl 1482.93235号 国际期刊系统。科学。,普林克。申请。系统。集成。 49,第10号,2073-2088(2018).MSC公司:93B70型 93元65角 93B25型 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Tamssaouet}和\textit{S.Amari},国际期刊系统。科学。,普林克。申请。系统。集成。49,第10号,2073--2088(2018;Zbl 1482.93235) 全文: 内政部
马西莫·巴托莱蒂;劳拉·博奇;莫里齐奥·穆尔吉亚 进展——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) 全文: 内政部