贝诺·特凯劳德
人员信息
隶属关系: IRISA雷恩
优化列表
2020年–今天
2023 [i7] Inigo Incer公司 , 阿普瓦·巴迪塞拉 , 约瑟芬·格雷伯纳 , 皮尔吉乌塞佩·马洛齐 , 阿尤斯·潘迪 , 盛俊瑜 , 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 理查德·默里 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 桑吉特·塞希亚 :
Pacti:系统分析和设计的缩放假设保证推理。 CoRR公司 abs/2303.17751 ( 2023 ) [i6] Fatemeh Hashemniya先生 , 贝诺·特凯劳德 , 埃里克·弗里斯克 , 马蒂亚斯·克莱桑德 , 马蒂亚斯·马兰丹 :
多模系统的故障可诊断性分析。 CoRR公司 腹肌/2312.14030 ( 2023 ) 2022 [公元40年] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 马蒂亚斯·马兰丹 :
从混合自动机到基于DAE的建模。 系统设计原则 2022 : 3-20 2021 [i5] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 马蒂亚斯·马兰丹 :
多模DAE系统的结构分析:结果总结。 CoRR公司 abs/2101.05702 ( 2021 ) 2020 [公元17年] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 马蒂亚斯·马兰丹 :
物理系统建模语言的数学基础。 每年。 版本控制。 50 : 72-118 ( 2020 ) [公元16年] 弗拉维恩·莱库耶 , 瓦莱里·古兰顿 , 奥雷连·拉默克里 , 阿德里安·鲁佐 , 贝诺·特凯劳德 , 布鲁诺·阿纳尔迪 :
揭示隐含的知识,一次一个场景。 视觉。 计算。 36 ( 10 ) : 1951-1963 ( 2020 ) [公元39年] 奥雷连·拉默克里 , 贝诺·特凯劳德 :
确定性命题接受自动机代数(DPAA)。 FDL公司 2020 : 1-8 [公元38年] 贝诺·特凯劳德 , 马蒂亚斯·马兰丹 , 琼·蒂鲍特 :
多模DAE系统的隐式结构分析。 高速列车控制中心 2020 : 20:1-20:11 [i4] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 马蒂亚斯·马兰丹 :
物理系统建模语言的数学基础。 CoRR公司 abs/2008.05166 ( 2020 )
2010 – 2019
2019 【p1】 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , Hilding Elmqvist公司 , 哈利尔·戈巴尔 , 马丁·奥特 , 马克·普泽特 :
多模式DAE模型—挑战、理论和实施。 计算与软件科学 2019 : 283-310 2018 [公元15年] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 德扬·尼科维奇 , 罗伯托·帕塞罗内 , 让-巴蒂斯特·拉克勒 , 菲利普·雷克梅尔 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 沃纳·达姆 , 托马斯·汉津格 , 金·拉森 :
系统设计合同。 找到。 趋势电子。 设计。 自动化。 12 ( 2-3 ) : 124-400 ( 2018 ) [公元14年] 阿尔伯特·本文尼斯特 , 蒂莫西·布鲁克 , 贝诺·特凯劳德 , Jean-Louis可乐 , Cédric巴斯德 , 马克·普泽特 :
基于同步语言原理构建混合系统建模器。 程序。 电气与电子工程师协会 106 ( 9 ) : 1568-1592 ( 2018 ) 2017 [公元37年] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 :
同步接口和假设/保证合同。 模型、算法、逻辑和工具 2017 : 233-248 [公元36年] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , Hilding Elmqvist公司 , 哈利勒·古尔巴尔 , 马丁·奥特 , 马克·普泽特 :
多模式DAE系统的结构分析。 高速列车控制中心 2017 : 253-263 2016 [公元35年] 艾曼·阿尔贾布 , 曾英福 , 亚当·杜拉茨 , 贝诺·特凯劳德 , 瓦利德·塔哈 :
混合动力系统无颤振仿真语义与原型实现。 CSE/EUC/DCABES公司 2016 : 412-422 [公元34年] 纪尧姆·克劳德 , 瓦莱里·古兰顿 , 贝诺·特凯劳德 , 伯纳德·吉波德 , 皮埃尔·詹宁 , 布鲁诺·阿纳尔迪 :
从观察到协同仿真:在外科培训中的应用。 ICAT-EGVE公司 2016 : 85-92 [公元33年] 纪尧姆·克劳德 , 瓦莱里·古兰顿 , 贝诺·特凯劳德 , 伯纳德·吉波德 , 布鲁诺·阿纳尔迪 , 皮埃尔·詹宁 :
手术过程模型的合成与模拟。 多媒体虚拟现实 2016 : 63-70 2015 [i3] 艾曼·阿尔贾布 , Benoît Caillaud公司 :
混合系统的鲁棒仿真:抖动路径避免。 CoRR公司 abs/1512.07818 ( 2015 ) 2014 [公元32年] 朱利安·迪安托尼 , 塞德里克·布伦 , 贝诺·特凯劳德 , 罗伯特·B·法国 , 加博尔·卡赛 , 奥斯卡·尼尔斯特拉斯 , 尤金·西里亚尼 :
领域全球化:使用语言支持技术和社会协调。 全球化领域特定语言 2014 : 70-87 [公元31年] 阿尔伯特·本文尼斯特 , 蒂莫西·布鲁克 , 贝诺·特凯劳德 , 布鲁诺·帕加诺 , 马克·波泽 :
混合系统建模器中因果循环的基于类型的分析。 高速列车控制中心 2014 : 71-82 2012 [j13] 阿尔伯特·本文尼斯特 , 蒂莫西·布鲁克 , 贝诺·特凯劳德 , 马克·普泽特 :
混合系统建模器的非标准语义。 J.计算。 系统。 科学。 78 ( 三 ) : 877-910 ( 2012 ) [公元30年] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , Jean-Baptiste Raclet女士 :
接口理论在同步程序单独编译中的应用。 疾病预防控制中心 2012 : 7252-7258 [公元29年] 贝诺·特凯劳德 , Jean-Baptiste Raclet女士 :
通过设计确保可达性。 ICTAC公司 2012 : 213-227 2011 [公元12年] S.Laurie里克尔 , 贝诺·特凯劳德 :
注意差距:在分散的离散事件控制中扩大通信选项。 自动化。 47 ( 11 ) : 2364-2372 ( 2011 ) [公元11年] 贝诺·特·德拉哈耶 , 贝诺·特凯劳德 , 阿克塞尔·莱盖 :
概率契约:用于设计具有随机和/或非确定性方面的系统的组合推理方法。 形式方法系统。 设计。 38 ( 1 ) : 1-32 ( 2011 ) [j10] Jean-Baptiste Raclet女士 , 埃里克·巴杜埃尔 , 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , Axel Legay公司 , 罗伯托·帕塞罗内 :
基于组件设计的模态接口理论。 芬达姆。 信息学 108 ( 1-2 ) : 119-149 ( 2011 ) [公元9年] 贝诺·特凯劳德 , Benoît Delahaye公司 , 金·拉森 , Axel Legay公司 , 米克尔·L·佩德森 , 安德烈·瓦索夫斯基 :
约束马尔可夫链。 西奥。 计算。 科学。 412 ( 34 ) : 4373-4404个 ( 2011 ) [公元28年] 阿尔伯特·本文尼斯特 , 蒂莫西·布鲁克 , 贝诺·特凯劳德 , 马克·普泽特 :
带有层次自动机的混合同步语言:静态类型和同步代码转换。 EMSOFT公司 2011 : 137-148 [公元27年] 阿尔伯特·本文尼斯特 , 蒂莫西·布鲁克 , 贝诺·特凯劳德 , 马克·普泽特 :
划分和回收:混合同步语言的类型和编译。 LCTES公司 2011 : 61-70 [电子3] 贝诺·特凯劳德 , 约瑟普·卡莫纳 , Kunihiko Hiraishi先生 :
2011年6月20日至24日在英国泰恩河畔纽卡斯尔举行的第十一届系统设计并行应用国际会议,ACSD 2011。 IEEE计算机学会 2011 ,国际标准图书编号 978-0-7695-4387-1 [目录] 2010 [公元26年] 贝诺·特·德拉哈耶 , 贝诺·特凯劳德 , 阿克塞尔·莱盖 :
概率契约:随机系统设计的组合推理方法。 ACSD系统 2010 : 223-232 [公元25年] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 马克·普泽特 :
混合系统建模师的基本知识。 疾病预防控制中心 2010 : 4180-4185 [公元24年] 阿南达·巴苏 , 萨德克·本萨勒姆 , 马吕斯·博兹加 , 贝诺·特凯劳德 , 贝诺·特·德拉哈耶 , Axel Legay公司 :
大型异构系统的统计抽象和模型检验。 食品/福特 2010 : 32-46 【c23】 贝诺·特凯劳德 , 贝诺·特·德拉哈耶 , 金·拉森 , Axel Legay公司 , 米克尔·L·佩德森 , 安德烈·瓦索夫斯基 :
带约束马尔可夫链的组合设计方法。 QEST公司 2010 : 123-132 [电子2] Axel Legay公司 , 贝诺·特凯劳德 :
接口技术基础会议录,FIT 2010,法国巴黎,2010年8月30日。 EPTCS系统 46, 2010 [目录]
2000 – 2009
2009 [公元22年] 让-巴蒂斯特·拉克勒 , 埃里克·巴杜埃尔 , 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 罗伯托·帕塞罗内 :
为什么模态对界面理论有好处?。 ACSD系统 2009 : 119-127 【c21】 Jean-Baptiste Raclet女士 , 埃里克·巴杜埃尔 , 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , Axel Legay公司 , 罗伯托·帕塞罗内 :
模态接口:统一接口自动机和模态规范。 EMSOFT公司 2009 : 87-96 [公元20年] S.劳里·瑞克 , 贝诺·特凯劳德 :
重新审视基于状态的模型,以综合最优通信分散离散事件控制器。 ECC公司 2009 : 2602-2607 2008 [j8] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 卢卡·卡洛尼 , 保罗·卡斯皮 , 阿尔贝托·桑吉奥瓦尼·文森特利 :
组成异质反应系统。 ACM变速器。 嵌入。 计算。 系统。 7 ( 4 ) : 43:1-43:36 ( 2008 ) [i2] 贝诺·特·德拉哈耶 , 贝诺·特凯劳德 :
假设/担保合同的概率推理模型。 CoRR公司 abs/0811.1151 ( 2008 ) 2007 [j7] 埃里克·巴杜埃尔 , 马雷克·贝德纳尔奇克 , 安德烈·博尔兹科夫斯基(Andrzej M.Borzyszkowski) , 贝诺·特凯劳德 , 菲利普·达隆多 :
并发秘密。 谨慎。 事件动态。 系统。 17 ( 4 ) : 425-446 ( 2007 ) [j6] 杜米特鲁·波托普·布图卡鲁 , 贝诺·特凯劳德 :
模块化同步规范的正确构造异步实现。 芬达姆。 信息学 78 ( 1 ) : 131-159年 ( 2007 ) [第19条] S.劳里·瑞克 , 贝诺·特凯劳德 :
注意差距:在分散的离散事件控制中扩大通信选项。 疾病预防控制中心 2007 : 5924-5929 [第18条] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 阿尔贝托·费拉里 , 莱昂纳多·曼格鲁卡 , 罗伯托·帕塞罗内 , 克里斯托斯·索夫罗尼斯 :
基于合同的多视角规范和设计。 FMCO公司 2007 : 200-225 [i1] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 罗伯托·帕塞罗内 :
嵌入式系统合同的通用模型。 CoRR公司 abs/0706.1456 ( 2007 ) 2006 [j5] 杜米特鲁·波托普·布图卡鲁 , 贝诺·特凯劳德 , 阿尔伯特·本文尼斯特 :
同步系统中的并发。 形式方法系统。 设计。 28 ( 2 ) : 111-130 ( 2006 ) [第17条] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 卢卡·卡洛尼 , 保罗·卡斯皮 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 斯塔夫罗斯·特里帕基斯 :
在时间敏感的分布式系统中通过采样进行通信。 EMSOFT公司 2006 : 152-160 2005 [第16条] 杜米特鲁·波托普·布图卡鲁 , 贝诺·特凯劳德 :
通过构造纠正模块化同步规范的异步实现。 ACSD系统 2005 : 48-57 [第15条] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 卢卡·P·卡洛尼 , 阿尔贝托·桑吉奥瓦尼·文森特利 :
标记机器。 EMSOFT公司 2005 : 255-263 [第14条] Jean-Pierre Talpin女士 , 杜米特鲁·波托普·布图卡鲁 , 朱利安·欧伊 , 贝诺·特凯劳德 :
从多锁同步进程到对延迟不敏感的模块。 EMSOFT公司 2005 : 282-285 [第13条] Sohini Dasgupta公司 , 杜米特鲁·波托普·布图卡鲁 , 贝诺·特凯劳德 , 亚历山大·雅科夫列夫 :
从弱内时系统转向延迟敏感电路。 FMGALS@MEMOCODE 2005 : 81-103 2004 [第12条] 杜米特鲁·波托普·布图卡鲁 , 贝诺·特凯劳德 , 阿尔伯特·本文尼斯特 :
同步系统中的并发。 ACSD系统 2004 : 67-78 [第11条] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 卢卡·卡洛尼 , 保罗·卡斯皮 , 阿尔贝托·桑吉奥瓦尼·文森特利 :
异构反应系统建模:捕获因果关系和松散时间触发架构(LTTA)的正确性。 EMSOFT公司 2004 : 220-229 [第10条] 雅克·克莱恩 , 贝诺·特凯劳德 , 洛伊克·赫鲁特 :
合并场景。 飞行管理信息系统 2004 : 193-215 2003 【c9】 马雷克·贝德纳西克 , 卢卡·贝纳丁内洛 , 贝诺·特凯劳德 , 维斯拉夫·帕洛夫斯基(Wieslaw Pawlowski) , 露西娅·波梅洛 :
模块化系统开发与回拖。 ICATPN公司 2003 : 140-160 【c8】 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 卢卡·卡洛尼 , 保罗·卡斯皮 , 阿尔贝托·桑吉奥瓦尼·文森特利 :
异构反应系统建模中的因果关系和调度约束。 FMCO公司 2003 : 1-16 2002 【j4】 埃里克·巴杜埃尔 , 贝诺·特凯劳德 , 菲利普·达伦多 :
通过Petri网综合分配有限自动机。 形式方面计算。 13 ( 6 ) : 447-470 ( 2002 ) [j3] 洛伊克·赫鲁特 , 克劳德·贾德 , 贝诺·特凯劳德 :
一种基于事件结构的高层消息序列图语义。 数学。 结构。 计算。 科学。 12 ( 4 ) : 377-402 ( 2002 ) 【c7】 贝诺·特凯劳德 , 安卡·穆斯科尔 :
前言。 VISS@ETAPS(预计到达时间) 2002 : 100 [电子1] Benoît Caillaud公司 , 安卡·穆斯科尔 :
基于场景的规范的验证和实施,VISS 2002,ETAPS 2002卫星活动,法国格勒诺布尔,2002年4月6日至14日。 理论计算机科学电子笔记 65(7)中, 爱思维尔 2002 [目录] 2000 [注2] 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 保罗·勒格尼奇 :
数据流同步语言中的组合性:规范和分布式代码生成。 Inf.计算。 163 ( 1 ) : 125-171 ( 2000 ) 【c6】 贝诺·特凯劳德 , 菲利普·达伦多 , 洛伊克·赫鲁特 , 吉尔斯·莱斯文特斯 :
HMSC作为部分规范。。。 完成PN。 移动 2000 : 125-152
1990 – 1999
1999 [j1] 克劳德·贾德 , Jean-Marc Jézéquel女士 , 阿兰·勒古内克 , 贝诺·特凯劳德 :
使用UML的协议工程。 Télé通讯社 54 ( 11-12 ) : 526-538 ( 1999 ) 【c5】 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 保罗·勒格尼 :
从同步到异步。 CONCUR公司 1999 : 162-177 1998 【c4】 Jean-Pierre Talpin女士 , 阿尔伯特·本文尼斯特 , 贝诺·特凯劳德 , 克劳德·贾德 , 扎卡里娅·布齐安内 , 休伯特·卡农 :
BDL,一种分布式反应对象语言。 国际标准化组织 1998 : 196-205 1995 【c3】 西里尔·巴罗 , 贝诺·特凯劳德 , 克劳德·贾德 , 雷内·索拉瓦尔 :
测量规则分布式计算的并发性。 TAPSOFT公司 1995 : 711-725 1993 【c2】 西里尔·巴罗 , 贝诺·特凯劳德 , 克劳德·贾德 , 雷内·索拉瓦尔 :
顺序程序自动分发的正确性。 谈判 1993 : 517-528 1991 【c1】 贝诺·特凯劳德 :
Estelle程序的叠加:观测和控制算法的规范和实现工具。 复地 1991 : 329-344