蒂埃里·杰伦
人员信息
优化列表
2020年–今天
2024 [i6] 奥坎·桑库尔 , 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 , 野口惠亚 :
基于需求的在线测试综合:用博弈论加强强化学习。 CoRR公司 abs/2407.18994 ( 2024 ) 2023 [第52条] 索米亚·尚卡尔 , 斯里尼瓦斯·皮尼塞蒂 , 蒂埃里·杰伦 :
定时属性的有界内存运行时强制。 时间 2023 : 6:1-6:22 2022 [公元21年] 莱奥·亨利 , 蒂埃里·杰伦 , 尼古拉斯·马基 :
定时系统离线测试的控制策略。 形式方法系统。 设计。 60 ( 2 ) : 147-194 ( 2022 ) [第51条] 野口惠亚 , 奥坎·桑库尔 , 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 :
修复实时要求。 ATVA公司 2022 : 371-387 2021 [公元20年] 帕特里夏·鲍耶 , 莱奥·亨利 , 萨米·贾齐里 , 蒂埃里·杰伦 , 尼古拉斯·马基 :
使用时间标记诊断时间自动机。 国际期刊软件。 工具技术。 Transf公司。 23 ( 2 ) : 229-253 ( 2021 ) 2020 [公元50年] 艾米丽·克莱门特 , 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 :
非循环时间自动机中最大允许策略的计算。 格式 2020 : 111-126 [公元49年] 莱奥·亨利 , 蒂埃里·杰伦 , 尼古拉斯·马基 :
具有不可观测重置的时间自动机主动学习。 格式 2020 : 144-160 [公元48年] 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 , 野口惠亚 , 奥坎·桑库尔 :
用于检查实时一致性的增量方法。 格式 2020 : 249-264 [i5] 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 , 野口惠亚 , 奥坎·桑库尔 :
用于检查实时一致性的增量方法。 CoRR公司 abs/2007.01014 ( 2020 ) [i4] 莱奥·亨利 , 尼古拉斯·马基 , 蒂埃里·杰伦 :
具有不可观察重置的时间自动机的主动学习。 CoRR公司 abs/2007.01637 ( 2020 ) [i3] 艾米丽·克莱门特 , 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 :
计算非循环时间自动机中的最大允许策略。 CoRR公司 abs/2007.01815 ( 2020 )
2010 – 2019
2019 [j19] 马蒂厄·雷纳德 , 伊利耶斯·法尔科内 , 安托万卷轴 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
具有不可控事件的(定时)属性的最佳实施。 数学。 结构。 计算。 科学。 29 ( 1 ) : 169-214 ( 2019 ) [公元47年] Anh Pham , 蒂埃里·杰伦 , 马丁·昆森 :
基于展开的异步分布式程序动态部分降阶。 复地 2019 : 224-241 2018 [公元46年] 莱奥·亨利 , 蒂埃里·杰伦 , 尼古拉斯·马基 :
定时系统离线测试的控制策略。 自旋蛋白 2018 : 171-189 [i2] 莱奥·亨利 , 蒂埃里·杰伦 , 尼古拉斯·马基 :
定时系统离线测试的控制策略。 CoRR公司 abs/1804.11234 ( 2018 ) 2017 [公元18年] 斯里尼瓦斯·皮尼塞蒂 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 , 蒂埃里·杰伦 , 伊利耶斯·法尔科内 , 埃尔维·马尔坎德 :
预测运行时强制。 形式方法系统。 设计。 51 ( 1 ) : 154-199 ( 2017 ) [公元17年] 斯里尼瓦斯·皮尼塞蒂 , 蒂埃里·杰伦 , 斯塔夫罗斯·特里帕基斯 , 伊利耶斯·法尔科内 , 埃尔维·马尔坎德 , 紫罗兰Preoteasa :
定时属性的预测运行时验证。 J.系统。 柔和。 132 : 353-365 ( 2017 ) [c45] Anh Pham , 蒂埃里·杰伦 , 马丁·昆森 :
使用SimGridMC验证MPI应用程序。 正确性@SC 2017 : 28-33 2016 [公元16年] 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 斯里尼瓦斯·皮尼塞蒂 :
通过抑制和延迟事件来强制执行常规定时属性。 科学。 计算。 程序。 123 : 2-41 ( 2016 ) [公元44年] 斯里尼瓦斯·皮尼塞蒂 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 , 蒂埃里·杰伦 , 伊利耶斯·法尔科内 , 埃尔维·马尔坎德 :
预测运行时强制。 囊 2016 : 1628-1633 2015 [公元15年] 纳塔莉·贝特朗 , 阿梅利·斯塔纳 , 蒂埃里·杰伦 , 莫伊斯·克里钦 :
确定时间自动机的博弈方法。 形式方法系统。 设计。 46 ( 1 ) : 42-80 ( 2015 ) [公元43年] 马蒂厄·雷纳德 , 伊利耶斯·法尔科内 , 安托万卷轴 , 斯里尼瓦斯·皮尼塞蒂 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
使用不可控事件强制执行(定时)属性。 ICTAC公司 2015 : 542-560 [公元42年] 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
TiPEX:执行期间用于定时属性执行的工具链。 RV汽车 2015 : 306-320 2014 [公元14年] 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , HervéMarchand侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵侯爵 , 安托万卷轴 , 奥马尔·恩格纳·蒂莫 :
已重新访问定时属性的运行时强制。 形式方法系统。 设计。 45 ( 三 ) : 381-422 ( 2014 ) [j13] 塞巴斯蒂安·切多尔 , 蒂埃里·杰伦 , 克里斯托夫·莫尔万 :
从递归平铺系统生成测试。 柔和。 测试。 验证可靠性。 24 ( 7 ) : 532-557 ( 2014 ) [公元41年] 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
常规定时属性的运行时强制。 囊 2014 : 1279-1286 [公元40年] 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
参数定时属性的运行时强制及其实际应用。 WODES公司 2014 : 420-427 2013 [i1] 蒂埃里·杰伦 , 玛格斯·维恩斯 , 伯克哈特·沃尔夫 :
测试中的符号方法(Dagstuhl研讨会13021)。 达格斯图尔报告 三 ( 1 ) : 1-29 ( 2013 ) 2012 [公元12年] 纳塔莉·贝特朗 , 蒂埃里·杰伦 , 阿梅利·斯塔纳 , 莫伊斯·克里钦 :
非确定性时间自动机的离线测试选择与测试目的。 日志。 方法计算。 科学。 8 ( 4 ) ( 2012 ) [公元11年] 伊利耶斯·法尔科内 , Jean-Claude费尔南德斯 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 劳伦特·穆尼尔 :
更多可测试属性。 国际期刊软件。 工具技术。 Transf公司。 14 ( 4 ) : 407-437 ( 2012 ) [公元39年] 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 安托万卷轴 , 奥马尔·兰德里·恩格纳·蒂莫 :
定时属性的运行时强制。 RV汽车 2012 : 229-244 [公元38年] 塞巴斯蒂安·切多尔 , 蒂埃里·杰伦 , 克里斯托夫·莫尔万 :
递归瓦系统的测试生成。 攻丝@工具 2012 : 99-114 2011 [公元37年] 纳塔莉·贝特朗 , 阿梅利·斯塔纳 , 蒂埃里·杰伦 , Moez Krichen公司 :
确定时间自动机的博弈方法。 FoSSaCS公司 2011 : 245-259 [公元36年] 安德拉德的威尔克森 , 帕特里夏·D·L·马查多 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
实时系统一致性测试的时间和数据抽象。 ICST研讨会 2011 : 9-17 [公元35年] 纳塔莉·贝特朗 , 蒂埃里·杰伦 , 阿梅利·斯塔纳 , 莫伊斯·克里钦 :
非确定时间自动机的离线测试选择及其测试目的。 TACAS公司 2011 : 96-111 2010 [公元34年] 伊利耶斯·法尔科内 , Jean-Claude费尔南德斯 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 劳伦特·穆尼尔 :
更多可测试属性。 图片集 2010 : 30-46
2000 – 2009
2009 [公元33年] 杰雷米·杜布雷尔 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
通过诊断技术监控机密性。 ECC公司 2009 : 2584-2589 [公元32年] 埃尔维·马尔坎德 , 杰雷米·杜布雷尔 , 蒂埃里·杰伦 :
安全属性访问控制的自动测试。 测试通信/命运 2009 : 113-128 2008 [公元31年] 蒂埃里·杰伦 :
基于符号模型的测试选择。 SBMF公司 2008 : 167-184 2007 [公元10年] 西蒙·皮金 , 克劳德·贾德 , 蒂埃里·杰伦 , Jean-Marc Jézéquel女士 , 伊夫·勒特朗 :
基于分布式软件UML模型的测试合成。 IEEE传输。 软件工程。 33 ( 4 ) : 252-269 ( 2007 ) [公元9年] 卡米尔常数 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 弗拉德·鲁苏 :
集成反应系统的正式验证和一致性测试。 IEEE传输。 软件工程。 33 ( 8 ) : 558-574 ( 2007 ) [公元30年] 卡米尔常数 , 伯特兰·珍妮特 , 蒂埃里·杰伦 :
根据过程间规范自动生成测试。 测试通信/命运 2007 : 41-57 2006 [公元29年] 特里斯坦·勒加尔 , 伯特兰·珍妮特 , 蒂埃里·杰伦 :
使用FIFO队列的抽象解释验证通信协议。 AMAST公司 2006 : 204-219 [公元28年] 伯特兰·珍妮特 , 蒂埃里·杰伦 , 弗拉德·鲁苏 :
无限状态无功系统的基于模型的测试选择。 FMCO公司 2006 : 47-69 [公元27年] 蒂埃里·杰伦 :
无限状态无功系统的基于模型的测试选择。 DIPES公司 2006 : 35-44 [公元26年] 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 弗拉德·鲁苏 :
扩展自动机的符号确定性。 IFIP TCS 2006 : 197-212 2005 [j8] 克劳德·贾德 , 蒂埃里·杰伦 :
TGV:理论、原理和算法。 国际期刊软件。 工具技术。 Transf公司。 7 ( 4 ) : 297-315 ( 2005 ) [公元25年] 弗拉德·鲁苏 , 埃尔维·马尔坎德 , 蒂埃里·杰伦 :
用于验证反应系统安全特性的自动验证和一致性测试。 FM公司 2005 : 189-204 [公元24年] 伯特兰·珍妮特 , 蒂埃里·杰伦 , 弗拉德·鲁苏 , 埃琳娜·齐诺维耶娃 :
基于近似分析的符号测试选择。 TACAS公司 2005 : 349-364 2004 【c23】 弗拉德·鲁苏 , 埃尔维·马尔坎德 , Valéry Tschaen女士 , 蒂埃里·杰伦 , 伯特兰·珍妮特 :
从安全验证到安全测试。 测试通信 2004 : 160-176 2003 [公元22年] 艾哈迈德·库姆西 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
非确定性实时系统的测试用例生成。 命运 2003 : 131-146 2002 [j7] 蒂埃里·杰伦 :
TGV:原理与算法。 联合国系统自动化测试系统。 技术科学。 信息类 21 ( 9 ) : 1265-1294 ( 2002 ) 【c21】 西蒙·皮金 , 克劳德·贾德 , 伊夫·勒特朗 , 蒂埃里·杰伦 , Jean-Marc Jézéquel女士 , 阿兰·勒甘内克 :
基于分布式软件UML模型的系统测试综合。 复地 2002 : 97-113 [公元20年] 邓肯·克拉克 , 蒂埃里·杰伦 , 弗拉德·鲁苏 , 埃琳娜·齐诺维耶娃 :
STG:符号测试生成工具。 TACAS公司 2002 : 470-475 2001 [第19条] 邓肯·克拉克 , 蒂埃里·杰伦 , 弗拉德·鲁苏 , 埃琳娜·齐诺维耶娃 :
智能卡应用程序的自动化测试和Oracle生成。 电子智能 2001 : 58-70 [第18条] 邓肯·克拉克 , 蒂埃里·杰伦 , 弗拉德·鲁苏 , 埃琳娜·齐诺维耶娃 :
STG:根据操作规范生成符号测试程序和预言的工具。 ESEC/SIGSOFT FSE 2001 : 301-302 2000 [j6] 克劳德·贾德 , 蒂埃里·杰伦 :
协议验证和分布式观测中的教育案例研究。 计算。 科学。 教育。 10 ( 三 ) : 203-224 ( 2000 ) [j5] 马吕斯·博兹加 , Jean-Claude费尔南德斯 , 卢西安·吉尔武 , 克劳德·贾德 , 蒂埃里·杰伦 , 阿兰·科布拉特 , 皮埃尔·莫瑞尔 , 劳伦特·穆尼尔 :
SSCOP协议的验证和测试生成。 科学。 计算。 程序。 36 ( 1 ) : 27-52 ( 2000 ) 【j4】 伊夫·勒特朗 , 蒂埃里·杰伦 , Jean-Marc Jézéquel女士 , 皮埃尔·莫瑞尔 :
高效的面向对象集成和回归测试。 IEEE传输。 Reliab公司。 49 ( 1 ) : 12-25 ( 2000 ) [第17条] 弗拉德·鲁苏 , 莱迪·杜·布斯克(Lydie du Bousquet) , 蒂埃里·杰伦 :
符号测试生成方法。 国际单项体育联合会 2000 : 338-357 [第16条] 克劳德·贾德 , 蒂埃里·杰伦 , 皮埃尔·莫瑞尔 :
测试套件的验证。 测试通信 2000 : 3-18
1990 – 1999
1999 [第15条] 蒂埃里·杰伦 , 皮埃尔·莫瑞尔 :
从模型检查派生的测试生成。 腔静脉 1999 : 108-121 [第14条] 克劳德·贾德 , 蒂埃里·杰伦 , 莱奈克·坦古伊 , 塞萨尔·维霍 :
远程测试可以像本地测试一样强大。 复地 1999 : 25-40 [第13条] 蒂埃里·杰伦 , Jean-Marc Jézéquel女士 , 伊夫·勒特朗 , 皮埃尔·莫瑞尔 :
OO系统集成和回归测试的有效策略。 ISSRE公司 1999 : 260-269 [第12条] 阿兰·科布拉特 , 蒂埃里·杰伦 , 罗兰·格罗兹 :
根据SDL规范自动生成测试。 SDL论坛 1999 : 135-152 1998 [第11条] 克劳德·贾德 , 蒂埃里·杰伦 , 哈基姆·卡卢什 , 塞萨尔·维霍 :
面向分布式一致性测试测试仪的自动分布。 复地 1998 : 353-368 [第10条] 蒂埃里·杰伦 , Jean-Marc Jézéquel女士 , 阿兰·勒甘内克 :
面向对象分布式软件的验证和测试生成。 PDSE公司 1998 : 51-60 1997 [j3] Jean-Claude费尔南德斯 , 克劳德·贾德 , 蒂埃里·杰伦 , 塞萨尔·维霍 :
使用验证技术自动生成协议测试套件的实验。 科学。 计算。 程序。 29 ( 1-2 ) : 123-146 ( 1997 ) 1996 【c9】 Jean-Claude费尔南德斯 , 克劳德·贾德 , 蒂埃里·杰伦 , 塞萨尔·维霍 :
使用即时验证技术生成测试套件。 腔静脉 1996 : 348-359 【c8】 Yves-Marie Quemener公司 , 蒂埃里·杰伦 :
用图文法有限表示CFSM的无限可达图。 复地 1996 : 364-379 1995 【c7】 Yves-Marie Quemener公司 , 蒂埃里·杰伦 :
由简单图文法定义的无限Kripke结构的模型检查。 赛格拉 1995 : 222-229 1994 【c6】 蒂埃里·杰伦 , 克劳德·贾德 :
通信过程可达性图的3D布局。 GD公司 1994 : 25-32 [c5] 克劳德·贾德 , 蒂埃里·杰伦 , 盖·温森特·朱尔丹 , Jean-Xavier坡道 :
分布式计算系统中跟踪检查的一般方法。 ICDCS系统 1994 : 396-403 1993 [注2] 蒂埃里·杰伦 , 克劳德·贾德 :
FIFO通道的无限性测试。 西奥。 计算。 科学。 113 ( 1 ) : 93-117 ( 1993 ) 1992 [j1] Jean-Claude费尔南德斯 , 劳伦特·穆尼尔 , 克劳德·贾德 , 蒂埃里·杰伦 :
有限过渡系统的现场验证。 形式方法系统。 设计。 1 ( 2/3 ) : 251-273 ( 1992 ) 1991 【c4】 克劳德·贾德 , 蒂埃里·杰伦 :
用于实时验证的有界记忆算法。 腔静脉 1991 : 192-202 【c3】 蒂埃里·杰伦 :
FIFO通道无边界测试。 STACS公司 1991 : 322-333 【c2】 蒂埃里·杰伦 :
验证工具原型。 STACS公司 1991 : 541-542
1980 – 1989
1989 【c1】 克劳德·贾德 , 蒂埃里·杰伦 :
有限线性时序逻辑规范的在线模型检查。 有限状态系统的自动验证方法 1989 : 189-196