米伦·伊拉拉门迪·雷扎巴尔
人员信息
优化列表
2020年–今天
2024 [j3] 伊尼戈·阿尔达卢尔 , 阿兰·佩雷斯 , 费利克斯·拉里纳加 , 米伦·伊拉拉门迪 :
用于移动web增强的可视化编程工具。 知识。 信息系统。 66 ( 9 ) : 5631-5668 ( 2024 ) [注2] 伊尼戈·阿尔达卢尔 , 阿兰·佩雷斯 , 费利克斯·拉里纳加 , 米伦·伊拉拉门迪 :
MAWA:通过网络增强增强移动网络浏览,以改善用户体验。 软件X 25 : 101633 ( 2024 ) 2023 [第17条] 艾托·阿列塔 , 巴勃罗山谷 , 阿西尔·伊里亚特 , 米伦·伊拉拉门迪 :
深度学习故障如何影响人工智能网络物理系统的运行? 基于深度犯罪变异算子的初步研究。 环境与社会管理局 2023 : 1-7 [第16条] 乔恩·艾尔迪 , 艾托·阿列塔 , 米伦·伊拉拉门迪 :
SBFT 2023工具竞赛网络物理系统赛道上的路标。 瑞士法郎 2023 : 37-38 [第15条] 米里亚姆·乌加特·奎雷吉塔 , 恩克扬·杰伊(Eunkyoung Jee) , 刘玲君 , 巴勃罗山谷 , 艾托·阿列塔 , 米伦·伊拉拉门迪·雷扎巴尔 :
使用功能框图程序为PLC系统选择基于搜索的测试用例。 ISSRE公司 2023 : 228-239 [第14条] 豪尔赫·达·席尔瓦 , 米伦·伊拉拉门迪 , 阿西尔·伊里亚特 :
使用控制器的运行时信息进行运行时安全自适应:一种过程挖掘方法。 SAFECOMP研讨会 2023 : 85-94 [第13条] 艾托·阿列塔 , 米伦·伊拉拉门迪 :
一种用于基于搜索的测试用例选择的新变异算子。 SSBSE公司 2023 : 84-98 [i1] 乔恩·艾尔迪 , 阿西尔·伊里亚特 , 巴勃罗山谷 , 伊拜罗马人 , 米伦·伊拉拉门迪 , 艾托·阿列塔 :
自动驾驶系统的变形运行监测。 CoRR公司 abs/2310.07414 ( 2023 ) 2022 [j1] 艾托·加齐安迪亚 , 艾托·阿列塔 , 乔恩·艾尔迪 , 米伦·伊拉拉门迪 , 艾托·阿吉雷 , Goiuria Sagardui公司 , Maite Arratibel公司 :
基于机器学习的网络物理系统性能测试预言:电梯调度算法的工业案例研究。 J.软件。 进化。 过程。 34 ( 11 ) ( 2022 ) [第12条] 伊尼戈·阿尔达卢尔 , 乌尔兹·马尔基吉 , Xabier Valencia公司 , 哈维尔·库恩卡 , 米伦·伊拉拉门迪 :
使用Kahoot、Moodle和谷歌表格进行翻转课堂测验的电子学习体验:一项比较研究。 ICETC公司 2022 : 82-89 [第11条] 费利克斯·拉里纳加 , 威廉·奥乔亚 , 阿兰·佩雷斯 , 哈维尔·昆卡 , 乔恩·莱加里斯蒂 , 米伦·伊拉拉门迪 :
边缘服务业务流程的Node-RED工作流管理器。 NOMS公司 2022 : 1-6 2021 [c10] 艾托·阿列塔 , 乔恩·艾尔迪 , 米伦·伊拉拉门迪 , 艾托·阿吉雷 , Goiuria Sagardui公司 , Maite Arratibel公司 :
使用机器学习构建测试甲骨文:电梯调度算法的工业案例研究。 AST@ICSE公司 2021 : 30-39 2020 【c9】 伊尼戈·阿尔达卢尔 , 米伦·伊拉拉门迪 , 费利克斯·拉里纳加 , 特克塞马·佩雷斯 , 费尔南多·萨恩斯 , 戈卡·乌纳穆诺 , 伊纳西奥·拉扎诺伊图尔库 :
箭头框架对机床制造业的优势。 IECON公司 2020 : 4511-4518 【c8】 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria公司 , 费利克斯·拉里纳加 , Goiuria Sagardui公司 :
CRESCO框架和检查器:自动生成反射UML状态机的C++代码和检查器。 ISSRE研讨会 2020 : 25-30
2010 – 2019
2019 【c7】 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria公司 , Xabier Elkorobarrutia公司 , Goiuria Sagardui公司 :
运行时可观察和可适应的UML状态机: models@run.time 方法。 囊 2019 : 1818-1827 【c6】 米伦·伊拉拉门迪·雷扎巴尔 , 费利克斯·拉里纳加 , 何塞·玛丽亚·佩雷斯 , Leire Etxeberria公司 , Xabier Elkorobarrutia公司 , Goiuria Sagardui公司 :
基于MDE的物联网服务,在运行时增强控制器的安全性。 STAF(同地活动) 2019 : 33-38 2017 【c5】 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria公司 , Xabier Elkorobarrutia公司 , Goiuria Sagardui公司 :
使用反射状态图提高安全关键CPS的可靠性。 SAFECOMP研讨会 2017 : 114-126 2015 【c4】 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria公司 , Xabier Elkorobarrutia公司 :
安全关键系统中的重用:教育用例最终结果。 欧微-东南亚 2015 : 290-297 2014 【c3】 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria Elorza公司 , Xabier Elkorobarrutia Letona公司 :
安全关键系统中的重用:教育用例优先体验。 欧微-东南亚 2014 : 417-422 【c2】 埃琳娜·戈梅斯·马丁内斯 , 里卡多·罗德里格斯 , Leire Etxeberria Elorza公司 , 米伦·伊拉拉门迪·雷扎巴尔 , 克拉拉·贝纳克·厄尔 :
基于模型的安全合同验证。 SEFM研讨会 2014 : 101-115 2013 【c1】 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria Elorza公司 , Xabier Elkorobarrutia Letona公司 :
安全关键系统中的重用:教育用例。 欧微-东南亚 2013 : 402-407