Radu Mateescu公司 0001
人员信息
附属: Inria Grenoble-法国阿尔卑斯罗纳 授予(2023年): ETAPS时间测试工具奖 授予(2021年): Inria-科学院-达索系统创新奖
其他同名人员
Radu Mateescu公司 0002 -IBM加拿大
优化列表
2020年–今天
2024 [公元71年] 菲利普·莱登特 , Radu Mateescu公司 , 温德林·塞维 :
测试系统芯片架构的资源隔离。 MARS@ETAPS(预计到达时间) 2024 : 129-168 2023 [公元24年] 让-巴蒂斯特·霍雷尔 , 菲利普·莱登特 , 利娜·马尔索 , 露西·穆勒 , 克里斯蒂安·劳吉尔 , Radu Mateescu公司 , 安舒尔·佩格瓦尔 , 亚历山德罗·伦扎利亚 , 温德林·塞维 :
使用从形式化模型导出的自动驾驶场景验证碰撞风险估计。 J.智力。 机器人系统。 107 ( 4 ) : 59 ( 2023 ) 2022 [公元23年] 弗朗西斯科·杜兰 , 阿杰·克里希纳 , 米歇尔·勒·帕莱克 , Radu Mateescu公司 , 格温·萨拉恩 :
基于规则的物联网应用程序的用户驱动重新配置模型和分析。 互联网事物 19 : 100515 ( 2022 ) [公元22年] 阿杰·克里希纳 , 米歇尔·勒·帕莱克 , Radu Mateescu公司 , 格温·萨拉恩 :
设计和部署表达正确的物联网应用程序。 ACM事务处理。 互联网事物 三 ( 1 ) : 1:1-1:30 ( 2022 ) [公元70年] Jean-Baptiste霍雷尔 , 克里斯蒂安·劳吉尔 , 利娜·马尔索 , Radu Mateescu公司 , 露西·穆勒 , 安舒尔·佩格瓦尔 , 亚历山德罗·伦扎利亚 , 温德林·塞维 :
使用形式一致性测试为自动车辆生成场景。 日期 2022 : 532-537 [公元69年] 利娜·马尔索 , Radu Mateescu公司 , 露西·穆勒 , 温德林·塞维 :
在LNT中对自主车辆进行形式化建模,以进行仿真和测试。 MARS@ETAPS(预计到达时间) 2022 : 60-117 2021 [公元21年] 弗雷德里克·朗 , Radu Mateescu公司 , 弗朗科·马扎蒂 :
通过组合互模拟对并发系统进行组合验证。 形式方法系统。 设计。 58 ( 1-2 ) : 83-125 ( 2021 ) [公元68年] 弗朗西斯科·杜兰 , 阿杰·克里希纳 , 米歇尔·勒·帕莱克 , Radu Mateescu公司 , 格温·萨拉恩 :
R-MOZART:WebThings应用程序的重新配置工具。 ICSE(配套卷) 2021 : 41-44 [公元67年] 弗朗西斯科·杜兰 , 阿杰·克里希纳 , 米歇尔·勒·帕莱克 , Radu Mateescu公司 , 格温·萨拉恩 :
基于规则的物联网应用程序的无缝重新配置。 ICSE的SEAMS 2021 : 142-148 [公元66年] 休伯特·加拉维 , 弗雷德里克·朗 , Radu Mateescu公司 , 温德林·塞维 :
CADP是一种适用的形式化方法吗? AppFM@FM(应用FM) 2021 : 1-11 2020 [公元65年] 利娜·马尔索 , Radu Mateescu公司 , 温德林·塞维 :
行为一致性测试中的自动转换覆盖率。 信息和通信技术支持系统 2020 : 219-235 [公元64年] 弗雷德里克·朗 , Radu Mateescu公司 , 弗朗科·马扎蒂 :
与弱模态和强模态相结合的时间逻辑充分的尖锐同余。 TACAS(2) 2020 : 57-76 [公元63年] 阿杰·克里希纳 , 米歇尔·勒·帕莱克 , 阿莱杭德罗·马蒂内斯 , Radu Mateescu公司 , 格温·萨拉恩 :
MOZART:先进物联网应用程序的设计和部署。 WWW(配套卷) 2020 : 163-166 [公元62年] Radu Mateescu公司 , 温德林·塞维 , 艾曼·布扎福尔 , 马克·雷纳丁 :
建模一个专用于防范物理攻击的异步电路。 MARS@ETAPS(预计到达时间) 2020 : 200-239
2010 – 2019
2019 [第61条] 越南元 , 温德林·塞维 , Radu Mateescu公司 , 埃里克·杰恩 :
通过模型检查搜寻多余的锁。 从软件工程到正式的方法和工具,然后再回来 2019 : 416-432 [公元60年] 弗雷德里克·朗 , Radu Mateescu公司 , 弗朗科·马扎蒂 :
通过组合互模拟对并发系统进行组合验证。 FM公司 2019 : 196-213 [公元59年] 阿杰·克里希纳 , 米歇尔·勒·帕莱克 , Radu Mateescu公司 , 卢多维克·诺伊里 , 格温·萨拉恩 :
物联网作曲家:物联网应用程序的组成和部署。 ICSE(配套卷) 2019 : 19-22 [公元58年] 阿杰·克里希纳 , 米歇尔·勒·帕莱克 , Radu Mateescu公司 , 卢多维克·诺伊里 , 格温·萨拉恩 :
物联网应用程序的严格设计和部署。 FormaliSE@ICSE 2019 : 21-30 [公元57年] 利娜·马尔索 , Radu Mateescu公司 , Ioannis Parissis公司 , 温德林·塞维 :
GALS系统中同步部件的异步测试。 国际单项体育联合会 2019 : 360-378 [公元56年] 菲利普·莱登特 , 安舒尔·佩格瓦尔 , 亚历山德罗·伦扎格里亚 , Radu Mateescu公司 , 克里斯蒂安·劳吉尔 :
自动驾驶概率碰撞风险估计的形式化验证。 CIS/RAM 2019 : 433-438 2018 [公元20年] Radu Mateescu公司 :
交互式和自动化分析的最新进展。 国际期刊软件。 技术工具。 Transf公司。 20 ( 2 ) : 119-123 ( 2018 ) [公元19年] Radu Mateescu公司 , 何塞·伊格纳西奥·雷格诺 :
扩展的基于动作的概率算子的即时模型检查。 国际期刊软件。 技术工具。 Transf公司。 20 ( 5 ) : 563-587 ( 2018 ) [公元55年] 艾曼·布扎福尔 , 马克·雷纳丁 , 休伯特·加拉维 , Radu Mateescu公司 , 温德林·塞维 :
异步电路的模型检查综合系统Verilog描述。 异步 2018 : 34-42 [公元54年] 休伯特·加拉维 , Radu Mateescu公司 :
对Bernhard Steffen的软件工具物理学的思考。 模型、心态、元 2018 : 186-207 [公元53年] 比吉特·霍弗 , Radu Mateescu公司 , 温德林·塞维 , 弗兰兹·沃塔瓦 :
使用LNT形式化描述进行基于模型的诊断。 DX公司 2018 [第52条] 利娜·马索 , Radu Mateescu公司 , 温德林·塞维 :
TESTOR:用于即时一致性测试用例生成的模块化工具。 TACAS(2) 2018 : 211-228 [第51条] 约西普·博齐克 , 利娜·马尔索 , Radu Mateescu公司 , 弗兰兹·沃塔瓦 :
LNT中的正式TLS握手模型。 MARS公司/ VPT@ETAPS(预计到达时间) 2018 : 1-40 2017 [公元50年] 保拉·拉戈 , 弗雷德里克·朗 , 克劳迪娅·隆卡西奥 , 克劳迪娅·吉梅内斯·瓜林 , Radu Mateescu公司 , 尼古拉斯·博尼芬德 :
这个 A4H下的ContextAct 日常生活活动的真实生活数据集-使用模型检查的活动识别。 上下文 2017 : 175-188 2016 [公元18年] 迪米特里斯·维克里斯 , 弗雷德里克·朗 , 卡塔琳·迪马 , Radu Mateescu公司 :
EB的验证 三 使用CADP的规范。 形式方面计算。 28 ( 1 ) : 145-178 ( 2016 ) [公元17年] 法塔玛·杰巴利 , 弗雷德里克·朗 , Radu Mateescu公司 :
使用GRL和CADP对GALS系统进行正式建模和验证。 形式方面计算。 28 ( 5 ) : 767-804 ( 2016 ) [公元49年] Radu Mateescu公司 , 何塞·伊格纳西奥·雷格诺 :
基于扩展动作概率算子的实时模型检验。 自旋蛋白 2016 : 189-207 2015 [公元16年] 休伯特·加拉维 , 弗雷德里克·朗 , Radu Mateescu公司 :
使用CADP对异步并发系统进行组合验证。 信息学报 52 ( 4-5 ) : 337-392 ( 2015 ) 2014 [j15] Radu Mateescu公司 , 安东·威伊斯 :
性质相关的还原足以具有发散敏感的分支双相似性。 科学。 计算。 程序。 96 : 354-376 ( 2014 ) [公元48年] Radu Mateescu公司 , 格温·萨拉恩 , 丽娜·叶 :
使用模型检查量化BPMN流程中的并行性。 芝加哥证券交易所 2014 : 159-168 [公元47年] 法塔玛·杰巴利 , 弗雷德里克·朗 , Radu Mateescu公司 :
GRL:全球异步本地同步系统的规范语言。 ICFEM公司 2014 : 219-234 2013 [公元14年] 努诺·D·门德斯 , 弗雷德里克·朗 , 伊夫斯·斯坦·勒科内克 , Radu Mateescu公司 , 格雷戈里·巴特 , 克劳丁·朝义亚(Claudine Chaouiya) :
逻辑调节模块的组成和抽象:在多细胞系统中的应用。 生物信息。 29 ( 6 ) : 749-757 ( 2013 ) [j13] 弗雷德里克·朗 , Radu Mateescu公司 :
使用标记转换系统网络和布尔方程系统进行局部模型检查。 日志。 方法计算。 科学。 9 ( 4 ) ( 2013 ) [公元12年] Radu Mateescu公司 , 温德林·塞维 :
在共享内存互斥协议上用CADP进行模型检查和性能评估。 科学。 计算。 程序。 78 ( 7 ) : 843-861 ( 2013 ) [公元11年] 休伯特·加拉维 , 弗雷德里克·朗 , Radu Mateescu公司 , 温德林·塞维 :
CADP 2011:用于构建和分析分布式过程的工具箱。 国际期刊软件。 技术工具。 Transf公司。 15 ( 2 ) : 89-107 ( 2013 ) [公元46年] 迪米特里斯·维克里斯 , 弗雷德里克·朗 , 卡塔琳·迪马 , Radu Mateescu公司 :
EB的验证 三 使用CADP的规范。 国际单项体育联合会 2013 : 61-76 [公元45年] Radu Mateescu公司 , 格温·萨拉恩 :
PIC2LNT:用于检查应用Pi-Calculus的模型转换。 TACAS公司 2013 : 192-198 2012 [公元10年] Radu Mateescu公司 , 安东·威伊斯 :
弱τ碰撞的连续和分布式实时计算。 科学。 计算。 程序。 77 ( 10-11 ) : 1075-1094 ( 2012 ) [公元9年] Radu Mateescu公司 , 帕斯卡·波扎特 , 格温·萨拉恩 :
使用进程代数和即时简化技术调整服务协议。 IEEE传输。 软件工程。 38 ( 4 ) : 755-777 ( 2012 ) [公元44年] 弗雷德里克·朗 , Radu Mateescu公司 :
使用标记转换系统网络和布尔方程系统进行局部模型检查。 TACAS公司 2012 : 141-156 [公元43年] 休伯特·加拉维 , Radu Mateescu公司 , 温德林·塞维 :
使用CADP的大规模分布式验证:从集群到网格。 PASM/PDMC公司 2012 : 145-161 2011 [j8] Radu Mateescu公司 , 佩德罗·蒙泰罗 , 爱斯特尔·杜马 , 希德·德容 :
CTRL:用正则表达式和公平操作符扩展CTL,以验证遗传调控网络。 西奥。 计算。 科学。 412 ( 26 ) : 2854-2883 ( 2011 ) [公元42年] Radu Mateescu公司 , 安东·威伊斯 :
模态Mu-Calculus的属性相关约简。 自旋蛋白 2011 : 2-19 [公元41年] 休伯特·加拉维 , 弗雷德里克·朗 , Radu Mateescu公司 , 温德林·塞维 :
CADP 2010:分布式进程的构建和分析工具箱。 TACAS公司 2011 : 372-387 2010 [公元40年] 佩德罗·蒙泰罗 , 安娜·T·弗里塔斯 , Delphine Ropers公司 , Radu Mateescu公司 , 希德·德容 :
生物调控网络的建模和形式验证:一种综合方法。 BIBM研讨会 2010 : 812-813 [公元39年] Radu Mateescu公司 , 温德林·塞维 :
基于CADP的共享内存互斥协议研究。 飞行管理信息系统 2010 : 180-197 [公元38年] Radu Mateescu公司 , 格温·萨拉恩 :
将Pi-Calculus转换为LOTOS NT。 国际单项体育联合会 2010 : 229-244 [公元37年] 尼古拉斯·科斯特 , 休伯特·加拉维 , 霍尔格·赫尔曼斯 , 弗雷德里克·朗 , Radu Mateescu公司 , 温德林·塞维 :
使用CADP的并发系统十年性能评估。 ISoLA(2) 2010 : 128-142
2000 – 2009
2009 [j7] 佩德罗·蒙泰罗 , 埃斯特尔·大仲马 , 布鲁诺·贝松 , Radu Mateescu公司 , 米歇尔·佩奇 , 安娜·T·弗雷塔斯 , 希德·德容 :
一种面向服务的体系结构,用于集成遗传调控网络的建模和形式验证。 BMC生物信息。 10 : 450 ( 2009 ) [公元36年] Ghassan Chehaibar公司 , 梅里姆·齐杜尼 , Radu Mateescu公司 :
建模多处理器缓存协议对MPI性能的影响。 AINA研讨会 2009 : 1073-1078 [公元35年] 弗雷德里克·朗 , Radu Mateescu公司 :
使用合成合流检测的部分降阶。 FM公司 2009 : 157-172 [公元34年] Radu Mateescu公司 , 安东·威伊斯 :
基于水平采样的分层自适应状态空间缓存。 TACAS公司 2009 : 215-229 2008 [j6] Radu Mateescu公司 , 西尔万·兰帕切克 :
BPEL web服务的形式化建模和离散时间分析。 国际期刊模拟。 过程。 模型。 4 ( 3/4 ) : 183-194 ( 2008 ) [公元33年] Radu Mateescu公司 , 佩德罗·蒙泰罗 , 爱斯特尔·杜马 , 希德·德容 :
遗传调控网络的计算树正则逻辑。 ATVA公司 2008 : 48-63 [公元32年] Radu Mateescu公司 , 西尔万·兰帕切克 :
BPEL Web服务的形式化建模和离散时间分析。 CIAO!/(笑) EOMAS公司 2008 : 179-193 [公元31年] 佩德罗·蒙泰罗 , Delphine绳索 , Radu Mateescu公司 , 安娜·T·弗里塔斯 , 希德·德容 :
查询遗传调控网络定性模型的时序逻辑模式。 ECAI公司 2008 : 229-233 [公元30年] 佩德罗·蒙泰罗 , Delphine绳索 , Radu Mateescu公司 , 安娜·T·弗里塔斯 , 希德·德容 :
用于查询细胞交互网络动态模型的时间逻辑模式。 出口控制委员会 2008 : 227-233 [公元29年] Radu Mateescu公司 , 达米安·蒂沃尔 :
并发值传递系统的模型检查语言。 FM公司 2008 : 148-164 [公元28年] Radu Mateescu公司 , 帕斯卡·波扎特 , 格温·萨拉恩 :
使用进程代数和即时简化技术调整服务协议。 国际社会理事会 2008 : 84-99 [公元27年] Radu Mateescu公司 , 艾米莉·奥多特 :
Bisimulator 2.0:基于布尔方程系统的即时等价性检查器。 记忆码 2008 : 73-74 [公元26年] Radu Mateescu公司 , 艾米莉·奥多特 :
使用布尔方程系统改进的现场等效性检查。 自旋蛋白 2008 : 196-213 2007 [公元25年] 休伯特·加拉维 , Radu Mateescu公司 , 弗雷德里克·朗 , 温德林·塞维 :
CADP 2006:分布式进程的构建和分析工具箱。 腔静脉 2007 : 158-163 [公元24年] Radu Mateescu公司 , 帕斯卡·波扎特 , 格温·萨拉恩 :
基于进程代数编码的组件组合的行为适应。 ASE公司 2007 : 385-388 2006 [j5] Radu Mateescu公司 , 弗拉维奥·奥昆多 :
pi-AAL:一种体系结构分析语言,用于正式指定和验证软件体系结构的结构和行为属性。 ACM SIGSOFT软件。 工程注释 31 ( 2 ) : 1-19 ( 2006 ) 【j4】 Radu Mateescu公司 :
CAESAR_SOLVE:一个用于无交互布尔方程系统的实时解析的通用库。 国际期刊软件。 技术工具。 Transf公司。 8 ( 1 ) : 37-56 ( 2006 ) [c23] 克里斯托夫·朱伯特 , Radu Mateescu公司 :
分布式现场模型检查和测试用例生成。 自旋蛋白 2006 : 126-145 [公元22年] 休伯特·加拉维 , Radu Mateescu公司 , 达米安·贝加米尼 , 阿德里安·库里克 , 尼古拉斯·德苏贝斯(Nicolas Descoubes) , 克里斯托夫·朱伯特 , 伊琳娜·斯马兰达切·斯图姆 , Gilles Stragier公司 :
DISTRIBUTOR和BCG_MERGE:分布式显式状态空间生成工具。 TACAS公司 2006 : 445-449 2005 【c21】 Radu Mateescu公司 :
弱等价的即时状态空间约简。 飞行管理信息系统 2005 : 80-89 [公元20年] 格雷戈里·巴特 , Delphine绳索 , 希德·德容 , 约翰内斯·盖瑟曼 , Radu Mateescu公司 , 米歇尔·佩奇 , 多米尼克·施耐德 :
遗传调控网络定性模型的分析和验证:一种模型检验方法。 国际JCAI 2005 : 370-375 [第19条] 格雷戈里·巴特 , Delphine绳索 , 希德·德容 , 约翰内斯·盖瑟曼 , Radu Mateescu公司 , 米歇尔·佩奇 , 多米尼克·施耐德 :
通过模型检验验证遗传调控网络的定性模型:分析 大肠杆菌 . ISMB(生物信息学补充) 2005 : 19-28 [第18条] 克里斯托夫·朱伯特 , Radu Mateescu公司 :
布尔方程组的分布式局部分解。 产品开发计划 2005 : 264-271 [第17条] 达米安·贝加米尼 , 尼古拉斯·德苏贝斯(Nicolas Descoubes) , 克里斯托夫·朱伯特 , Radu Mateescu公司 :
BISIMULATOR:一个模块化工具,用于即时等价性检查。 TACAS公司 2005 : 581-585 2004 [第16条] Radu Mateescu公司 :
软件架构的模型检查。 EWSA公司 2004 : 219-224 [第15条] 休伯特·加拉维 , Radu Mateescu公司 :
序列。 OPEN:一种高效的基于跟踪的验证工具。 自旋蛋白 2004 : 151-157 [第14条] 格雷戈里·巴特 , 达米安·贝加米尼 , 希德·德容 , 休伯特·加拉维 , Radu Mateescu公司 :
利用GNA和CADP对遗传调控网络进行模型检验。 自旋蛋白 2004 : 158-163 [第13条] Radu Mateescu公司 :
模型检查软件体系结构的通用框架。 VVEIS公司 2004 : 1 [第12条] 克里斯托夫·朱伯特 , Radu Mateescu公司 :
分布式现场等效性检查。 PDMC公司 2004 : 47-62 2003 [j3] Radu Mateescu公司 , 米哈拉·西希雷亚努 :
高效的飞行模型检查,用于常规无交替的微积分。 科学。 计算。 程序。 46 ( 三 ) : 255-281 ( 2003 ) [注2] Radu Mateescu公司 :
逻辑是时间的基础,是行动的结果,是系统异步化的结果。 技术科学。 信息类 22 ( 4 ) : 461-495 ( 2003 ) [第11条] 戈登·J·佩斯 , 弗雷德里克·朗 , Radu Mateescu公司 :
计算-合成合流。 腔静脉 2003 : 446-459 [c10] Radu Mateescu公司 :
无交替布尔方程组的通用快速求解器。 TACAS公司 2003 : 81-96 【c9】 Radu Mateescu公司 :
使用CADP进行现场验证。 飞行管理信息系统 2003 : 279-283 2002 【c8】 休伯特·加拉维 , 弗雷德里克·朗 , Radu Mateescu公司 :
使用LOTOS NT构建编译器。 科科斯群岛 2002 : 9-13 【c7】 Radu Mateescu公司 :
非循环标记转移系统上模态Mu-Calculus的局部模型检验。 TACAS公司 2002 : 281-295 2001 【c6】 曼纽尔·阿吉拉尔·科内霍 , 休伯特·加拉维 , Radu Mateescu公司 , 诺埃尔·德·帕尔马 :
用于基于代理的应用程序的动态重新配置协议的规范和验证。 讲台 2001 : 229-242 【c5】 休伯特·加拉维 , Radu Mateescu公司 , 伊琳娜·斯马兰达奇 :
模型检验的并行状态空间构造。 自旋蛋白 2001 : 217-234 2000 【c4】 Radu Mateescu公司 :
布尔方程组的高效诊断生成。 TACAS公司 2000 : 251-265
1990 – 1999
1999 【c3】 威尔·扬森 , Radu Mateescu公司 , 绍克·莫 , 彼得·芬尼玛 , 佩特拉·范德斯塔彭 :
经理模型检查。 自旋蛋白 1999 : 92-107 1998 【b1】 Radu Mateescu公司 :
并行程序的时间属性验证。 (验证并行程序的时间属性)。 法国格勒诺布尔理工学院, 1998 [j1] 米哈拉·西希雷亚努 , Radu Mateescu公司 :
IEEE-1394串行总线(FireWire)链路层协议的验证:E-LOTOS实验。 国际期刊软件。 技术工具。 Transf公司。 2 ( 1 ) : 68-88 ( 1998 ) 【c2】 简·弗里索·格鲁特 , Radu Mateescu公司 :
使用数据验证设置中进程的时间属性。 AMAST公司 1998 : 74-90 1996 【c1】 Jean-Claude费尔南德斯 , 休伯特·加拉维 , 阿兰·科布拉特 , 劳伦特·穆尼尔 , Radu Mateescu公司 , 米哈拉·西希雷亚努 :
CADP-协议验证和验证工具箱。 腔静脉 1996 : 437-440