帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan,B。 时间自动机的分区验证:外推、模拟和下一步? (英语) Zbl 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公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Lect。注释计算。科学。12759619--642(2021年;Zbl 1493.68181) 全文: 内政部 arXiv公司
阿克西,S。;保罗·加斯丁;克里希纳,S。;斯巴萨罗伊乔杜里 重温多下推系统的近似可达性。 (英语) Zbl 1507.68080号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 387-404 (2020).MSC公司:68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Lect。注释计算。科学。12078、387--404(2020;Zbl 1507.68080) 全文: 内政部 arXiv公司
保罗·加斯丁;赛扬·穆克吉;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公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人,LIPIcs——莱布尼茨国际程序。通知。118,第28条,第17页(2018;Zbl 1520.68057) 全文: 内政部 arXiv公司
阿克西,S。;保罗·加斯丁;桑卡拉·纳拉亚南·克里希纳 使用树自动机分析定时系统。 (英语) Zbl 1398.68290号 日志。方法计算。科学。 14,第2号,第8号论文,35页(2018年).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,日志。方法计算。科学。14,第2号,第8号论文,35页(2018;Zbl 1398.68290) 全文: 内政部 arXiv公司
阿克西,S。;保罗·加斯丁;桑卡拉·纳拉亚南·克里希纳;伊利亚斯·萨卡尔 面向一种高效的基于树自动机的定时系统技术。 (英语) Zbl 1442.68123号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第39条,第15页(2017)。MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,LIPIcs——莱布尼茨国际程序。通知。85,第39条,第15页(2017年;Zbl 1442.68123) 全文: 内政部 arXiv公司
阿克西,S。;保罗·加斯丁;桑卡拉·纳拉亚南·克里希纳 使用树自动机分析定时系统。 (英语) Zbl 1392.68212号 Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学学报59,第27条,第14页(2016年)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,LIPIcs——莱布尼茨国际程序。通知。59,第27条,第14页(2016;Zbl 1392.68212) 全文: 内政部
阿克西,S。;保罗·加斯丁;马达瓦恩·穆昆德;K.Narayan Kumar 检查基于时间限制的场景规范的一致性。 (英语) 兹比尔1328.68124 西奥。计算。科学。 594, 24-43 (2015).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Theor。计算。科学。594,24-43(2015;Zbl 1328.68124) 全文: 内政部
阿克西,S。;贝内迪克特·博利格;保罗·加斯丁 事件时钟消息传递自动机:逻辑特征和空性检查算法。 (英语) Zbl 1291.68239号 形式方法系统。设计。 42,第3期,262-300(2013).MSC公司:60年第68季度 第68季度第45季度 03B70号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,《形式方法系统》。设计。42,第3号,262--300(2013;Zbl 1291.68239) 全文: 内政部
贝拉德,贝特里奇;保罗·加斯丁;安托万·佩蒂特 常规信号事件语言的定时替换。 (英语) Zbl 1129.68038号 形式方法系统。设计。 31,第2期,101-134(2007).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。31,第2号,101--134(2007;Zbl 1129.68038) 全文: 内政部
贝拉德,贝特里奇;安托万·佩蒂特;沃尔克·迪克特;保罗·加斯丁 描述时间自动机中无声转换的表达能力。 (英语) Zbl 0930.68077号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 36,第2-3号,145-182(1998).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.36,No.2--3,145--182(1998;Zbl 0930.68077)