埃里克·杰恩
人员信息
其他同名人员
优化列表
2020年–今天
2024 【c21】 达米安·查布罗 , 纪尧姆·法沃林 , 埃里克·杰恩 :
分布式航空航天着陆系统的sLET。 日期 2024 : 1-2 [i5] 穆罕默德·贝尔凯德 , 埃里克·邦纳福斯 , 路易斯·克里斯 , 克里斯托夫·福雷 , 埃里克·杰恩 , 克莱尔·佩吉蒂 :
用于监视任务的认证ML目标检测。 CoRR公司 abs/2406.12362 ( 2024 ) 2023 [公元20年] 埃里克·卢巴特 , 埃里克·杰恩 , 多米尼克·布劳因 , 马克·考夫曼 :
面向多CPU分布式同步软件应用程序的开发过程。 MoDELS(伴侣) 2023 : 549-558 2022 [第19条] 纪尧姆·布朗 , 埃里克·杰恩 , 西尔瓦娜·拉杜 :
基于Capella的纳米/微型卫星可用性早期评估工具。 IMBSA公司 2022 : 155-169 [第18条] 莫拉约·阿德朱马 , 克里斯托夫·阿利克斯 , 路易斯·坎塔特 , 埃里克·杰恩 , 朱丽叶·马蒂奥利 , 鲍里斯·罗伯特 , 法比安·齐尔哈特 , 珍妮·卢克·沃林 :
工程可靠人工智能系统。 SoSE公司 2022 : 458-463 2021 [i4] 西里尔·卡皮 , 卡米尔·查普德莱恩 , 劳伦特·加德斯 , 埃里克·杰恩 , 巴普蒂斯特·莱夫维尔 , 西尔瓦恩·皮卡德 , 托马斯·索马蒙 :
数据集定义标准(DDS)。 CoRR公司 腹肌/2101.03020 ( 2021 ) [i3] 埃尔维·德尔塞尼 , 克里斯托夫·加布里奥 , 阿德里安·高夫里亚乌 , 伯纳德·博杜因 , 卢多维克·蓬索莱 , 卢西安·阿列库 , 雨果斯·波宁 , Brice Beltran公司 , 迪迪埃·杜切尔 , 让·布里斯·吉内斯特 , 亚历山大·埃尔维厄 , 吉兰·马丁内斯 , 西尔万·帕斯克特 , 凯文·德尔马斯 , 克莱尔·佩吉蒂 , Jean-Marc加布里埃尔 , 卡米尔·查普兰 , 西尔瓦恩·皮卡德 , 马蒂厄·达穆尔 , 西里尔·卡皮 , 劳伦特·加德斯 , 弗洛伦斯·德·格拉西 , 埃里克·杰恩 , 巴普蒂斯特·莱夫维尔 , 格里戈里·弗兰丁 , 塞巴斯蒂安·格奇诺维茨 , 弗兰克·马马莱特 , 亚历山大·阿尔博尔 :
白皮书《认证系统中的机器学习》。 CoRR公司 abs/2103.10529 ( 2021 ) 2020 [c17] 西尔瓦恩·皮卡德 , 卡米尔·查普兰 , 西里尔·卡皮 , 劳伦特·加德斯 , 埃里克·杰恩 , 巴普蒂斯特·莱夫维尔 , 托马斯·索马蒙 :
确保机器学习认证的数据集质量。 ISSRE研讨会 2020 : 275-282 [i2] 西尔瓦恩·皮卡德 , 卡米尔·查普德莱恩 , 西里尔·卡皮 , 劳伦特·加德斯 , 埃里克·杰恩 , 巴普蒂斯特·莱夫维尔 , 托马斯·索马蒙 :
确保机器学习认证的数据集质量。 CoRR公司 abs/2011.01799 ( 2020 )
2010 – 2019
2019 [第16条] 越南元 , 温德林·塞维 , Radu Mateescu公司 , 埃里克·杰恩 :
通过模型检查搜寻多余的锁。 从软件工程到形式化方法和工具,以及返回 2019 : 416-432 [第15条] 阿兰·吉罗 , 尼古拉斯·希利 , 埃里克·杰恩 , 叶尤金(Eugene Yip) :
一种用于多核的多速率精确定时编程语言。 FDL公司 2019 : 1-8 [第14条] 尼古拉斯·希利 , 阿兰·吉罗 , 埃里克·杰恩 :
基于同步语言的确定性多核体系结构的最坏情况反应时间优化。 RTCSA公司 2019 : 1-11 [第13条] 魏孙孙 , 埃里克·杰恩 , 拥抱卡塞 :
验证静态WCET分析:一种方法及其应用。 WCET公司 2019 : 6:1-6:10 2018 [j3] 宁歌 , 阿诺德·迪尤梅加德 , 埃里克·杰恩 , 洛朗·沃辛 :
按照经验证的规范纠正施工规范。 J.软件。 进化。 过程。 30 ( 10 ) ( 2018 ) [注2] 宁歌 , 埃里克·杰恩 , 尼古拉·布雷顿 , 尤安·丰特瑙 :
安全关键软件的集成正式验证。 国际期刊软件。 技术工具。 Transf公司。 20 ( 4 ) : 423-440 ( 2018 ) [第12条] Fabrice Guet面料 , 卢卡·桑蒂内利 , 杰尔·莫里奥 , 纪尧姆·法沃林 , 埃里克·杰恩 :
并行执行实时任务的冲突分析。 WCET公司 2018 : 4:1-4:13 2017 [第11条] 费埃兹·扎利拉 , 埃里克·杰恩 , 马克·潘特尔 :
模型执行和调试-利用现有工具的过程。 MODELSWARD公司 2017 : 401-408 [第10条] 阿诺德·迪尤梅加德 , 宁歌 , 埃里克·杰恩 :
工作中的事件B:从机器人防撞功能的应用中学到的一些经验教训。 非金融市场 2017 : 327-341 【c9】 宁歌 , 阿诺德·迪尤梅加德 , 埃里克·杰恩 , 布鲁诺·德·奥斯堡 , 雅敏·艾特·阿米尔 :
安全关键型嵌入式人机界面系统的正式开发过程。 TASE公司 2017 : 1-8 2016 【c8】 宁歌 , 埃里克·杰恩 , 尼古拉·布雷顿 , 尤安·丰特瑙 :
路虎防撞系统的正式验证。 FMICS AVoCS公司 2016 : 171-188 【c7】 费尔利佩·蒙特罗 , 盖伊·博伊斯 , 埃里克·杰恩 , 凯文·杜普兰蒂尔 :
SpaceStudio图像处理链的体系结构探索与实现 ™ . FPL公司 2016 : 1 【c6】 尼拉杰·库马尔·辛格 , 雅敏·艾特·阿米尔 , 马克·潘特尔 , 阿诺德·迪尤梅加德 , 埃里克·杰恩 :
带有Event-B的自适应系统的逐步形式化建模和验证。自动漫游保护案例研究。 ICECCS公司 2016 : 43-52 [i1] 宁歌 , 阿诺德·迪尤梅加德 , 埃里克·杰恩 , 洛朗·沃辛 :
通过HLL从事件B到验证C。 CoRR公司 abs/1610.07410 ( 2016 ) 2014 【c5】 皮尔雷·阿莱·布迪尔 , 伯纳德·伯托米厄 , 埃里克·杰恩 :
模型检查自动飞行控制系统功能的实时特性。 ISSRE研讨会 2014 : 120-123
2000 – 2009
2009 【c4】 托比亚斯·斯科夫斯 , 埃里克·杰恩 , 圣埃芬·勒里奇 , 开尔文·尼尔森 , 卢多维克·戈蒂尔(Ludovic Gauthier) , 马克·理查德·福伊 :
在AIDA航空电子平台中使用PERC Pico。 JTRES公司 2009 : 169-178 2006 【c3】 彼得·施密特 , 伊莎贝尔·托宁 , 克劳斯·温尼曼 , 埃里克·杰恩 , 圣埃芬·勒里奇 , 詹姆斯·亨特 :
航空电子应用中使用JML进行规范和验证的案例研究。 JTRES公司 2006 : 107-116 [c2] 埃里克·于兴(Erik Yu-Shing Hu) , 埃里克·杰恩 , 尼古拉斯·瓦洛特 , 亚历桑德罗·阿隆索 :
Java的安全关键应用程序和硬实时配置文件:航空电子领域的案例研究。 JTRES公司 2006 : 125-134
1990 – 1999
1999 [j1] 大卫·鲍威尔 , 让·阿拉特 , Ljerka Beus-Dukic公司 , 安德烈亚·邦达瓦利 , P.科波拉 , 亚历山德罗·范特奇 , 埃里克·杰恩 , 克里斯托夫·拉贝雅克 , 安迪·威林斯(Andy J.Wellings) :
GUARDS:实时可靠系统的通用可升级体系结构。 IEEE传输。 并行分布式系统。 10 ( 6 ) : 580-599 ( 1999 ) 1994 【c1】 埃里克·杰恩 , 让·阿拉特 , 马库斯·里曼 , 约阿金·奥尔森 , 约翰·卡尔森 :
VHDL模型的故障注入:MEFISTO工具。 FTCS(飞行时间控制系统) 1994 : 66-75