杰尔·雨果斯
人员信息
优化列表
2020年–今天
2024 [j13] 菲利波斯·福蒂亚迪斯 , 阿里斯·卡内洛普洛斯 , Kyriakos G.Vamvoudakis公司 , 杰尔·雨果斯 :
时钟偏移和量化对基于学习的对抗游戏的影响。 自动。 167 : 111762 ( 2024 ) [公元58年] 苏拉布希·阿塔利 , 菲利波斯·福蒂亚迪斯 , Kyriakos G.Vamvoudakis公司 , 杰尔·雨果斯 :
一种用于防御隐身GNSS欺骗攻击的输出反馈博弈方法。 行政协调会 2024 : 3704-3709 [公元57年] 菲利波斯·福蒂亚迪斯 , 阿里斯·卡内洛普洛斯 , Kyriakos G.Vamvoudakis公司 , 杰尔·雨果斯 :
毒药驱动攻击对最优控制器的学习不利。 行政协调会 2024 : 4838-4843 2023 [公元12年] 杰尔·雨果斯 :
可靠软件技术专刊(AEiC2022)。 J.系统。 阿基特。 135 : 102809 ( 2023 ) [公元56年] 翟丽景 , 菲利波斯·福蒂亚迪斯 , Kyriakos G.Vamvoudakis公司 , 杰尔·雨果斯 :
离散时间系统数据驱动非策略强化学习的计时软件弹性。 行政协调会 2023 : 2782-2787 [公元55年] 翟丽景 , Kyriakos G.Vamvoudakis公司 , 杰尔·雨果斯 :
基于安全随机模型的机会约束策略迭代。 疾病预防控制中心 2023 : 1808-1813 2022 [公元11年] 杰尔·雨果斯 , 萨姆·普洛克特 :
系统开发中的契约:从多关注分析到架构分析和设计语言的保证。 IEEE软件。 39 ( 4 ) : 34-38 ( 2022 ) [公元54年] 翟丽景 , Kyriakos G.Vamvoudakis公司 , 杰尔·雨果斯 :
一种基于不可检测性的网络物理系统图论安全指数。 行政协调会 2022 : 1479-1484 [公元53年] 菲利波斯·福蒂亚迪斯 , 阿里斯·卡内洛普洛斯 , Kyriakos G.Vamvoudakis公司 , 杰尔·雨果斯 :
传感器和执行器时钟偏移对强化学习的影响。 行政协调会 2022 : 2669-2674 [第52条] 杰尔·雨果斯 , 丹妮拉·坎西拉 :
日益自治的CPS:从建筑的角度驯服新兴行为。 AIS安全@IJCAI 2022 [第51条] 约翰·哈特克利夫 , 杰尔·雨果斯 , 丹妮尔·斯图尔特 , 卢兹·沃奇 :
AADL运行时服务的正式化。 ISoLA(2) 2022 : 105-134 [公元50年] 杰尔·雨果斯 , 卢兹·沃奇 , 约翰·哈特克利夫 , 丹妮尔·斯图尔特 :
大型DSML的机械化:AADL和Coq的实验。 记忆码 2022 : 1-9 2021 [公元49年] 翟丽景 , Kyriakos G.Vamvoudakis公司 , 杰尔·雨果斯 :
针对重播攻击的基于切换水印的检测方案。 疾病预防控制中心 2021 : 4200-4205 2020 [公元10年] 哈娜·姆考瓦尔 , 贝希尔·扎利拉 , 杰尔·雨果斯 , 穆罕默德·贾迈埃尔 :
基于AADL模型的软件工程的正式方法。 国际期刊软件。 工具技术。 Transf公司。 22 ( 2 ) : 219-247 ( 2020 ) [公元48年] 杰尔·雨果斯 , 安东·迪莫夫·赫里斯托佐夫 , 约翰·哈达克 , 乔·扬克尔 :
TwinOps-DevOps满足基于模型的工程和CPS工程的数字孪生。 MoDELS(伴侣) 2020 : 94:1-94:5
2010 – 2019
2019 [公元9年] 帕特里克·莱斯夫 , 皮埃尔·德·萨奎·桑奈斯 , 杰尔·雨果斯 :
使用决策点和CSP对SysML模型进行权衡分析。 柔和。 系统。 模型。 18 ( 6 ) : 3265-3281 ( 2019 ) [公元47年] 莱奥·克鲁斯 , 克莱尔·德罗斯 , 克里斯托夫·加里昂 , 杰尔·雨果斯 , 乔弗里·胡格特(Joffrey Huguet) :
通过Frama-C和SPARK为非计算机科学家教授演绎验证。 FM茶 2019 : 23-36 2018 [j8] 纪尧姆·布朗 , 杰尔·雨果斯 , 尼古拉斯·纳韦 :
面向实时嵌入式系统基于模型工程中非功能特性的系统分析。 科学。 计算。 程序。 156 : 1-20 ( 2018 ) [公元46年] 哈娜·姆考瓦尔 , 贝希尔·扎利拉 , 杰尔·雨果斯 , 穆罕默德·贾迈埃尔 :
AADL形式语义生成的陶笛扩展。 囊 2018 : 1402-1409 [i2] 杰尔·雨果斯 , Jean-Marie Gauthier女士 , 拉斐尔·福杜 :
集成AADL和FMI以扩展虚拟集成能力。 CoRR公司 abs/1802.05620 ( 2018 ) 2017 [c45] 朱利安·布鲁内尔 , 彼得·菲勒 , 杰尔·雨果斯 , 布鲁斯·刘易斯 , 塔蒂亚娜·普罗斯维诺娃 , 克里斯特尔·塞金 , 卢兹·沃奇 :
与AADL和AltaRica进行安全分析。 IMBSA公司 2017 : 67-81 [公元44年] 纪尧姆·布朗 , 尼古拉斯·纳韦 , 杰尔·雨果斯 :
实时嵌入式系统设计中的异构模型和分析——航空电子案例研究。 RTNS公司 2017 : 168-177 2016 [j7] 瓦法·加布西 , 贝奇尔·扎利拉 , 杰尔·雨果斯 :
容错可重构实时系统的设计、实现和代码生成的开发过程。 国际汽车杂志。 适应。 Commun公司。 系统。 9 ( 3/4 ) : 269-287 ( 2016 ) [公元43年] 科伦蒂·达曼 , 格雷戈里·爱迪生 , 法布里斯·盖特 , 埃里克·诺拉德 , 卢卡·桑蒂内利 , 杰尔·雨果斯 :
FPGA合成LEON处理器的体系结构性能分析。 RSP公司 2016 : 33-40 [公元42年] 赵晨 , 卢卡·桑蒂内利 , 杰尔·雨果斯 , 乔瓦尼·贝尔特拉姆 :
存在故障时的静态概率定时分析。 SIES公司 2016 : 149-158 2015 [j6] 杰尔·雨果斯 , 奥列格·索科尔斯基 :
专题前言:嵌入式系统的架构驱动语义分析。 科学。 计算。 程序。 106 : 1-2 ( 2015 ) [公元41年] 哈娜·姆考瓦尔 , 贝奇尔·扎利拉 , 杰尔·雨果斯 , 穆罕默德·贾迈埃尔 :
从AADL模型到LNT规范。 阿达·欧罗普 2015 : 146-161 [公元40年] 帕特里克·莱瑟夫 , 皮埃尔·德·萨奎·桑奈斯 , 杰尔·雨果斯 :
使用SysML建模进行多域优化。 ETFA公司 2015 : 1-8 [公元39年] 纪尧姆·布朗 , 杰尔·雨果斯 , 尼古拉斯·纳韦 :
支持目标驱动分析的基于合同的方法。 国际标准化组织 2015 : 236-243 [公元38年] 帕特里克·莱斯夫 , 皮埃尔·德·萨奎·桑奈斯 , 杰尔·雨果斯 , 哈立德·查班 :
使用SysML建模进行架构优化:使用可变性的案例研究。 MODELSWARD(修订论文集) 2015 : 311-327 [公元37年] 帕特里克·莱瑟夫 , 皮埃尔·德·萨奎·桑奈斯 , 杰尔·雨果斯 , 哈立德·查班 :
嵌入式系统设计优化的SysML建模——案例研究。 MODELSWARD公司 2015 : 449-457 [公元36年] 杰尔·雨果斯 , 朱利安·德兰奇 :
ARINC653体系结构的基于模型的设计和自动验证。 RSP公司 2015 : 3-9 [公元35年] 高德隆·马修 , Bois盖伊 , 杰尔·雨果斯 , 费利佩·蒙泰罗 :
AADL模型中ESL设计方法的性能验证。 RSP公司 2015 : 33-37 2014 [公元34年] 杰尔·雨果斯 , 纪尧姆·布朗 :
作为一级公民的分析:架构描述语言的应用。 国际标准化组织 2014 : 214-221 [公元33年] 杰尔·雨果斯 , 克里斯托夫·加里昂 :
利用Ada 2012和SPARK 2014评估AADL模型生成的代码。 HILT公司 2014 : 39-46 2013 [公元32年] 亚辛·乌哈穆 , 埃马纽埃尔·格罗劳 , 杰尔·雨果斯 :
将AADL模型映射到多个可调度性分析技术的存储库。 国际标准化组织 2013 : 1-8 [公元31年] 文森特·高德尔 , 弗兰克·辛霍夫 , 阿兰·普兰泰克 , 杰尔·雨果斯 , 皮埃尔·迪索 , 杰罗姆·罗格朗 :
实施软件工程工具互操作性:AADL子集示例。 RSP公司 2013 : 59-65 2012 [j5] 肯尼思·肯特 , 杰尔·雨果斯 :
《快速系统原型制作》专刊编辑。 柔和。 实际。 支出。 42 ( 7 ) : 779 ( 2012 ) [i1] 彼得·菲勒 , 杰尔·雨果斯 , 奥列格·索科尔斯基 :
嵌入式系统的架构驱动语义分析(Dagstuhl研讨会12272)。 达格斯图尔报告 2 ( 7 ) : 30-55 ( 2012 ) 2011 【b1】 约翰·麦考密克 , 弗兰克·辛霍夫 , 杰尔·雨果斯 :
使用Ada构建并行、嵌入式和实时应用程序。 剑桥大学出版社 2011 ,国际标准图书编号 978-0-521-19716-8 第I-XVII页,1-368页 【j4】 奥利维尔·吉尔斯 , 杰尔·雨果斯 :
基于MDE的实时系统优化过程:使用实际DSL和转换和启发式库在架构级别优化系统。 计算。 系统。 科学。 工程师。 26 ( 6 ) ( 2011 ) [公元30年] 吉勒·拉斯尼尔 , 劳伦特·鲍特 , 杰尔·雨果斯 , 卢兹·沃奇 :
AADL工具集Osate2中行为附件的实现。 ICECCS公司 2011 : 332-337 [公元29年] 斯特凡·鲁比尼 , 弗兰克·辛霍夫 , 杰尔·雨果斯 :
使用AADL和REAL对内存体系结构进行建模和验证。 ICECCS公司 2011 : 338-343 [公元28年] 吉尔斯·拉尼尔 , 劳伦特·鲍特 , 杰尔·雨果斯 :
验证和实现高集成系统的基于模型的转换过程。 国际标准化组织 2011 : 67-74 2010 [j3] 约根·汉森 , 卢兹·沃奇 , 彼得·菲勒 , 英国政治家莫利 , 布鲁斯·刘易斯 , 杰尔·雨果斯 :
验证安全性和非功能性行为的体系结构建模。 IEEE安全。 私人。 8 ( 1 ) : 43-49 ( 2010 ) [公元27年] 朱利安·德兰奇 , 劳伦特·鲍特 , 杰尔·雨果斯 , 迪奥尼西奥·德尼兹 :
基于MDE的安全关键系统设计、实施和验证过程。 ICECCS公司 2010 : 319-324 [公元26年] 奥利维尔·吉尔斯 , 杰尔·雨果斯 :
表达和实施AADL模型的用户定义约束。 ICECCS公司 2010 : 337-342 [公元25年] 奥利维尔·吉尔斯 , 杰尔·雨果斯 :
实时系统的基于MDE的优化过程。 国际标准化组织 2010 : 50-57
2000 – 2009
2009 [公元24年] 吉尔斯·拉尼尔 , 贝奇尔·扎利拉 , 劳伦特·鲍特 , 杰尔·雨果斯 :
Ocarina:用于高完整性应用程序的AADL模型分析和自动代码生成的环境。 阿达·欧罗普 2009 : 237-250 【c23】 Xavier雷诺 , Fabrice Kordon公司 , 杰尔·雨果斯 :
从AADL架构模型到Petri网:检查模型的可行性。 国际标准化组织 2009 : 313-320 [公元22年] Xavier雷诺 , Fabrice Kordon公司 , 杰尔·雨果斯 :
将模型调整为模型检查器,案例研究:使用时间或有色Petri网分析AADL。 IEEE快速系统原型国际研讨会 2009 : 26-33 【c21】 奥利维尔·吉尔斯 , 杰尔·雨果斯 :
面向实时系统的基于模型的优化,AADL的应用。 RTCSA公司 2009 : 129-134 2008 [注2] 伊尔凡·哈米德 , 贝奇尔·扎利拉 , 埃利·纳伊姆 , 杰尔·雨果斯 :
硬实时应用程序的自动框架生成。 因诺夫。 系统。 柔和。 工程师。 4 ( 1 ) : 107-122 ( 2008 ) [j1] 杰尔·雨果斯 , 贝奇尔·扎利拉 , 劳伦特·鲍特 , Fabrice Kordon公司 :
使用Ocarina AADL工具套件从原型到最终嵌入式系统。 ACM事务处理。 嵌入。 计算。 系统。 7 ( 4 ) : 42:1-42:25 ( 2008 ) [公元20年] Xavier雷诺 , 杰尔·雨果斯 , Fabrice Kordon公司 :
通用中间件的形式化建模以确保属性的不变性。 FMOODS公司 2008 : 185-200 [第19条] 贝奇尔·扎利拉 , 劳伦特·鲍特 , 杰尔·雨果斯 :
迈向中间件的自动生成。 国际标准化组织 2008 : 221-228 [第18条] 杰尔·雨果斯 , 马克西姆·佩罗廷 , 塔纳西斯·齐奥德拉斯 :
将MDE用于空间关键系统的快速原型制作。 IEEE快速系统原型国际研讨会 2008 : 10-16 [第17条] Fabrice Kordon公司 , 杰尔·雨果斯 , Xavier雷诺 :
从模型驱动工程到验证驱动工程。 东南欧 2008 : 381-393 [第16条] 奥利维尔·吉尔斯 , 杰尔·雨果斯 :
在体系结构级别应用WCET分析。 WCET公司 2008 2007 [第15条] 贝奇尔·扎利拉 , 伊尔凡·哈米德 , 杰尔·雨果斯 , 劳伦特·鲍特 :
根据体系结构描述生成分布式高完整性应用程序。 阿达·欧罗普 2007 : 155-167 [第14条] 哈立德·巴巴拉 , 杰尔·雨果斯 , 劳伦特·鲍特 :
关键分布式应用程序通用共识组件的设计和性能。 阿达·欧罗普 2007 : 208-220 [第13条] 何塞·安东尼奥·普利多 , 胡安·安东尼奥·德拉普恩特 , 杰尔·雨果斯 , 马泰奥·博尔丁 , 图利奥·瓦尔达内加 :
Ada 2005基于元模型的代码生成的代码模式。 IRTAW公司 2007 : 53-58 [第12条] 杰尔·雨果斯 , 贝奇尔·扎利拉 , 劳伦特·鲍特 :
结合模型处理和中间件配置构建分布式高集成系统。 国际标准化组织 2007 : 307-312 [第11条] 杰尔·雨果斯 , 贝奇尔·扎利拉 , 劳伦特·鲍特 , Fabrice Kordon公司 :
使用AADL和Ocarina快速原型化分布式实时嵌入式系统。 IEEE快速系统原型国际研讨会 2007 : 106-112 [第10条] 伊尔凡·哈米德 , 埃利·纳伊姆 , 杰尔·雨果斯 :
构建硬实时应用程序框架的生成方法。 SEW公司 2007 : 269-278 2006 【c9】 杰尔·雨果斯 , 劳伦特·鲍特 , Fabrice Kordon公司 :
DRE中间件框架,DDS应用程序。 国际标准化组织 2006 : 224-231 【c8】 杰尔·雨果斯 , 劳伦特·鲍特 , 贝奇尔·扎利拉 :
从MDD到全工业过程:为高集成领域构建分布式实时嵌入式系统。 蒙特雷研讨会 2006 : 35-52 【c7】 贝奇尔·扎利拉 , 杰尔·雨果斯 , 劳伦特·鲍特 :
一个改进的IDL编译器,用于优化CORBA应用程序。 SIGAda公司 2006 : 21-28 2005 【c6】 杰尔·雨果斯 , 劳伦特·鲍特 , Fabrice Kordon公司 :
回顾DRE系统的COTS中间件。 国际标准化组织 2005 : 72-79 [c5] 杰尔·雨果斯 , Fabrice Kordon公司 , 劳伦特·鲍特 , 托马斯·维尔格诺 :
设计和构建可定制和可验证中间件的工厂。 蒙特雷研讨会 2005 : 121-142 【c4】 托马斯·维尔格诺 , 杰尔·雨果斯 , 劳伦特·鲍特 , Fabrice Kordon公司 :
定制中间件的快速开发方法。 IEEE快速系统原型国际研讨会 2005 : 111-117 2004 【c3】 托马斯·维尔格诺 , 杰尔·雨果斯 , 劳伦特·鲍特 , Fabrice Kordon公司 :
PolyORB:用于构建多功能可靠分布式应用程序的精神分裂症中间件。 阿达·欧罗普 2004 : 106-119 【c2】 杰尔·雨果斯 , 托马斯·维尔格诺 , 劳伦特·鲍特 , Yann Thierry-Mieg公司 , Souheib Baarir公司 , Fabrice Kordon公司 :
论中间件行为属性的形式化验证。 飞行管理信息系统 2004 : 139-157 2003 【c1】 杰尔·雨果斯 , 劳伦特·鲍特 , Fabrice Kordon公司 :
中间件架构对原型分发基础设施的贡献。 IEEE快速系统原型国际研讨会 2003 : 124-