停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

休伯特·加拉维

>主页 >珀森斯

人员信息

附属： 因里娅·格勒诺布尔-罗纳阿尔卑斯省
授予（2023年）：ETAPS时间测试工具奖
授予（2023年）：ETAPS时间测试工具奖
授予（2021年）：Inria-科学院-达索系统创新奖
奖项（2011年）：盖·卢萨克·洪堡奖
裁决（1990年）：IBM法国计算机科学青年科学家奖

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2403-18723
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2403-18723
休伯特·加拉维,巴斯·卢提克:
IEEE 1394链路层的四种形式化模型。 CoRR公司 abs/2403.18723(2024)
2023
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/topnoc/AmatBG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/topnoc/AmatBG23
尼古拉斯·阿马特,皮埃尔·布维尔,休伯特·加拉维:
计算Petri网并发位置的工具链。事务处理。Petri网其他模型。同意。 17:1至26(2023)
2022
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/GaravelL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GaravelL22
休伯特·加拉维,弗雷德里克·朗:
40年后的等价性检查：互模拟工具综述。从过程代数到时间自动机到模型学习的旅程 2022:213-265
2021
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/BouvierG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/BouvierG21网站
皮埃尔·布维尔,休伯特·加拉维:
安全Petri网中三个可达性问题的有效算法。 Petri网 2021:339-359
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2111-08203
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2111-08203
休伯特·加拉维,弗雷德里克·朗,Radu Mateescu公司,温德林·塞维:
CADP是一种适用的形式化方法吗？ AppFM@FM（应用FM） 2021:1-11
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2101-05024
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-05024
休伯特·加拉维:
关于向Petri-Net模型检查器添加有用功能的建议。 CoRR公司 abs/2101.05024(2021)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-210-06336
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-210-06336
皮埃尔·布维尔,休伯特·加拉维:
VLSAT-2基准套件。 CoRR公司 abs/2110.06336(2021)
2020
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/BouvierGL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/BouvierGL20
皮埃尔·布维尔,休伯特·加拉维,埃尔南·蓬斯·德莱昂:
Petri网到自动机网络的自动分解-综合考虑。 Petri网 2020:3-23
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/GaravelBP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/GaravelBP20
休伯特·加拉维,莫里斯·特尔·比克,雅各·范德波尔:
2020年正式方法专家调查。 FMICS公司 2020:3月69日
[e3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-12403
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-12403
安斯加·芬克,休伯特·加拉维:
真实系统形式分析模型第四次研讨会会议记录，MARS@ETAPS（预计到达时间）2020年，爱尔兰都柏林，2020年4月26日。 EPTCS系统316,2020 [目录]
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2011-11049
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2011-11049
皮埃尔·布维尔,休伯特·加拉维:
VLSAT-1基准套件。 CoRR公司 abs/2011.11049(2020)

2010年至2019年

请参阅常见问题解答

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

2019
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/Garavel19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/Garavel19
休伯特·加拉维:
嵌套单位Petri网。 J.日志。代数方法课程。 104:60-85(2019)
[公元44年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BartocicBBFGHHK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BartocicBBFGHHK19
埃齐奥·巴托西,德克·拜尔,保罗·E·布莱克,格里戈里·费德尤科维奇,休伯特·加拉维,阿诺德·哈特曼斯,玛丽克·赫斯曼,Fabrice Kordon公司,朱利安·纳格尔,米哈拉·西希雷亚努,伯恩哈德·斯特芬,马丁·苏达,杰夫·萨特克利夫,贾克·韦伯,山田秋久:
2019年TOOLympics：正式方法竞赛概述。塔卡斯（3） 2019:3-24
[公元43年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DuranG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DuranG19
弗朗西斯科·杜兰,休伯特·加拉维:
改写引擎竞赛：回顾。塔卡斯（3） 2019:93-100
2018
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/topnoc/KordonGHPJHABBEJBLMSTPW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEBEBLMSTPW18
Fabrice Kordon公司,休伯特·加拉维,洛姆·梅桑·希拉,艾曼纽尔·帕维奥德,洛伊格·杰泽奎尔,弗朗西斯·胡林·胡巴德,Elvio Gilberto水族馆,马可·贝库蒂,伯纳德·伯托米厄,哈格斯·埃夫拉德,彼得·杰勒·詹森,迪迪埃·勒·博特兰,托尔斯滕·利布克,杰伦·梅耶尔,吉尔·斯尔巴,Yann Thierry-Mieg公司,雅各·范德波尔,卡斯滕·沃尔夫:
MCC’2017-第七届模特检查比赛。事务处理。Petri网其他模型。同意。 13:181-209(2018)
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/async/BouzafourRG0S18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/async/BouzafourRG0S18
艾曼·布扎福尔,马克·雷纳丁,休伯特·加拉维,Radu Mateescu公司,温德林·塞维:
异步电路的模型检查综合系统Verilog描述。 ASYNC公司 2018:34-42
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Garavel018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Garavel018
休伯特·加拉维,Radu Mateescu公司:
对Bernhard Steffen的软件工具物理学的思考。模型、心态、元 2018:186-207
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/GaravelLM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/GaravelLM18
休伯特·加拉维,弗雷德里克·朗,劳伦特·穆尼尔:
实际成分验证。 FMICS公司 2018:189-210
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wrla/GaravelTA18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wrla/GaravelTA18网址
休伯特·加拉维,穆罕默德·阿利·塔比赫,伊马德·塞迪克·阿拉达:
代数、函数和面向对象语言中术语重写和模式匹配的基准实现——第四届重写引擎竞赛。 WRLA@预计到达时间 2018:1-25
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1803-10322
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1803-10322
休伯特·加拉维,利娜·马尔索:
消息认证算法八种形式规范的比较研究。 MARS公司/VPT@ETAPS（预计到达时间） 2018:41-87
2017
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/GaravelLS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GaravelLS17
休伯特·加拉维,弗雷德里克·朗,温德林·塞维:
从LOTOS到LNT。建模教育、测试教育、信任教育 2017:3-26
[c36]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GaravelM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GaravelM17
休伯特·加拉维,利娜·马尔索:
模拟先驱密码算法的大型重写系统。 MARS@ETAPS（预计到达时间） 2017:129-183
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GaravelS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GaravelS17
休伯特·加拉维,温德林·塞维:
多路会合的不为人知的价值：用生产单元基准进行说明。 MARS@ETAPS（预计到达时间） 2017:230至270
2016
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/topnoc/KordonGHPJRH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/topnoc/KordonGHPJRH16
Fabrice Kordon公司,休伯特·加拉维,洛姆·梅桑·希拉,艾曼纽尔·帕维奥德,洛伊格·杰泽奎尔,塞萨尔·罗德里格斯,弗朗西斯·胡林·胡巴德:
MCC’2015-第五届模特检查大赛。事务处理。Petri网其他模型。同意。 11:262-273(2016)
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wadt/Garavel16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wadt/Garavel16
休伯特·加拉维:
有符号整数的最合适公理化。 WADT（瓦特） 2016:120-134
2015
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/GaravelLM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/GaravelLM15
休伯特·加拉维,弗雷德里克·朗,Radu Mateescu公司:
使用CADP对异步并发系统进行组合验证。信息学报 52(4-5):337-392(2015)
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/Garavel15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/Garavel15
休伯特·加拉维:
重新审视过程结石中的顺序成分。 J.日志。代数方法课程。 84(6):742-762(2015)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Garavel15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Garavel15
休伯特·加拉维:
嵌套单位Petri网：提高初等网验证效率和可扩展性的结构方法。 Petri网 2015:179-199年
2014
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/Graf-钻孔HG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Graf-BrillHG14
亚历山大·格拉夫·布里尔,霍尔格·赫尔曼斯,休伯特·加拉维:
能源总线标准的基于模型的认证框架。复地 2014:84-99
2013
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GaravelLMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GaravelLMS13
休伯特·加拉维,弗雷德里克·朗,Radu Mateescu公司,温德林·塞维:
CADP 2011：用于构建和分析分布式过程的工具箱。国际期刊软件。技术工具。Transf公司。 15(2):89-107(2013)
2012
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GaravelMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GaravelMS13
休伯特·加拉维,Radu Mateescu公司,温德林·塞维:
使用CADP的大规模分布式验证：从集群到网格。 PASM/PDMC公司 2012:145-161
2011
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GaravelLMS11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GaravelLMS11
休伯特·加拉维,弗雷德里克·朗,Radu Mateescu公司,温德林·塞维:
CADP 2010：分布式进程的构建和分析工具箱。 TACAS公司 2011:372-387
2010
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/CosteGHLMS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/CosteGHLMS10
尼古拉斯·科斯特,休伯特·加拉维,霍尔格·赫尔曼斯,弗雷德里克·朗,Radu Mateescu公司,温德林·塞维:
使用CADP的并发系统十年性能评估。 ISoLA（2） 2010:128-142

2000 – 2009

请参阅常见问题解答

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

2009
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/GaravelSS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/GaravelSS09
休伯特·加拉维,格温·萨拉恩,温德林·塞维:
关于通信硬件进程的语义及其转换为LOTOS，以便使用CADP验证异步电路。科学。计算。程序。 74(三):100-127(2009)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/StockerLG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/StockerLG09
扬·斯托克,弗雷德里克·朗,休伯特·加拉维:
实时数据并行处理：ATLANTIF中间格式。国际单项体育联合会 2009:88-102
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/GaravelHPS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/GaravelHPS09
休伯特·加拉维,克劳德·赫尔姆斯特,奥利维尔·波西尼,温德林·塞维:
使用LOTOS和CADP验证工业SystemC/TLM模型。记忆码 2009:46-55
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/GaravelT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/GaravelT09
休伯特·加拉维,达米安·蒂沃尔:
结合同步语言和过程演算对GALS系统进行验证。自旋蛋白 2009:241-260
2008
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/日期/成本GHHTZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/CosteGHHTZ08
尼古拉斯·科斯特,休伯特·加拉维,霍尔格·赫尔曼斯,理查德·赫塞缪尔,伊万·通纳特,梅里姆·齐杜尼:
嵌入式系统设计中的定量评估：多处理器多线程体系结构的验证。日期 2008:88-89
[i1]
- 看法
  - 电子版@ercim.eu（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/ercim/BerthomieuGLV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ercim/BerthomieuGLV08
伯纳德·伯托米厄,休伯特·加拉维,弗雷德里克·朗,弗朗索瓦·沃纳达特:
使用TOPCASED/FIACRE验证工业关键系统的动态特性。 ERCIM新闻 2008(75)(2008)
2007
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GaravelMLS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GaravelMLS07
休伯特·加拉维,Radu Mateescu公司,弗雷德里克·朗,温德林·塞维:
CADP 2006：分布式进程的构建和分析工具箱。 CAV汽车 2007:158-163
2006
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GaravelH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GaravelH06
休伯特·加拉维,约翰·哈特克利夫:
为什么你一定要读这个特别的部分。国际期刊软件。技术工具。Transf公司。 8(1):1-3(2006)
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GaravelS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GaravelS06
休伯特·加拉维,温德林·塞维:
进程代数规范的状态空间约简。西奥。计算。科学。 351(2):131-145(2006)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GaravelH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GaravelH06
休伯特·加拉维,约翰·哈特克利夫:
TACAS 2003特刊-前言。西奥。计算。科学。 354(2):169-172(2006)
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GaravelMBCDJSS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GaravelMBCDJSS06
休伯特·加拉维,Radu Mateescu公司,达米安·贝加米尼,阿德里安·库里克,尼古拉斯·德苏贝斯（Nicolas Descoubes）,克里斯托夫·朱伯特,伊琳娜·斯马兰达切·斯图姆,Gilles Stragier公司:
DISTRIBUTOR和BCG_MERGE：分布式显式状态空间生成工具。 TACAS公司 2006:445-449
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Garavel08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Garavel08
休伯特·加拉维:
对并发理论在一般和过程微积分中的未来的思考。 LIX公司 2006:149-164
2004
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/GaravelS04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/GaravelS04
休伯特·加拉维,温德林·塞维:
过程代数规范的状态空间约简。 AMAST公司 2004:164-180
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ewsa/OquendoWMDGGO04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ewsa/OquendoWMDGGO04
弗拉维奥·奥昆多,布莱恩·沃博斯,罗纳德·莫里森,雷吉斯·丁德勒,费迪南多·加洛,休伯特·加拉维,卡门·奥奇芬蒂:
ArchWare：构建进化软件。 EWSA公司 2004:257-271
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/GaravelM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/GaravelM04
休伯特·加拉维,Radu Mateescu公司:
序列。OPEN：一种高效的基于跟踪的验证工具。自旋蛋白 2004:151-157
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BattBJGM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BattBJGM04
格雷戈里·巴特,达米安·贝加米尼,希德·德容,休伯特·加拉维,Radu Mateescu公司:
利用GNA和CADP对遗传调控网络进行模型检验。自旋蛋白 2004:158-163
2003
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/GaravelGS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/GaravelGS03
休伯特·加拉维,斯蒂芬妮娅·格内西,伊娜·希弗德克:
ERCIM工业关键系统形式方法工作组第五次国际研讨会专刊，柏林，2000年4月3日至4日-论文集。科学。计算。程序。 46(三):195-196(2003)
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmoods/TronelLG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmoods/TronelLG03
弗雷德里克·特罗内尔,弗雷德里克·朗,休伯特·加拉维:
使用软件组件ScalAgent部署协议的CADP进行组合验证。 FMOODS公司 2003:244-260
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2003
休伯特·加拉维,约翰·哈特克利夫:
《用于系统构建和分析的工具和算法》，第九届国际会议，TACAS 2003，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2003，波兰华沙，2003年4月7日至11日，会议记录。计算机科学课堂讲稿2619,施普林格 2003，国际标准图书编号3-540-00898-5 [目录]
2002
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cc/GaravelLM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cc/GaravelLM02
休伯特·加拉维,弗雷德里克·朗,Radu Mateescu公司:
使用LOTOS NT构建编译器。科科斯群岛 2002:9-13
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/GaravelH02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GaravelH02
休伯特·加拉维,霍尔格·赫尔曼斯:
利用CADP将功能验证和性能评估结合起来。失效模式与后果 2002:410-429
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/GaravelL02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/GaravelL02
休伯特·加拉维,弗雷德里克·朗:
NTIF：一种通用的符号模型，用于与数据进行顺序过程通信。复地 2002:276-291年
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Cleaveland G02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CleavelandG02
兰斯·克莱维兰,休伯特·加拉维:
前言。 FMICS公司 2002:211-213
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/fmics/2002
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/2002
兰斯·克莱维兰,休伯特·加拉维:
第七届工业关键系统形式方法国际ERCIM研讨会，FMICS 2002，ICALP 2002卫星研讨会，西班牙马拉加，2002年7月12日至13日。理论计算机科学电子笔记66(2),爱思维尔 2002 [目录]
2001
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GaravelVZ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GaravelVZ01
休伯特·加拉维,塞萨尔·维霍,马西莫·曾德里:
使用形式规范、模型检查、联合仿真和测试生成对CC-NUMA多处理器体系结构进行系统设计。国际期刊软件。技术工具。Transf公司。三(三):314-331(2001)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dais/CornejoGMP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dais/CornejoGMP01
曼纽尔·阿吉拉尔·科内霍,休伯特·加拉维,Radu Mateescu公司,诺埃尔·德·帕尔马:
基于代理应用程序的动态重新配置协议的规范和验证。 DAIS公司 2001:229-242
[第11条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/forte/GaravelL01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/GaravelL01
休伯特·加拉维,弗雷德里克·朗:
SVL：一种用于合成验证的脚本语言。复地 2001:377-394
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/GaravelMS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/GaravelMS01
休伯特·加拉维,Radu Mateescu公司,伊琳娜·斯马兰达奇:
模型检验的并行状态空间构造。自旋蛋白 2001:217-234

1990 – 1999

请参阅常见问题解答

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

1999
【c9】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/forte/GaravelS99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/GaravelS99
休伯特·加拉维,米哈拉·西希雷亚努:
过程代数的图形并行组合算子。复地 1999:185-202
1998
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Garavel98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Garavel98
休伯特·加拉维:
OPEN/CÆSAR：用于验证、仿真和测试的OPEN软件体系结构。 TACAS公司 1998:68-84
1997
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/GaravelM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/GaravelM97
休伯特·加拉维,劳伦特·穆尼尔:
单向环形网络中各种分布式领导人选举算法的规范和验证。科学。计算。程序。 29(1-2):171-197(1997)
1996
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/费尔南德斯GKMMS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FrenandezGKMMS96
Jean-Claude费尔南德斯,休伯特·加拉维,阿兰·科布拉特,劳伦特·穆尼尔,Radu Mateescu公司,米哈拉·西希雷亚努:
CADP-协议验证和验证工具箱。 CAV汽车 1996:437-440
【c6】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/forte/切海巴GMTZ96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/ChehaibarGMTZ96
Ghassan Chehaibar公司,休伯特·加拉维,劳伦特·穆尼尔,纳迪娅·塔比,祖里安蕨类植物:
PowerScale的规范和验证^TM（TM）总线仲裁协议：LOTOS的工业实验。复地 1996:435-450
【c5】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/forte/GaravelS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/GaravelS96
休伯特·加拉维,米哈拉·西希雷亚努:
关于在E-LOTOS中引入例外。复地 1996:469-484
1995
【c4】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pstv/Garavel95型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pstv/Garavel95
休伯特·加拉维:
关于在E-LOTOS中引入门类型。公共电视台 1995:283-298年
1993
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cn/AlgayresCDGLR93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cn/AlgayresCDGLR93
伯纳德·阿尔盖尔斯,维罗尼格·科埃略,劳伦特·多迪,休伯特·加拉维,伊夫·勒琼,卡洛斯·罗德里格斯:
VESAR：形式规范和验证的实用方法。计算。网络ISDN系统。 25(7):779-790(1993)
1992
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/费尔南德斯GMRRS92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/FrenandezGMRRS92
Jean-Claude费尔南德斯,休伯特·加拉维,劳伦特·穆尼尔,安妮·拉塞,卡洛斯·罗德里格斯,约瑟夫·西法基斯:
LOTOS程序验证工具箱。 ICSE公司 1992:246-259
1990
【c2】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pstv/GaravelS90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pstv/GaravelS90
休伯特·加拉维,约瑟夫·西法基斯:
LOTOS规范的编译和验证。公共电视台 1990:379-394

1980年至1989年

请参阅常见问题解答

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

1989
【b1】
- 看法
  - 电子版@archives-ouvertes.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/哈尔/加拉维勒89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/Garavel89
休伯特·加拉维:
LOTOS程序的汇编和验证。法国格勒诺布尔约瑟夫·傅里叶大学，1989
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/forte/Garavel89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Garavel89
休伯特·加拉维:
LOTOS抽象数据类型的编译。复地 1989:147-162

合著者索引

请参阅常见问题解答

服务

管理网站设置

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