Reiya Noguchi；奥坎·桑库尔；蒂埃里·杰伦；尼古拉斯·马基；戴维·曼特雷 修复实时需求。 （英语） Zbl 1522.68338号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13505, 371-387 (2022).MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Noguchi}等人，Lect。票据计算。科学。13505371--387（2022年；Zbl 1522.68338） 全文： 内政部 哈尔
马蒂厄·雷纳德；伊利耶斯·法尔科内；安托万·罗莱；蒂埃里·杰伦；埃尔文·马尔坎德 具有不可控事件的（定时）属性的最佳实施。 （英语） Zbl 1407.68299号 数学。结构。计算。科学。 第169-214号第29页（2019年）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人，数学。结构。计算。科学。29，第1号，169--214（2019；Zbl 1407.68299） 全文： 内政部
利奥·亨利；蒂埃里·杰伦；尼古拉斯·马基 定时系统离线测试的控制策略。 （英语） Zbl 1508.68221号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10869, 171-189 (2018).MSC公司：第68季度第60季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Henry}等人，Lect。票据计算。科学。10869、171--189（2018；Zbl 1508.68221） 全文： 内政部 arXiv公司 哈尔
斯里尼瓦斯·皮尼塞蒂；普洛塔萨，维奥雷尔；斯塔夫罗斯·特里帕基斯；蒂埃里·杰伦；伊利耶斯·法尔科内；埃尔文·马尔坎德 预测运行时强制。 （英语） Zbl 1370.68207号 形式方法系统。设计。 51，第1期，154-199（2017）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人，《形式方法系统》。设计。51，第1号，154--199（2017；Zbl 1370.68207） 全文： 内政部 哈尔
马蒂厄·雷纳德；伊利耶斯·法尔科内；安托万·罗莱；斯里尼瓦斯·皮尼塞蒂；蒂埃里·杰伦；埃尔文·马尔坎德 使用不可控事件强制执行（定时）属性。 （英语） Zbl 1407.68300号 Leucker，Martin（编辑）等人，《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会，哥伦比亚卡利，2015年10月29日至31日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9399, 542-560 (2015).MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Renard}等人，Lect。票据计算。科学。9399542-560（2015年；兹比尔1407.68300） 全文： 内政部 哈尔
斯里尼瓦斯·皮尼塞蒂；伊利耶斯·法尔科内；蒂埃里·杰伦；埃尔文·马尔坎德；安托万·罗莱；奥马尔·恩格纳·蒂莫 已重新访问定时属性的运行时强制。 （英语） Zbl 1314.68102号 形式方法系统。设计。 45，第3期，381-422（2014）.MSC公司：68号30 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人，《形式方法系统》。设计。45，第3号，381--422（2014；Zbl 1314.68102） 全文： 内政部 哈尔
Nathalie Bertrand；蒂埃里·杰伦；阿梅利·施泰纳；莫伊斯·克里钦 非确定性时间自动机的离线测试选择和测试目的。 （英语） Zbl 1248.68319号 日志。方法计算。科学。 8，第4号，第9号论文，33页（2012年）.MSC公司：第68季度第60季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，日志。方法计算。科学。8，第4号，第9号论文，33页（2012；Zbl 1248.68319） 全文： 内政部
Nathalie Bertrand；蒂埃里·杰伦；阿梅利·施泰纳；莫伊斯·克里钦 非确定性时间自动机的离线测试选择和测试目的。 （英语） Zbl 1315.68082号 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记660596-111（2011）。MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，Lect。票据计算。科学。660596-111（2011年；Zbl 1315.68082） 全文： 内政部 arXiv公司
Nathalie Bertrand；阿梅利·施泰纳；蒂埃里·杰伦；莫伊斯·克里钦 确定时间自动机的博弈方法。 （英语） Zbl 1326.68173号 马丁·霍夫曼（编辑），《软件科学和计算结构基础》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011，是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19804-5/pbk）。计算机科学讲座笔记6604，245-259（2011）。MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，Lect。票据计算。科学。6604245--259（2011；Zbl 1326.68173） 全文： 内政部
蒂埃里·杰伦 基于符号模型的测试选择。 （英语） Zbl 1347.68228号 Patricia D.L.Machado（编辑），第十一届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，167-184（2009）。MSC公司：第68季度第60季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Téron}，电子。注释Theor。计算。科学。240、167--184（2009年；Zbl 1347.68228） 全文： 内政部
贝特朗·珍妮特；蒂埃里·杰伦；弗拉德·鲁苏 无限状态反应系统的基于模型的测试选择。 （英语） 兹比尔1147.68572 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。《计算机科学讲义》4709，47-69（2007）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jeannet}等人，Lect。票据计算。科学。4709、47--69（2007年；Zbl 1147.68572） 全文： 内政部 链接
艾哈迈德·库姆西；蒂埃里·杰伦；埃尔文·马尔坎德 非确定性实时系统的测试用例生成。 （英语） Zbl 1185.68415号 Petrenko，Alexandre（编辑）等人，软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会，FATES 2003。修订论文。柏林：施普林格出版社（ISBN 3-540-20894-1/pbk）。莱克特。票据计算。科学。2931, 131-146 (2004).MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Khoumsi}等人，Lect。票据计算。科学。2931、131--146（2004年；Zbl 1185.68415） 全文： 内政部