莫拉约·阿德朱马
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年-今天
2023 [公元32年] 莫拉约·阿德朱马 , 法比安·高丁 , 菲利普·菲亚尼 :
通过模型驱动分析和仿真评估自动化车辆的安全性。 亚太经合组织 2023 : 514-523 [公元31年] 纪尧姆·奥利埃 , 莫拉约·阿德朱马 , 西莫斯·格拉西莫 , 乔克里·姆拉迪哈 :
自动化系统可靠性分析的本体方法。 DSD公司 2023 : 593-601 [公元30年] 马尔瓦·泽鲁阿尔 , 布拉希姆·哈米德 , 莫拉约·阿德朱马 , 杰森·贾斯科尔卡 :
用于安全案例的基于模型的正式参数模式。 欧洲PLoP 2023 : 10:1-10:12 [公元29年] 纪尧姆·奥利埃 , 法比奥·阿内兹 , 莫拉约·阿德朱马 , 拉斐尔·拉莱门特 , 西蒙斯·杰拉西莫 , 乔克里·姆拉迪哈 :
无人机动态可靠性管理的本体论方法。 无人机SE/ HiPEAC的RAPIDO 2023 : 12-19 [公元28年] 莱奥·门迪布尔 , 穆罕默德·拉明·本扎古塔 , 多米尼克·格鲁耶 , 蒂迪亚内·西拉 , 莫拉约·阿德朱马 , Abdelmename赫德利 :
自动驾驶系统的操作设计领域:分类定义和应用。 四、 2023 : 1-6 [公元27年] 马尔瓦·泽鲁阿尔 , 布拉希姆·哈米德 , 莫拉约·阿德朱马 , 杰森·贾斯科尔卡 :
基于合金安全需求的形式验证构建安全案例。 SAFECOMP研讨会 2023 : 15-25 2022 [公元26年] 法比奥·阿内兹 , 纪尧姆·奥利埃 , 安斯加·雷德马赫 , 莫拉约·阿德朱马 , 西蒙斯·杰拉西莫 , 乔克里·姆拉迪哈 , 弗朗索瓦梗 :
自动化系统的可疑动态可靠性管理。 DSD公司 2022 : 118-125 [公元25年] 纪尧姆·奥利埃 , 戴安娜·拉扎芬德拉贝 , 莫拉约·阿德朱马 , 西蒙斯·杰拉西莫 , 乔克里·姆拉迪哈 :
在自动化系统危险识别中使用操作设计领域。 EDCC公司 2022 : 109-112 [公元24年] 普拉吉特·拉金德兰 , 纪尧姆·奥利埃 , 胡斯卡·埃斯皮诺萨 , 莫拉约·阿德朱马 , 阿涅斯·德拉博德 , 乔克里·姆拉迪哈 :
具有感知模糊性和重要性评估的安全意识主动学习。 AIS安全@IJCAI 2022 【c23】 尼古拉·拉宾 , Bouthina Bannour公司 , 莫拉约·阿德朱马 :
具有异构故障事件的基于模型的故障树生成和分析工具集。 PRDC公司 2022 : 230-235 [公元22年] 莫拉约·阿德朱马 , 克里斯托夫·阿利克斯 , Loic Cantat公司 , 埃里克·杰恩 , 朱丽叶·马蒂奥利 , 鲍里斯·罗伯特 , 法比安·齐尔哈特 , 珍妮·卢克·沃林 :
工程可靠人工智能系统。 SoSE公司 2022 : 458-463 【c21】 马尔瓦·泽鲁阿尔 , 布拉希姆·哈米德 , 莫拉约·阿德朱马 , 杰森·贾斯科尔卡 :
机器学习中对抗性示例的逻辑规范。 TrustCom公司 2022 : 1575-1580 2021 [公元20年] 哈斯娜·杰哈德 , 莫拉约·阿德朱马 , 马泰奥·莫雷利 :
从UML模型在Open-PSA中自动生成故障树。 亚太经合组织 2021 : 578-579 2020 [第19条] Nataliya Yakymets公司 , 莫拉约·阿德朱马 :
基于FIDES可靠性预测的基于模型的定量故障树分析。 ISSRE研讨会 2020 : 161-162
2010 – 2019
2019 [第18条] 莫拉约·阿德朱马 , Nataliya Yakymets公司 :
基于模型的网络物理系统可靠性分析框架。 哈斯 2019 : 82-89 [第17条] 加布里埃尔·佩德罗扎 , 莫拉约·阿德朱马 :
基于人工智能系统的安全设计开发方法。 瑞典克朗 2019 : 391-502 2018 [第16条] 莫拉约·阿德朱马 , 加布里埃尔·佩德罗扎 , 阿斯玛·斯茂伊 , Trung Kien Dang公司 :
通过基于模型的表示促进标准的采用。 ICECCS公司 2018 : 213-216 [第15条] 莫拉约·阿德朱马 , 加布里埃尔·佩德罗扎 , Bouthina Bannour公司 :
公共交通自动驾驶汽车的代表性安全评估。 等截面钢筋混凝土 2018 : 124-129 [第14条] 莫拉约·阿德朱马 , 阿斯玛·斯茂伊 :
ISO26262兼容系统的基于模型的计算机辅助监测。 ISSRE研讨会 2018 : 349-352 2017 [j1] 尼古拉斯·桑尼尔 , 莫拉约·阿德朱马 , 梅赫达德·萨贝扎德 , 莱昂内尔·布赖恩 :
用于检测和解决法律文本中交叉引用的自动框架。 要求。 工程师。 22 ( 2 ) : 215-237 ( 2017 ) [第13条] 尼古拉斯·桑尼尔 , 莫拉约·阿德朱马 , 梅赫达德·萨贝扎德 , 莱昂内尔·C·布里昂 , 约翰·丹恩 , 马克·希塞特 , 帕斯卡·希尔 :
大规模法律加价:经验报告。 重新 2017 : 302-311 2016 [第12条] 莫拉约·阿德乔马 , 蒂波德·托马斯 , 乔克里·姆拉迪哈 , 塞巴斯蒂安·杰拉德 , 纪尧姆·泽勒 :
从基于文档到基于模型的系统和软件工程:选择性催化还原系统开发的经验报告。 EduSymp公司/ MoDELS的OSS4MDE 2016 : 27-36 [第11条] 尼古拉斯·桑尼尔 , 莫拉约·阿德朱马 , 梅赫达德·萨贝扎德 , 莱昂内尔·布赖恩 :
基于语义意图的法律交叉引用自动分类。 REFSQ公司 2016 : 119-134 [第10条] 阿尔卡纳·马利耶 , 维拉·潘特利克 , 莫拉约·阿德朱马 , 马克·劳福德 , 阿兰·瓦辛格 :
在符合ISO 26262的流程中使用STPA。 SAFECOMP公司 2016 : 117-129 2015 【c9】 瓦伦丁·卡萨诺 , 西尔维娅·格里戈洛娃 , 尼拉杰·库马尔·辛格 , 莫拉约·阿德朱马 , 马克·劳福德 , T.S.E.Maibaum公司 , 阿兰·瓦辛格 :
当前增量安全保证是否可靠? SAFECOMP研讨会 2015 : 397-408 2014 【c8】 莫拉约·阿德朱马 , 郝虎 :
汽车认证目标的过程模型定制和评估。 ISSRE研讨会 2014 : 503-508 【c7】 加奈姆·索尔塔纳 , 伊丽莎白·福内雷特 , 莫拉约·阿德朱马 , 梅赫达德·萨贝扎德 , 莱昂内尔·布赖恩 :
使用UML建模程序性法律规则:方法和卢森堡税法研究。 模型 2014 : 450-466 【c6】 莫拉约·阿德乔马 , 梅赫达德·萨贝扎德 , 莱昂内尔·布赖恩 :
法律交叉引用的自动检测和解决:卢森堡立法的方法和研究。 重新 2014 : 63-72 2013 【c5】 希瓦·内贾蒂 , 莫拉约·阿德朱马 , 莱昂内尔·布赖恩 , 乔纳森·海勒巴特 , 朱利安·贝基 , 伊夫·克莱门特 :
将集成嵌入式软件中的CPU时间短缺风险降至最低。 ASE公司 2013 : 529-539 2012 【b1】 莫拉约·阿德朱马 :
根据模型驱动框架中的汽车标准的需求工程过程(Processus d’ingénierie des exigences dans un environmentábase de modèles selon les normes automobiles)。 法国奥赛巴黎大学, 2012 【c4】 玛丽·阿格内斯·佩拉尔迪·弗拉蒂 , 阿尔达·戈尼尔 , 莫拉约·阿德朱马 , 皮埃尔·伊夫·盖根 :
用时序增强描述语言对BSG-E汽车系统建模。 ISoLA(2) 2012 : 111-125 【c3】 莫拉约·阿德朱马 , 休伯特·杜布瓦 , 弗朗索瓦梗 , 塔里克·基图尼 :
合并汽车领域的工艺和产品质量评估。 专业人士 2012 : 275-289 【c2】 莫拉约·阿德朱马 , 休伯特·杜布瓦 , 弗朗索瓦梗 , 塔里克·基图尼 :
汽车领域质量评估合并实验。 香料 2012 : 107-117 2011 【c1】 莫拉约·阿德朱马 , 休伯特·杜布瓦 , 弗朗索瓦梗 :
需求交换:从规范文档到模型。 ICECCS公司 2011 : 350-354
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)