帕特里夏·鲍耶;保罗·加斯廷;弗雷德里克·赫布雷托;奥坎·桑库尔;斯里瓦特桑，B。 时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；兹bl 07643426） 全文： DOI程序 arXiv公司
马丁·科尔布尔;斯特凡·洛伊;托马斯·怀斯 定时系统的自动修复。 （英语） 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） 全文： DOI程序
阿克西，S。;保罗·加斯廷;Karthik 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） 全文： DOI程序 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{埃里·安德烈}，莱克特。注释计算。科学。12759552-565（2021年；兹比尔1493.68202） 全文： DOI程序
伊丽莎白·德·玛丽亚;Cinzia迪朱斯托;莱蒂蒂亚·拉弗萨 建模为时间自动机的尖峰神经网络：具有参数学习。 （英语） 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） 全文： DOI程序 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}，莱克特。注释计算。科学。12078、425--443（2020年；Zbl 1507.68200） 全文： DOI程序
巴雷西，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） 全文： DOI程序 链接
R.戈文德。;弗雷德里克·赫布雷托;斯里瓦特桑，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） 全文： DOI程序 arXiv公司
马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 定时正则语言的逻辑特征。 （英语） Zbl 1355.68150号 西奥。计算。科学。 658，A部分，46-59（2017）.MSC公司：65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人，Theor。计算。科学。658，A部分，46-59（2017；Zbl 1355.68150） 全文： DOI程序