Leire Etxeberria Elorza公司
人员信息
优化列表
2020年–今天
2022 [公元40年] Joseba Andoni阿吉雷 , 艾哈迈特·亚齐奇 , 卡蒂亚·迪·布拉西奥 , 何塞·路易斯·德拉瓦拉 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 乌古尔·亚扬 , 劳尔·巴博萨 , Leire Etxeberria公司 , 马西莫·纳扎里亚 , 穆斯塔法·卡拉卡 :
自动化系统验证和确认特征的多维框架。 EDCC公司 2022 : 41-48 2021 [公元10年] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·蒂贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 : 104349 ( 2021 ) [公元9年] 乌尔兹·马尔基吉 , 艾托·阿列塔 , Leire Etxeberria公司 , Goiuria Sagardui公司 :
产品线的动态测试优先级:可配置仿真模型的应用程序。 柔和。 资格。 J。 29 ( 4 ) : 943-988 ( 2021 ) [公元39年] 米里亚姆·乌加特 , Leire Etxeberria公司 , 戈卡·乌纳穆诺 , 何塞·路易斯·贝兰科 , 埃内科·乌加尔德 :
机床制造中基于数字孪生的虚拟调试的实现。 ISM公司 2021 : 527-536 2020 [公元38年] 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria公司 , 费利克斯·拉里纳加 , Goiuria Sagardui公司 :
CRESCO框架和检查器:自动生成反射UML状态机的C++代码和检查器。 ISSRE研讨会 2020 : 25-30 [公元37年] 米里亚姆·乌加特·奎雷吉塔 , Leire Etxeberria公司 , Goiuria Sagardui公司 :
使用数字双胞胎的网络物理生产系统中的DevOps方法。 SAFECOMP研讨会 2020 : 205-216
2010 – 2019
2019 [j8] 艾托·阿列塔 , 王帅(Shuai Wang) , 乌尔兹·马尔基吉 , Ainhoa Arruabarena公司 , Leire Etxeberria公司 , Goiuria Sagardui公司 :
基于仿真测试的Pareto高效多目标黑盒测试用例选择。 Inf.软件。 Technol公司。 114 : 137-154 ( 2019 ) [j7] 艾托·阿列塔 , 王帅(Shuai Wang) , Goiuria Sagardui公司 , Leire Etxeberria公司 :
基于搜索的测试用例优先级,用于基于仿真的网络物理系统产品线测试。 J.系统。 柔和。 149 : 1-34 ( 2019 ) [公元36年] 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria公司 , Xabier Elkorobarrutia公司 , Goiuria Sagardui公司 :
运行时可观察和可适应的UML状态机: models@run.time 方法。 囊 2019 : 1818-1827 [公元35年] 乌尔兹·马尔基吉 , 艾托·阿列塔 , Leire Etxeberria公司 , Goiuria Sagardui公司 :
在时间预算受限的场景中,使用软件产品线中的结构覆盖选择测试用例。 囊 2019 : 2362-2371 [公元34年] 艾托·阿列塔 , 塞尔吉奥·塞古拉 , 乌尔兹·马尔基吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
“软件产品线中基于谱的故障定位”的扩展摘要。 SPLC(甲) 2019 : 3:1 [公元33年] 乌尔兹·马尔基吉 , 艾托·阿列塔 , Leire Etxeberria公司 , Goiuria Sagardui公司 :
可配置仿真模型的白盒和黑盒测试质量指标。 SPLC(乙) 2019 : 92:1-92:4 [公元32年] 米伦·伊拉拉门迪·雷扎巴尔 , 费利克斯·拉里纳加 , 何塞·玛丽亚·佩雷斯 , Leire Etxeberria公司 , Xabier Elkorobarrutia公司 , Goiuria Sagardui公司 :
基于MDE的物联网服务,在运行时增强控制器的安全性。 STAF(同地活动) 2019 : 33-38 2018 [j6] 艾托·阿列塔 , 塞尔吉奥·塞古拉 , 乌尔兹·马尔基吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
软件产品线中基于谱的故障定位。 Inf.软件。 Technol公司。 100 : 18-31 ( 2018 ) [j5] 帕特里夏·洛佩斯 , 乔恩·美柏 , 吉列尔莫·米罗 , Leire Etxeberria公司 :
用于在线油质量监测的低成本光子传感器:减少不确定性的方法开发过程。 传感器 18 ( 7 ) : 2015 ( 2018 ) 【j4】 艾托·阿列塔 , 王帅(Shuai Wang) , 乌尔兹·马尔基吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
使用多目标搜索来增强测试工业网络物理系统的反应性测试用例生成和优先级。 IEEE传输。 工业信息学 14 ( 三 ) : 1055-1066 ( 2018 ) [公元31年] 艾托·阿列塔 , 王帅(Shuai Wang) , 乌尔兹·马尔基吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
采用多目标搜索来增强测试工业网络物理系统的反应性测试生成和优先级。 GECCO(同伴) 2018 : 7-8 [公元30年] 艾托·阿列塔 , 王帅(Shuai Wang) , Ainhoa Arruabarena公司 , 乌尔兹·马尔基吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
用于成本效益测试仿真模型的多目标黑盒测试用例选择。 GECCO公司 2018 : 1411-1418 [公元29年] 帕特里夏·洛佩斯 , 乔恩·美柏 , Leire Etxeberria公司 , Eneko Gorritxategi公司 :
通过SPC和KPI技术开发创新可靠复杂嵌入式系统的迭代原型方法。 专业人士 2018 : 65-80 2017 [j3] 艾托·阿列塔 , Goiuria Sagardui公司 , Leire Etxeberria公司 , 朱斯特娜·赞德 :
自动生成可配置网络物理系统的测试系统实例。 柔和。 资格。 J。 25 ( 三 ) : 1041-1083 ( 2017 ) [公元28年] 艾托·阿列塔 , 王帅(Shuai Wang) , 乌尔兹·马尔基吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
基于搜索的网络物理系统测试用例生成。 欧洲协调委员会 2017 : 688-697 [公元27年] Leire Etxeberria公司 , 费利克斯·拉里纳加 , 乌尔兹·马尔基吉 , 艾托·阿列塔 , Goiuria Sagardui公司 :
实现建筑物和区域智能能源控制系统的联合仿真。 ETFA公司 2017 : 1-4 [公元26年] Leire Etxeberria公司 , Xabier Elkorobarrutia公司 , Goiuria Sagardui公司 :
改进嵌入式系统硕士系统工程教学的行动研究。 SEAA公司 2017 : 218-225 [公元25年] Goiuria Sagardui公司 , Leire Etxeberria公司 , Joseba Andoni阿吉雷 , 艾托·阿列塔 , 卡洛斯·费尔南多·尼科拉斯 , 何塞·玛丽亚·马丁 :
重构嵌入式软件的可配置验证环境:垂直传输领域的应用。 ISSRE研讨会 2017 : 16-19 [公元24年] 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria公司 , Xabier Elkorobarrutia公司 , Goiuria Sagardui公司 :
使用反射状态图提高安全关键CPS的可靠性。 SAFECOMP研讨会 2017 : 114-126 [c23] 乌尔兹·马尔基吉 , 艾托·阿列塔 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
基于搜索的产品线故障检测以迭代方式分配测试用例。 SPLC(甲) 2017 : 123-132 2016 [公元22年] 艾托·阿列塔 , 王帅(Shuai Wang) , Goiuria Sagardui公司 , Leire Etxeberria公司 :
使用基于权重的搜索算法对可配置网络物理系统进行测试用例优先级排序。 GECCO公司 2016 : 1053-1060 【c21】 艾托·阿列塔 , 王帅(Shuai Wang) , Goiuria Sagardui公司 , Leire Etxeberria公司 :
基于搜索的网络物理系统产品线测试用例选择,用于基于仿真的验证。 苏丹人民解放军 2016 : 297-306 2015 [公元20年] 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria公司 , Xabier Elkorobarrutia公司 :
安全关键系统中的重用:教育用例最终结果。 欧微-东南亚 2015 : 290-297 [第19条] Joseba Andoni阿吉雷 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
将遗留模型转换为领域的聚合非功能需求。 MODELSWARD公司 2015 : 437-448 [第18条] 艾托·阿列塔 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
用于验证网络物理系统产品线的测试控制算法。 苏丹人民解放军 2015 : 273-282 2014 [注2] 洛雷娅·贝拉特吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 , 阿赞扎处女 :
嵌入式软件产品线:基于领域和应用工程模型的分析过程。 J.软件。 进化。 过程。 26 ( 4 ) : 419-433 ( 2014 ) [第17条] 艾托·阿列塔 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
实现工厂模型的自动生成和管理,以验证高度可配置的网络物理系统。 ETFA公司 2014 : 1-8 [第16条] 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria Elorza公司 , Xabier Elkorobarrutia Letona公司 :
安全关键系统中的重用:教育用例优先体验。 欧微-东南亚 2014 : 417-422 [第15条] Joseba Andoni阿吉雷 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
通过使用模型差异开发示例驱动的ATL转换规则进行模型转换。 ICSOFT(论文集) 2014 : 113-130 [第14条] Joseba Andoni阿吉雷 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
Transevol-通过示例进化遗留模型转换的工具。 ICSOFT EA公司 2014 : 234-245 [第13条] Leire Etxeberria公司 , 卡蒂亚·特鲁比亚尼 , 维托里奥·科尔泰莱萨 , Goiuria Sagardui公司 :
参数不确定性下基于性能的软件和硬件功能选择。 质量保证体系 2014 : 23-32 [第12条] 埃琳娜·戈梅斯·马丁内斯 , 里卡多·罗德里格斯 , Leire Etxeberria Elorza公司 , 米伦·伊拉拉门迪·雷扎巴尔 , 克拉拉·贝纳克·厄尔 :
基于模型的安全合同验证。 SEFM研讨会 2014 : 101-115 2013 [第11条] 米伦·伊拉拉门迪·雷扎巴尔 , Leire Etxeberria Elorza公司 , Xabier Elkorobarrutia Letona公司 :
安全关键系统中的重用:教育用例。 欧微-东南亚 2013 : 402-407 [c10] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , Goiuria Sagardui公司 :
软件体系结构迁移对模型驱动软件开发的自动影响分析。 AMT@莫代尔斯 2013 2011 【c9】 洛雷娅·贝拉特吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
嵌入式软件产品线的基于模型的分析过程。 ICSSP公司 2011 : 53-62 2010 【c8】 Joseba Andoni阿吉雷 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
平台DSDM para la Generación de Software Basado en Componentes en Entornos Empotrados。 日本工业标准化局 2010 : 7-15 【c7】 洛雷娅·贝拉特吉 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
分析嵌入式软件产品线时,MARTE机制用于建模可变性。 苏丹人民解放军 2010 : 466-470
2000 – 2009
2008 [j1] Leire Etxeberria公司 , Goiuria Sagardui公司 , 洛雷娅·贝拉特吉 :
具有质量意识的软件产品线工程。 J.布拉兹。 计算。 Soc公司。 14 ( 1 ) : 57-69 ( 2008 ) 【c6】 Leire Etxeberria公司 , Goiuria Sagardui Mendieta公司 :
软件产品族中质量属性可变性的评估。 欧洲商业银行 2008 : 255-264 【c5】 Leire Etxeberria公司 , Goiuria Sagardui Mendieta公司 :
软件产品线的质量评估。 ICSR公司 2008 : 178-181 【c4】 Leire Etxeberria公司 , Goiuria Sagardui Mendieta公司 :
软件产品线中变量驱动的质量评估。 苏丹人民解放军 2008 : 243-252 2007 【c3】 Leire Etxeberria公司 , Goiuria Sagardui Mendieta公司 , 洛雷娅·贝拉特吉 :
质量属性变化建模。 VaMoS公司 2007 : 51-59 2005 【c2】 Leire Etxeberria公司 , Goiuria Sagardui Mendieta公司 :
产品线架构:评估的新问题。 苏丹人民解放军 2005 : 174-185 【c1】 Goiuria Sagardui Mendieta公司 , Gentzane Aldekoa公司 , Leire Etxeberria公司 :
ADOV方法:在SME中选择架构相关视图的经验。 WICSA公司 2005 : 259-260