阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生 参数定时正则表达式的模式匹配和参数识别。 （英语） Zbl 07807955号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号文件，第13页（2023）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Mambakam}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号论文，第13页（2023；Zbl 07807955） 全文： 内政部 哈尔
埃蒂安·安德烈;莱姆，迪迪埃;奥利维尔·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-3253-290（2021；兹bl 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 p.（2020）.MSC公司：第68季度第60季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100459，22 p.（2020；Zbl 1494.68157） 全文： 内政部 arXiv公司
埃蒂安·安德烈;劳伦·弗里堡;Jean-Marc的Mota;罗曼·苏拉特 使用抽象和参数模型检查验证工业异步领导者选举算法。 （英语） Zbl 1522.68293号 Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11388, 409-424 (2019).MSC公司：第68季度第60季度 68M10个 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公司
彼得·贝兹克;尼古拉·贝内什;伊万娜·乔纳;JiříBarnat 时间自动机的时钟LTL参数综合。 （英语） Zbl 1395.68164号 J.日志。阿尔盖布。方法计划。 99, 114-142 (2018).MSC公司：65年第68季度 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bezděk}等人，J.Log。阿尔盖布。方法计划。99、114——142（2018；Zbl 1395.68164） 全文： 内政部
埃蒂安·安德烈;林尚伟 参数事件记录自动机的语言保存问题是不可判定的。 （英语） 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公司
丹尼尔·本达拉;乔尔·瓦克宁 关于参数定时自动机和单计数器机器。 （英语） Zbl 1362.68131号 Inf.计算。 253，第2部分，272-303（2017）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bundala}和\textit{J.Ouaknine}，Inf.Comput。253，第2部分，272--303（2017；Zbl 1362.68131） 全文： 内政部 链接
埃蒂安·安德烈;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 关于参数时间自动机的表示性。 （英语） Zbl 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） 全文： 内政部 哈尔
巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 参数度量时间间隔逻辑。 （英语） Zbl 1317.68112号 西奥。计算。科学。 564, 131-148 (2015).MSC公司：第68季度第60季度 03B25号 03B44号 05年3月 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Di Giampaolo}等人，Theor。计算。科学。564131-148（2015；Zbl 1317.68112） 全文： 内政部
孙友成;朱塞佩·利帕里;埃蒂安·安德烈;劳伦·弗里堡 面向实时组件的参数定时接口。 （英语） Zbl 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 1186.68245号 形式方法系统。设计。 35，第2期，121-151（2009）.MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{S.La Torre}，《形式方法系统》。设计。35，第2号，121--151（2009；Zbl 1186.68245） 全文： 内政部
劳伦特·多恩 时间自动机的鲁棒参数可达性。 （英语） Zbl 1184.68337号 信息处理。莱特。 102，第5号，208-213（2007）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}，Inf.流程。莱特。102，第5号，208--213（2007；Zbl 1184.68337） 全文： 内政部
中田昭夫;Tadaaki谷本;佐佐木素古鲁;东野东彦 参数时间间隔自动机的时间失效等价保持抽象。 （英语） Zbl 1098.68074号 发现的国际期刊。计算。科学。 17，第4期，833-849（2006）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakata}等人，国际法学研究所。计算。科学。17，No.4，833--849（2006；Zbl 1098.68074） 全文： 内政部
约瑟夫·米勒。 时间自动机和半线性混合自动机的可判定性和复杂性结果。 （英语） Zbl 0992.93050号 Lynch，Nancy（编辑）等人，《混合系统：计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1790, 296-309 (2000). 审核人：卡尔·海因茨·沃尔德曼（卡尔斯鲁厄） MSC公司：93元65角 65年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Miller}，莱克特。注释计算。科学。1790、296--309（2000年；Zbl 0992.93050）