罗伯特·德西蒙
人员信息
其他同名人员
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元55年] 法比安·塞隆 , 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , 达米安·查布罗 , 阿米拉·梅特尼 :
基于同步逻辑执行时间的PsyC语义基础。 CPS-IoT周研讨会 2023 : 319-324 2020 [公元54年] 刘谦(音) , 罗伯特·德西蒙 , 陈晓红 , 洁香康 , 刘静(音译) , 魏茵 , Hui Wang(王慧) :
带自动驾驶辅助系统的移动网络物理系统的多形式逻辑时空。 亚太经合组织 2020 : 415-424 [c53] 刘谦(音) , 罗伯特·德西蒙 , 陈晓红 , 刘静(音译) :
自动驾驶辅助系统规范的多形式逻辑时空:工作进展。 EMSOFT公司 2020 : 22-24
2010 – 2019
2018 [第52条] 亚历山大·舒尔兹·罗森加滕 , 莱因哈德·冯·汉克斯利登 , 油炸木槌 , 罗伯特·德西蒙 , 朱利安·迪安托尼 :
SCCharts中的时间。 FDL公司 2018 : 5-16 [第51条] 乔瓦尼·利博尼 , 朱利安·迪恩托尼 , 安东尼奥·波塔卢里 , 戴维德·夸利亚 , 罗伯特·德西蒙 :
超越时间触发的网络物理系统协同模拟,以提高性能和准确性。 急流 2018 : 2:1-2:8 2017 [公元50年] 珍妮·维文·米洛 , 阿明·乌斯拉蒂(Amine Oueslati) , 埃米利安·科夫曼 , 朱利安·德安东尼 , 油炸木槌 , 罗伯特·德西蒙 :
用MARTE/CCSL显式控制数据流图。 建模软件 2017 : 542-549 2016 [公元49年] 斯特凡诺·森托莫 , 朱利安·迪安托尼 , 罗伯特·德西蒙 :
在FMI协同模拟环境中使用SystemC网络模型:结果和FMI改进建议。 DSD公司 2016 : 318-325 [公元48年] 罗伯特·德西蒙 :
主题演讲二:Me/Mo代码设计的多形式逻辑时间。 记忆码 2016 : 77 [公元47年] 埃米利安·科夫曼 , 罗伯特·德西蒙 :
一种在异构多核、能量感知架构上映射任务的正式方法。 记忆码 2016 : 153-162 [公元46年] 徐庆国 , 罗伯特·德西蒙 , 朱利安·德安东尼 :
基于时钟因果链的CCSL规范的发散检测。 设置 2016 : 18-37 [公元45年] 徐庆国 , 淮口苗族 , 罗伯特·德西蒙 , 朱利安·德安东尼 :
无限逻辑时钟的基于瞬时和基于状态的分析。 软着陆+MSVL 2016 : 32-51 2015 [公元23年] 油炸木槌 , 罗伯特·德西蒙 :
MARTE/CCSL约束的正确性问题。 科学。 计算。 程序。 106 : 78-92 ( 2015 ) [公元22年] 珍妮·维文·米洛 , 埃米利安·科夫曼 , 罗伯特·德西蒙 :
在基于NoC的多核心体系结构上建模和分析数据流应用程序。 ACM事务处理。 嵌入。 计算。 系统。 14 ( 三 ) : 46:1-46:25 ( 2015 ) [c44] 劳尔·戈西茨 , 埃米利安·科夫曼 , 托马斯·卡尔 , 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 :
静态/离线实时调度约束求解的可扩展性。 格式 2015 : 108-123 [i2] 穆罕默德·阿明·伯加赫 , 埃米利安·科夫曼 , 罗伯特·德西蒙 , 谢尔盖·蒂索特 , 米歇尔·西斯卡 :
用于雷达处理应用的GPU上的高效FFT映射:建模和实现。 CoRR公司 腹肌/1505.08067 ( 2015 ) 2014 [公元43年] 托马斯·卡尔 , 曼内尔·杰马尔 , 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , Zhen Zhang先生 :
实时应用程序到大规模并行处理器阵列的静态映射。 ACSD系统 2014 : 112-121 [公元42年] Amani Khecharem公司 , 梅兹 , 朱利安·迪安托尼 , 油炸木槌 , 罗伯特·德西蒙 :
使用多视图方法执行热分析的异构模型。 FDL公司 2014 : 1-8 [公元41年] 托马斯·卡尔 , 马内尔·杰马尔 , 丹尼尔·天才 , 弗朗索瓦·佩丘 , 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , 弗兰克·沃伊斯布吕特 , Zhen Zhang先生 :
通过离线映射协调多核上的性能和可预测性。 ReCoSoC公司 2014 : 1-8 2013 [公元21年] 珍妮·维文·米洛 , 罗伯特·德西蒙 :
用于在处理器阵列上实现细胞自动机的显式路由方案。 自然计算。 12 ( 三 ) : 353-368 ( 2013 ) [公元40年] 凌音 , 刘静(音译) , 左华鼎 , 油炸木槌 , 罗伯特·德西蒙 :
基于CCSL规范的可调度性分析。 亚太经合组织(1) 2013 : 414-421 [公元39年] 油炸木槌 , 珍妮·维文·米洛 , 罗伯特·德西蒙 :
安全CCSL规范和标记图。 记忆码 2013 : 157-166 [电子3] 米歇尔·奥古因 , 罗伯特·德西蒙 , 罗伯特·戴维斯 , 艾曼纽·格鲁劳 :
第21届实时网络和系统国际会议,RTNS 2013,Sophia Antipolis,法国,2013年10月17-18日。 ACM公司 2013 ,国际标准图书编号 978-1-4503-2058-0 [目录] 2012 [公元20年] 珍妮·维文·米洛 , 罗伯特·德西蒙 :
使用平衡二进制字的标记图的周期调度。 西奥。 计算。 科学。 458 : 113-130 ( 2012 ) [公元38年] 曼内尔·杰马尔 , 罗伯特·德西蒙 , 弗朗索瓦·佩丘 , 弗兰克·沃伊斯布吕特 , 杜米特鲁·波托普·布图卡鲁 , Zhen Zhang先生 :
可编程路由器,用于将应用程序高效映射到基于NoC的MPSoC。 DASIP公司 2012 : 1-8 [i1] 珍妮·维文·米洛 , 罗伯特·德西蒙 :
使用平衡二进制字的标记图的周期调度。 CoRR公司 abs/1202.4912 ( 2012 ) 2011 [j19] 杜米特鲁·波托普·布图卡鲁 , 伊夫·索雷尔 , 罗伯特·德西蒙 , Jean-Pierre Talpin女士 :
从并发多块程序到确定性异步实现。 芬达姆。 信息学 108 ( 1-2 ) : 91-118 ( 2011 ) [公元18年] 油炸木槌 , 查尔斯·安德烈 , 罗伯特·德西蒙 :
逻辑时间:规范与实现。 ACM SIGSOFT软件。 工程注释 36 ( 1 ) : 1-8 ( 2011 ) 2010 [公元17年] 伊莎贝尔·佩塞尔 , Jean-Michel布鲁尔 , 阿古斯蒂运河 , 罗伯特·德西蒙 , 塞巴斯蒂安·热拉尔 , 埃利·纳伊姆 :
特刊简介:UML&FM’2009年的论文。 因诺夫。 系统。 柔和。 工程师。 6 ( 1-2 ) : 1-3 ( 2010 ) [公元16年] 油炸木槌 , 朱利安·德安东尼 , 查尔斯·安德雷 , 罗伯特·德西蒙 :
用于构建定时因果关系模型的时钟约束规范语言-应用于同步数据流图。 因诺夫。 系统。 柔和。 工程师。 6 ( 1-2 ) : 99-106 ( 2010 ) [公元37年] 于华峰 , Jean-Pierre Talpin女士 , 洛伊克·贝斯纳德 , 蒂埃里·戈蒂埃 , 油炸木槌 , 查尔斯·安德烈 , 罗伯特·德西蒙 :
UML MARTE中时序约束的多时分析。 ISORC研讨会 2010 : 145-151 [第4页] 朱利安·布卡隆 , 安东尼·考杜 , 罗伯特·德西蒙 :
具有显式调度和路由的嵌入式系统的形式化建模。 嵌入式软件综合 2010 : 41-78 [第3页] 查尔斯·安德烈 , 朱利安·德安东尼 , 油炸木槌 , 罗伯特·德西蒙 :
OMG MARTE配置文件中可用的逻辑时钟时间模型。 嵌入式软件的综合 2010 : 201-227 [第2页] 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , 伊夫·索雷尔 :
从同步规范到静态调度硬实时实现。 嵌入式软件综合 2010 : 229-262
2000 – 2009
2009 [c36] 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , 伊夫·索雷尔 , Jean-Pierre Talpin女士 :
从并发多块程序到确定性异步实现。 ACSD系统 2009 : 42-51 [公元35年] 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , 伊夫·索雷尔 , Jean-Pierre Talpin女士 :
时钟驱动的内同步程序的分布式实时实现。 EMSOFT公司 2009 : 147-156 [公元34年] 阿米尔·梅胡特·汗 , 油炸木槌 , 查尔斯·安德烈 , 罗伯特·德西蒙 :
具有抽象时间特征的IP-XACT组件。 FDL公司 2009 : 1-6 [公元33年] 朱利安·布卡隆 , 安东尼·考杜 , 罗伯特·德西蒙 :
延迟不敏感设计:重试中继站和Fusion Shell。 FMGALS@日期 2009 : 23-33 [第1页] 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , Jean-Pierre Talpin女士 :
同步假设与多时语言。 嵌入式系统设计与验证 2009 : 6 2008 [公元32年] 弗雷德里克·马莱特 , 罗伯特·德西蒙 :
离散事件域和离散时间域的MARTE与AADL。 FDL(精选论文) 2008 : 27-41 [公元31年] 油炸木槌 , 罗伯特·德西蒙 , 劳伦特·里奥克斯 :
事件触发与UML MARTE时间触发通信。 FDL公司 2008 : 154-159 [公元30年] 苏扬·李 , 油炸木槌 , 罗伯特·德西蒙 :
使用UML MARTE处理AADL端到端流延迟。 ICECCS公司 2008 : 228-233 [公元29年] 油炸木槌 , 罗伯特·德西蒙 :
MARTE:RT/E系统建模、分析概要- 和模拟 ? SimuTools(模拟工具) 2008 : 43 [电子2] 阿兰·吉罗 , 罗伯特·德西蒙 :
第三届全球异步局部同步设计形式化方法国际研讨会论文集, FMGALS@MEMOCODE 2007年5月29日,法国尼斯。 理论计算机科学电子笔记 200(1), 爱思维尔 2008 [目录] 2007 [公元15年] 朱利安·布卡隆 , 罗伯特·德西蒙 , 珍妮·维文·米洛 :
滞后不敏感设计调度的形式化方法。 EURASIP J.嵌入。 系统。 2007 ( 2007 ) [公元28年] 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , 伊夫·索雷尔 :
确定性去同步的必要和充分条件。 EMSOFT公司 2007 : 124-133 [公元27年] 油炸木槌 , 查尔斯·安德雷 , 罗伯特·德西蒙 :
即时与延迟数据通信的建模:从AADL到UML Marte。 FDL公司 2007 : 249-254 [公元26年] 罗伯特·德西蒙 , 查尔斯·安德烈 :
MARTE中的时间建模。 FDL公司 2007 : 268-273 [公元25年] 马德琳·福盖尔 , 蒂莫泰·鲍博 , 罗伯特·德西蒙 , 塞巴斯蒂安·杰拉德 :
MARTE:也是一个建模AADL应用程序的UML概要文件。 ICECCS公司 2007 : 359-364 [公元24年] 查尔斯·安德烈 , 油炸木槌 , 罗伯特·德西蒙 :
建模时间。 模型 2007 : 559-573 【c23】 阿兰·吉罗 , 罗伯特·德西蒙 :
前言。 FMGALS@MEMOCODE 2007 : 1-2 2006 [公元14年] 埃里克·维奇 , 罗伯特·德西蒙 :
语法驱动的优化,用于ESTEREL程序的可达状态空间构建。 国际期刊嵌入。 系统。 2 ( 3/4 ) : 228-238 ( 2006 ) [j13] 罗伯特·德西蒙 , 查尔斯·安德烈 :
走向“同步-反应”UML概要? Int.J.软件。 技术工具。 变压器。 8 ( 2 ) : 146-155 ( 2006 ) [公元22年] 朱利安·布卡隆 , 罗伯特·德西蒙 , 珍妮·维文·米洛 :
延迟不敏感设计和中央重复调度。 记忆码 2006 : 175-183 2005 [公元12年] 保罗·卡斯皮 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 路易斯·阿尔梅达 , 阿尔伯特·本文尼斯特 , 布鲁诺·布伊索努斯 , 乔治·布塔佐 , 伊维卡·克伦科维奇 , 沃纳·达姆 , 雅各布·恩格布洛姆 , 格哈德·福勒 , 马里索尔·加西亚·瓦尔斯 , 赫尔曼·科佩兹 , 亚辛·拉赫内克 , 弗朗索瓦·拉鲁西尼 , 卢西亚诺·拉瓦尼奥 , 朱塞佩·利帕里 , 弗洛伦斯·马兰尼奇 , 菲利普·佩蒂 , 胡安·安东尼奥·德拉普恩特 , 诺曼·斯凯夫 , 约瑟夫·西法基斯 , 罗伯特·德西蒙 , 马丁·特伦格伦 , 保罗·维里西莫 , 安迪·威林斯(Andy J.Wellings) , 莱因哈德·威廉姆 , 蒂姆·A·C·威廉斯 , 王毅 :
嵌入式软件和系统研究生课程指南。 ACM事务处理。 嵌入。 计算。 系统。 4 ( 三 ) : 587-611 ( 2005 ) [公元11年] 奥利维尔·塔迪厄 , 罗伯特·德西蒙 :
酯酶中的环。 ACM事务处理。 嵌入。 计算。 系统。 4 ( 4 ) : 708-750 ( 2005 ) 【c21】 埃里克·维奇 , 罗伯特·德西蒙 :
同步无功程序的语法驱动可达状态空间构造。 CAV汽车 2005 : 213-225 [公元20年] 阿诺德·库库鲁 , 罗伯特·德西蒙 , 蒂埃里·索尼尔 , Günther Siegel公司 , 伊夫·索雷尔 :
P2I:嵌入式实时系统的创新MDA方法。 DSD公司 2005 : 26-33 [第19条] 朱利安·布卡隆 , 珍妮·维文·米洛 , 罗伯特·德西蒙 :
延迟不敏感设计中的中继站再看一眼。 FMGALS@MEMOCODE 2005 : 41-59 【r1】 罗伯特·德西蒙 , Jean-Pierre Talpin女士 , 杜米特鲁·波托普·布图卡鲁 :
同步假设和同步语言。 嵌入式系统手册 2005 2004 [第18条] 奥利维尔·塔迪厄 , 罗伯特·德西蒙 :
用Esterel重写程序治疗精神分裂症。 记忆码 2004 : 39-48 [第17条] 埃里克·维奇 , 罗伯特·德西蒙 :
用于Esterel程序模型检查的句法驱动行为划分。 ETAPS时的SLAP 2004 : 19-35 2003 [公元10年] 阿尔伯特·本韦尼斯特 , 保罗·卡斯皮 , 斯蒂芬·爱德华兹 , 尼古拉斯·哈尔巴赫斯 , 保罗·勒格尼奇 , 罗伯特·德西蒙 :
12年后,同步语言出现了。 程序。 电气与电子工程师协会 91 ( 1 ) : 64-83 ( 2003 ) [第16条] 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 :
优化以更快地执行Esterel程序。 记忆码 2003 : 227-236 [第15条] 奥利维尔·塔迪厄 , 罗伯特·德西蒙 :
纯酯中的瞬时终止。 萨斯 2003 : 91-108 2002 [公元9年] 戴维德·桑吉奥吉 , 罗伯特·德西蒙 :
1998年第九届国际并发理论会议——编辑。 西奥。 计算。 科学。 274 ( 1-2 ) : 1 ( 2002 ) 2000 [j8] 杰拉德·贝瑞 , 阿马尔·布瓦利 , 泽维尔·福纳里 , 埃曼纽尔·莱迪诺 , 埃里克·纳索尔 , 罗伯特·德西蒙 :
ESTEREL:一种应用于航空电子软件开发的形式化方法。 科学。 计算。 程序。 36 ( 1 ) : 5-25 ( 2000 )
1990 – 1999
1998 [电子1] 戴维德·桑吉奥吉 , 罗伯特·德西蒙 :
CONCUR’98:并发理论,第九届国际会议,法国尼斯,1998年9月8日至11日,会议记录。 计算机科学课堂讲稿 1466, 施普林格 1998 ,国际标准图书编号 3-540-64896-8 [目录] 1996 [j7] 克里斯托夫·迪奥 , 罗伯特·德西蒙 , 克里斯蒂安·惠特马 :
使用ESTEREL自动设计通信协议。 J.高速网络 5 ( 2 ) : 109-124 ( 1996 ) [j6] Frédéric Boussinot先生 , 罗伯特·德西蒙 :
SL同步语言。 IEEE传输。 软件工程。 22 ( 4 ) : 256-266 ( 1996 ) [第14条] 阿马尔·布瓦利 , 安妮·雷苏切 , 瓦莱里·罗伊 , 罗伯特·德西蒙 :
FC2TOOLS集合。 阿马斯特 1996 : 595-598 [第13条] 阿马尔·布瓦利 , 安妮·雷苏切 , 瓦莱里·罗伊 , 罗伯特·德西蒙 :
FC2TOOLS集合。 CAV汽车 1996 : 441-445 [第12条] 阿马尔·布瓦利 , Jean-Paul Marmorat公司 , 罗伯特·德西蒙 , 霍丽亚·托马 :
验证ESTEREL中编程的同步无功系统。 FTRTFT公司 1996 : 463-466 [第11条] 阿马尔·布瓦利 , 安妮·雷苏切 , 瓦莱里·罗伊 , 罗伯特·德西蒙 :
FC2TOOLS集合(工具演示)。 TACAS公司 1996 : 396 1995 [第10条] 莫妮卡·拉拉·德索萨 , 罗伯特·德西蒙 :
使用PO方法验证行为等效性。 复地 1995 : 75-90 1994 【c9】 罗伯特·德西蒙 , 安妮·雷苏切 :
ESTEREL的合成语义学与合成约简的验证。 CAV汽车 1994 : 441-454 【c8】 Jean-Claude费尔南德斯 , 约瑟夫·西法基斯 , 罗伯特·德西蒙 :
基于模型的验证方法和工具(摘要)。 CONCUR公司 1994 : 64 1992 [j5] 瓦莱里·罗伊 , 罗伯特·德西蒙 :
自动/签名。 形式方法系统。 设计。 1 ( 2/3 ) : 239-249 ( 1992 ) 【c7】 阿马尔·布瓦利 , 罗伯特·德西蒙 :
符号互模拟最小化。 CAV汽车 1992 : 96-108 1991 【j4】 Frédéric Boussinot先生 , 罗伯特·德西蒙 :
ESTEREL语言。 程序。 电气与电子工程师协会 79 ( 9 ) : 1293-1304 ( 1991 ) 【c6】 阿马尔·布瓦利 , 罗伯特·德西蒙 :
有理代数过程的因果模型。 CONCUR公司 1991 : 18-19 1990 【c5】 瓦莱里·罗伊 , 罗伯特·德西蒙 :
自动/签名。 CAV汽车 1990 : 65-75 【c4】 瓦莱里·罗伊 , 罗伯特·德西蒙 :
自动/签名。 CAV(DIMACS/AMS卷) 1990 : 477-492
1980 – 1989
1989 【c3】 热拉尔·布多尔 , 瓦莱里·罗伊 , 罗伯特·德西蒙 , 迪迪埃·维尔加米尼 :
过程微积分,从理论到实践:验证工具。 有限状态系统的自动验证方法 1989 : 1-10 1985 [j3] 罗伯特·德西蒙 :
Meije SCCS中的高级同步设备。 西奥。 计算。 科学。 37 : 245-267 ( 1985 ) 【c2】 热拉尔·布多尔 , 杰拉德·鲁卡罗尔 , 罗伯特·德西蒙 :
Petri网和过程的代数计算。 Petri网的应用与理论 1985 : 41-58 【c1】 热拉尔·布多尔 , 杰拉德·鲁卡罗尔 , 罗伯特·德西蒙 :
过程的Petri网和代数演算。 STACS公司 1985 : 59-70 1984 [注2] 罗伯特·德西蒙 :
关于Meije和SCCS:无限和算子VS.无保护定义。 西奥。 计算。 科学。 30 : 133-138 ( 1984 ) [j1] 罗伯特·德西蒙 :
Langages Infinitaires和Produit de Mixage。 西奥。 计算。 科学。 31 : 83-100 ( 1984 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)