埃蒂安·安德烈;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 参数时间自动机的可达性和生存性。 (英语) Zbl 07566044号 日志。计算方法。科学。 18,第1号,第31号论文,41页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。计算方法。科学。18,第1号,第31号论文,41页(2022;Zbl 07566044) 全文: arXiv公司 链接
埃蒂安·安德烈;黄家阮;劳雷·佩特鲁奇;孙骏 非零度假设下的分布式参数模型检验时间自动机。 (英语) Zbl 1522.68294号 形式方法系统。设计。 59,编号1-3,253-290(2021).MSC公司:第68季度第60季度 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公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·安德烈},莱克特。注释计算。科学。12759、552--565(2021;Zbl 1493.68202) 全文: 内政部
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森;玛丽·斯托琳加 攻击故障树的参数分析。 (英语) 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公司
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森 参数时间自动机中的参数更新。 (英语) Zbl 07350779号 日志。计算方法。科学。 17,第2号,第13号论文,67页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。计算方法。科学。17,第2号,第13号论文,67页(2021;Zbl 07350779) 全文: arXiv公司 链接
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 (英语) Zbl 1494.68157号 J.日志。代数。方法计划。 110,文章ID 100459,第22页(2020).MSC公司:第68季度第60季度 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公司
埃蒂安·安德烈;劳伦·弗里堡;Jean-Marc的Mota;罗曼·苏拉特 使用抽象和参数模型检查验证工业异步领导者选举算法。 (英语) Zbl 1522.68293号 Enea,Constantin(编辑)等人,《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议,VMCAI 2019。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11388, 409-424 (2019).MSC公司:第68季度第60季度 68米10 64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,莱克特。注释计算。科学。11388、409--424(2019年;Zbl 1522.68293) 全文: 内政部 arXiv公司
埃蒂安·安德烈;杰瑞,贾维尔;萨哈尔·姆希里 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 1457.68137号 信息处理。莱特。 136, 17-20 (2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{S.-W.林},《信息处理》。莱特。136、17-20(2018;Zbl 1457.68137) 全文: 内政部 arXiv公司
埃蒂安·安德烈;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 关于参数时间自动机的表示性。 (英语) 兹比尔1433.68227 Fränzle,Martin(编辑)等人,《时间系统的形式化建模和分析》。2016年8月24日至26日,加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9884, 19-34 (2016).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,莱克特。注释计算。科学。9884,19-34(2016;Zbl 1433.68227) 全文: 内政部 哈尔
孙友成;朱塞佩·利帕里;埃蒂安·安德烈;劳伦·弗里堡 面向实时组件的参数定时接口。 (英语) 兹比尔1464.68037 André,ed tienne(编辑)等人,《第一届连续参数合成国际研讨会论文集》,SynCoP’14,法国格勒诺布尔,2014年4月6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)145,49-64(2014)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sun}等人,《电子》。程序。西奥。计算。科学。(EPTCS)145,49--64(2014;Zbl 1464.68037) 全文: arXiv公司 链接
埃蒂安·安德烈;劳伦·弗里堡;杰里米·斯普洛斯顿 将逆方法推广到概率时间自动机。 (英语) Zbl 1291.68240号 形式方法系统。设计。 42,第2期,119-145(2013).MSC公司:第68季度第60季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《形式方法系统》。设计。42,No.2,119--145(2013;Zbl 1291.68240) 全文: 内政部
埃蒂安·安德烈;罗曼·苏拉特 合成满足安全特性的定时参数。 (英语) Zbl 1348.68117号 Delzanno,Giorgio(编辑)等人,《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24287-8/pbk)。计算机科学课堂讲稿6945,31-44(2011)。MSC公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{É.André}和\textit{R.Soulat},Lect。注释计算。科学。6945,31-44(2011;Zbl 1348.68117) 全文: 内政部
埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 参数时间自动机的逆方法。 (英语) Zbl 1337.68150号 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223,29-46(2008)。MSC公司:65年第68季度 第68季度第60季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《电子》。注释Theor。计算。科学。223,29-46(2008年;兹bl 1337.68150) 全文: 内政部