埃蒂安·安德烈;玛丽奥、迪伦;劳雷·佩特鲁奇;范德波尔（Jaco van de Pol） 参数时间自动机中的有效凸区域合并。 （英语） Zbl 07643436号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 200-218 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，莱克特。注释计算。科学。13465，200-218（2022；Zbl 07643436） 全文： 内政部 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 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 1520.93344号 芬达姆。通知。 182，第1期，31-67（2021）.MSC公司：93C85号 60年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，Fundam。通知。182，编号1，31-67（2021；Zbl 1520.93344） 全文： 内政部 arXiv公司
埃蒂安·安德烈;詹姆·阿里亚斯;劳雷·佩特鲁奇;范德波尔（Jaco van de Pol） 参数时间自动机中有效循环检测的迭代有界综合。 （英语） Zbl 1467.68078号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 311-329 (2021).MSC公司：65年第68季度 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，莱克特。注释计算。科学。12651、311--329（2021；Zbl 1467.68078） 全文： 内政部
埃蒂安·安德烈;莱姆，迪迪埃;马蒂亚斯·拉普拉森 参数时间自动机中的参数更新。 （英语） 兹比尔07350779 日志。方法计算。科学。 17，第2号，第13号文件，第67页（2021）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《日志》。方法计算。科学。17，第2号，第13号论文，67页（2021；Zbl 07350779） 全文： arXiv公司 链接
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 （英语） 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公司
埃蒂安·安德烈;莱姆，迪迪埃;马蒂亚斯·拉普拉森 参数时间自动机中的参数更新。 （英语） Zbl 07800277号 Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 39-56 (2019).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，莱克特。注释计算。科学。11535，39-56（2019；Zbl 07800277） 全文： 内政部 哈尔
埃蒂安·安德烈;孙骏 参数定时模型检查，以保证定时不透明度。 （英语） Zbl 1437.68110号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 115-130 (2019).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{J.Sun}，莱克特。注释计算。科学。11781、115-130（2019年；Zbl 1437.68110） 全文： 内政部 arXiv公司 链接
埃蒂安·安德烈 参数时间自动机的决定因素是什么？ （英语） Zbl 1396.68064号 Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。计算机和信息科学通信596，52-68（2016）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃里·安德烈}，Commun。计算。信息科学。596、52-68（2016；Zbl 1396.68064） 全文： 内政部 arXiv公司
埃蒂安·安德烈 参数死锁-自由检查时间自动机。 （英语） Zbl 1482.68132号 Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 469-478 (2016).MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·安德烈}，莱克特。注释计算。科学。9965469-478（2016年；Zbl 1482.68132） 全文： 内政部
埃蒂安·安德烈;穆罕默德·马赫迪·本穆萨;克莉丝汀，杂乱无章 使用彩色Petri网对并发UML状态机进行形式化。 （英语） Zbl 1345.68226号 正式Asp。计算。 28，第5期，805-845（2016）.MSC公司：68问题85 68问题55 60年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit｛É.André｝等人，正式Asp。计算。28，第5号，805--845（2016；Zbl 1345.68226） 全文： 内政部
埃蒂安·安德烈;尼古拉斯·马基 参数时间自动机中的语言保存问题。 （英语） Zbl 1465.68129号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 27-43 (2015).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{N.Markey}，莱克特。注释计算。科学。9268，27-43（2015；Zbl 1465.68129） 全文： 内政部 arXiv公司
埃蒂安·安德烈;刘，杨;孙骏;董金松 分层并发实时系统的参数综合。 （英语） Zbl 1314.68081号 实时系统。 50，编号5-6，620-679（2014）.MSC公司：68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《实时系统》。50、编号5--6、620--679（2014；Zbl 1314.68081） 全文： 内政部 链接
埃蒂安·安德烈;劳伦·弗里堡;杰里米·斯普洛斯顿 将逆方法推广到概率时间自动机。 （英语） 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） 全文： 内政部