默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

温德林·塞维

>主页 >珀森斯

人员信息

附属： INRIA，法国
授予（2023年）：ETAPS时间测试工具奖
授予（2021年）：Inria-科学院-达索系统创新奖

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2403-18720
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2403-18720
菲利普·莱登特,Radu Mateescu公司,温德林·塞维:
测试系统芯片架构的资源隔离。 MARS@ETAPS（预计到达时间） 2024:129-168
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/2024
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/2024
安妮·哈克斯豪森,温德林·塞维:
工业关键系统的形式方法——第29届国际会议，FMICS 2024，意大利米兰，2024年9月9日至11日，会议记录。计算机科学课堂讲稿14952,施普林格 2024，国际标准图书编号978-3-031-68149-3 [目录]
2023
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jirs/HorelLMMLMPRS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jirs/HorelLMMLMPRS23
Jean-Baptiste霍雷尔,菲利普·莱登特,利娜·马尔索,露西·穆勒,克里斯蒂安·劳吉尔,Radu Mateescu公司,安舒尔·佩格瓦尔,亚历山德罗·伦扎利亚,温德林·塞维:
使用从形式化模型导出的自动驾驶场景验证碰撞风险估计。 J.智力。机器人系统。 107(4):59(2023)
2022
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/date/HorelLMMMPRS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/HorelLMMMPRS22
Jean-Baptiste霍雷尔,克里斯蒂安·劳吉尔,利娜·马尔索,Radu Mateescu公司,露西·穆勒,安舒尔·佩格瓦尔,亚历山德罗·伦扎利亚,温德林·塞维:
使用形式一致性测试为自动车辆生成场景。日期 2022:532-537
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2203-09885
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2203-09885
利娜·马尔索,Radu Mateescu公司,露西·穆勒,温德林·塞维:
在LNT中对自主车辆进行形式化建模，以进行仿真和测试。 MARS@ETAPS（预计到达时间） 2022:60-117
2021
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2111-08203
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2111-08203
休伯特·加拉维,弗雷德里克·朗,Radu Mateescu公司,温德林·塞维:
CADP是一种适用的形式化方法吗？ AppFM@FM（应用FM） 2021:1-11
2020
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/协调/StefanoLS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/coordination/StefanoLS20
卢卡·迪·斯特凡诺,弗雷德里克·朗,温德林·塞维:
结合SLiVER和CADP分析多智能体系统。协调 2020:370-385
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/Marsso0S20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/Marsso0S20
利娜·马尔索,Radu Mateescu公司,温德林·塞维:
行为一致性测试中的自动转换覆盖率。信息和通信技术支持系统 2020:219-235
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-13289
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-13289
Radu Mateescu公司,温德林·塞维,艾曼·布扎福尔,马克·雷纳丁:
建模一个专用于防范物理攻击的异步电路。 MARS@ETAPS（预计到达时间） 2020:200-239

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/NuyenS0J19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/NguyenS0J19
越南元,温德林·塞维,Radu Mateescu公司,埃里克·杰恩:
通过模型检查搜寻多余的锁。从软件工程到正式的方法和工具，然后再回来 2019:416-432
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/Marsso0PS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/Marsso0PS19
利娜·马尔索,Radu Mateescu公司,Ioannis Parissis公司,温德林·塞维:
GALS系统中同步部件的异步测试。国际单项体育联合会 2019:360-378
2018
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/async/BouzafourRG0S18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/async/BouzafourRG0S18
艾曼·布扎福尔,马克·雷纳丁,休伯特·加拉维,Radu Mateescu公司,温德林·塞维:
异步电路的模型检查综合系统Verilog描述。异步 2018:34-42
[公元25年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/safeprocess/Hofer0SW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safeprocess/Hofer0SW18
比吉特·霍弗,Radu Mateescu公司,温德林·塞维,弗兰兹·沃塔瓦:
使用LNT形式化描述进行基于模型的诊断。 DX公司 2018
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Marsso0S18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Marsso0S18
利娜·马尔索,Radu Mateescu公司,温德林·塞维:
TESTOR：用于即时一致性测试用例生成的模块化工具。 TACAS（2） 2018:211-228
[电子1]
- 看法
- 出口记录
  dblp键：
  - 期刊/corr/abs-1803-08668
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1803-08668
约翰·加拉赫,罗布·范·格拉贝克,温德林·塞维:
会议记录真实系统形式分析模型第三次研讨会和验证和程序转换第六次国际研讨会/VPT@ETAPS（预计到达时间）2018年4月20日，希腊塞萨洛尼基。 EPTCS系统268,2018 [目录]
2017
[c23]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/GaravelLS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GaravelLS17
休伯特·加拉维,弗雷德里克·朗,温德林·塞维:
从LOTOS到LNT。建模教育、测试教育、信任教育 2017:3-26
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GaravelS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GaravelS17
休伯特·加拉维,温德林·塞维:
多路会合的不为人知的价值：用生产单元基准进行说明。 MARS@ETAPS（预计到达时间） 2017:230-270
2016
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/张世伟0M16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/ZhangSWY0M16
Zhen Zhang先生,温德林·塞维,吴健,Tomohiro Yoneda公司,郝政,克里斯·J·迈尔斯:
通过形式化分析，提出了一种改进的片上网络容错路由算法。科学。计算。程序。 118:24-39(2016)
2015
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KrioulieS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KrioulieS15
阿卜杜拉赫曼·克里奥伊,温德林·塞维:
使用形式化模型改进芯片上缓存相关系统的验证。 TACAS公司 2015:708-722
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Serwe15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Serwe15
温德林·塞维:
数据加密标准的完全异步实现的正式规范和验证。火星 2015:61-147
2014
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/LantreibecqS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/LantreibecqS14
艾蒂安·兰特雷贝克,温德林·塞维:
用CADP对硬件动态任务调度器进行形式化分析。科学。计算。程序。 80:130-149(2014)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/ZhangSWY0M14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/ZhangSWY0M14
Zhen Zhang先生,温德林·塞维,吴健,Tomohiro Yoneda公司,郝政,克里斯·迈尔斯:
片上网络容错路由算法的形式化分析。飞行管理信息系统 2014:48-62
2013
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/MateescuS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/MateescuS13
Radu Mateescu公司,温德林·塞维:
在共享内存互斥协议上用CADP进行模型检查和性能评估。科学。计算。程序。 78(7):843-861(2013)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GaravelLMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GaravelLMS13
休伯特·加拉维,弗雷德里克·朗,Radu Mateescu公司,温德林·塞维:
CADP 2011：用于构建和分析分布式过程的工具箱。国际期刊软件。技术工具。Transf公司。 15(2):89-107(2013)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/KrioulieS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/KrioulieS13
阿卜杜拉赫曼·克里奥伊,温德林·塞维:
片上缓存相干系统ACE规范的形式化分析。飞行管理信息系统 2013:108-122
2012
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GaravelMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GaravelMS13
休伯特·加拉维,Radu Mateescu公司,温德林·塞维:
使用CADP的大规模分布式验证：从集群到网格。 PASM/PDMC公司 2012:145-161
2011
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/LantreibecqS11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/LantreibecqS11
艾蒂安·兰特雷贝克,温德林·塞维:
基于CADP的动态任务调度器电路的模型检验与协同仿真。飞行管理信息系统 2011:180-195
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GaravelLMS11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GaravelLMS11
休伯特·加拉维,弗雷德里克·朗,Radu Mateescu公司,温德林·塞维:
CADP 2010：分布式进程的构建和分析工具箱。 TACAS公司 2011:372-387
2010
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/MateescuS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/MateescuS10
Radu Mateescu公司,温德林·塞维:
基于CADP的共享内存互斥协议研究。飞行管理信息系统 2010:180-197
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/CosteGHLMS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/CosteGHLMS10
尼古拉斯·科斯特,休伯特·加拉维,霍尔格·赫尔曼斯,弗雷德里克·朗,Radu Mateescu公司,温德林·塞维:
使用CADP的并发系统十年性能评估。 ISoLA（2） 2010:128-142

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/GaravelSS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/GaravelSS09
休伯特·加拉维,格温·萨拉恩,温德林·塞维:
关于通信硬件进程的语义及其转换为LOTOS，以便使用CADP验证异步电路。科学。计算。程序。 74(三):100-127(2009)
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CosteHLS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CosteHLS09
尼古拉斯·科斯特,霍尔格·赫尔曼斯,艾蒂安·兰特雷贝克,温德林·塞维:
工业GALS设计中成分模型的性能预测。 CAV汽车 2009:204-218
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/GaravelHPS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/GaravelHPS09
休伯特·加拉维,克劳德·赫尔姆斯特特,奥利维尔·波西尼,温德林·塞维:
使用LOTOS和CADP验证工业SystemC/TLM模型。记忆码 2009:46-55
2008
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/PonsiniS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/PonsiniS08
奥利维尔·波西尼,温德林·塞维:
通过翻译为LOTOS在SystemC中编写的TLM模型的无调度语义。 FM公司 2008:278-293
2007
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/async/SalaunSTV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/async/SalaunSTV07
格温·萨拉恩,温德林·塞维,伊万·通纳特,帕斯卡·维维特:
在异步片上网络上用CADP图解对CHP规范进行形式验证。异步 2007:73-82
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GaravelMLS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GaravelMLS07
休伯特·加拉维,Radu Mateescu公司,弗雷德里克·朗,温德林·塞维:
CADP 2006：分布式进程的构建和分析工具箱。 CAV汽车 2007:158-163
2006
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GaravelS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GaravelS06
休伯特·加拉维,温德林·塞维:
进程代数规范的状态空间约简。西奥。计算。科学。 351(2):131-145(2006)
2005
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/SalaunS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/SalaunS05
格温·萨拉恩,温德林·塞维:
将硬件进程代数转换为标准进程代数：用CHP和LOTOS进行说明。国际单项体育联合会 2005:287-306
2004
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/GaravelS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/GaravelS04
休伯特·加拉维,温德林·塞维:
过程代数规范的状态空间约简。 AMAST公司 2004:164-180
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/JeannetS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/JeannetS04
伯特兰·珍妮特,温德林·塞维:
用于强制程序的过程间验证的抽象调用堆栈。 AMAST公司 2004:258-273
2003
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/EchahedPS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/EchahedPS03
拉希德·埃哈希德,弗雷德里克·普罗斯特,温德林·塞维:
静态确保动态并发进程的机密性。 PPDP（PPDP） 2003:91-101
2002
【b1】
- 看法
  - 电子版@archives-ouvertes.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/哈尔/塞尔韦02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/Serwe02网站
温德林·塞维:
程序逻辑动作练习。法国格勒诺布尔理工学院，2002
2001
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BlancS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BlancS02
杰雷米·布朗,温德林·塞维:
定时术语重写系统。 WFLP公司 2001:95-112
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/EchahedS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/EchahedS02
拉希德·埃哈希德,温德林·塞维:
在并发声明性编程中定义动作。 WFLP公司 2001:176-194
2000
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cl/EchahedS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cl/EchahedS00
拉希德·埃哈希德,温德林·塞维:
结合移动进程和声明式编程。计算逻辑 2000:300-314

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。