雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾丁·戈尔（Ebru Aydin Gol）;伊万娜·乔纳 通过模型检查进行时间自动机稳健性分析。 （英语） Zbl 07577576号 日志。方法计算。科学。 18，第3号，第12号论文，32页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人，《日志》。方法计算。科学。18，第3号，第12号论文，32页（2022；Zbl 07577576） 全文： 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） 全文： 内政部
埃蒂安·安德烈 模仿者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 07350779号 日志。方法计算。科学。 17，第2号，第13号论文，67页（2021年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《日志》。方法计算。科学。17，第2号，第13号论文，67页（2021；Zbl 07350779） 全文： 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公司
埃蒂安·安德烈;杰瑞，贾维尔;萨哈尔·姆希里 Time4sys2imi：一种工具，用于形式化不确定性下的实时系统模型。 （英语） Zbl 07142672号 Hierons，Robert Mark（编辑）等人，《计算的理论方面——ICTAC 2019》。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 1291.68240号 形式方法系统。设计。 42，第2期，119-145（2013）.MSC公司：60年第68季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《形式方法系统》。设计。42，No.2，119--145（2013；Zbl 1291.68240） 全文： 内政部
Waez，Md Tawhid Bin;朱尔根·丁格尔;鲁迪、凯伦 实时系统开发中的时间自动机综述。 （英语） Zbl 1302.68180号 计算。科学。版次。 2013年1月9日至26日.MSC公司：65年第68季度 68问题55 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.T.B.Waez}等人，计算。科学。第9版，1-26（2013；Zbl 1302.68180） 全文： 内政部
埃蒂安·安德烈;罗曼·苏拉特 满足安全特性的时序参数的综合。 （英语） Zbl 1348.68117号 Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，31-44（2011）。MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{R.Soulat}，莱克特。注释计算。科学。6945，31-44（2011；Zbl 1348.68117） 全文： 内政部