巴勃罗·瓦莱
人员信息
其他同名人员
巴勃罗·安东尼奥山谷 巴勃罗·迪维德山谷 巴勃罗·加西亚·德尔瓦莱 — 瑞士洛桑埃科尔理工学院 (还有1个)
优化列表
2020年–今天
2024 [i4] 艾托·阿里埃塔 , 巴勃罗山谷 , 肖卡特·阿里 :
基于搜索的Simulink-Stateflow中CPS控制器的自动程序修复。 CoRR公司 abs/2404.04688 ( 2024 ) 2023 [注2] 艾托·阿列塔 , 巴勃罗山谷 , Joseba Andoni阿吉雷 , Goiuria Sagardui公司 :
一些种子很强:基于搜索的测试用例选择的种子策略。 ACM事务处理。 柔和。 工程方法。 32 ( 1 ) : 17:1-17:47 ( 2023 ) [j1] 乔恩·艾尔迪 , 巴勃罗山谷 , 塞尔吉奥·塞古拉 , 艾托·阿列塔 , Goiuria Sagardui公司 , Maite Arratibel公司 :
网络物理系统的性能驱动变形测试。 IEEE传输。 Reliab公司。 72 ( 2 ) : 827-845 ( 2023 ) 【c7】 艾托·阿列塔 , 巴勃罗山谷 , 阿西尔·伊里亚特 , 米伦·伊拉拉门迪 :
深度学习故障如何影响运行中的人工智能网络物理系统? 基于深度犯罪变异算子的初步研究。 环境与社会管理局 2023 : 1-7 【c6】 巴勃罗山谷 , 艾托·阿列塔 , Maite Arratibel公司 :
可配置网络物理系统的自动错误配置修复与搜索:电梯调度算法的工业案例研究。 ICSE-SEIP系统 2023 : 396-408 【c5】 米里亚姆·乌加特·奎雷吉塔 , Eunkyoung吉普车 , 刘玲君 , 巴勃罗山谷 , 艾托·阿列塔 , 米伦·伊拉拉门迪·雷扎巴尔 :
使用功能框图程序为PLC系统选择基于搜索的测试用例。 ISSRE公司 2023 : 228-239 【c4】 巴勃罗山谷 , 艾托·阿列塔 , Maite Arratibel公司 :
电梯调度算法增量调试算法的应用和扩展(经验论文)。 ISSTA公司 2023 : 1055-1067 [i3] 巴勃罗山谷 , 艾托·阿列塔 , Maite Arratibel公司 :
可配置网络物理系统的自动错误配置修复与搜索:电梯调度算法的工业案例研究。 CoRR公司 腹肌/2301.01487 ( 2023 ) [i2] 巴勃罗山谷 , 艾托·阿列塔 , 迈特·阿拉蒂贝尔 :
电梯调度算法增量调试算法的应用和扩展(经验论文)。 CoRR公司 abs/2305.17803 ( 2023 ) [i1] 乔恩·艾尔迪 , 阿西尔·伊里亚特 , 巴勃罗山谷 , 伊拜罗马人 , 米伦·伊拉拉门迪 , 艾托·阿列塔 :
自动驾驶系统的变形运行监测。 CoRR公司 abs/2310.07414 ( 2023 ) 2022 【c3】 巴勃罗山谷 , 艾托·阿列塔 :
网络物理系统中故障感应输入的隔离:Delta调试够了吗? 桑纳 2022 : 549-553 2021 【c2】 巴勃罗山谷 :
自动车辆的变形测试:Simulink的案例研究。 ICSE(配套卷) 2021 : 105-107 2020 【c1】 Masrur Sobhan公司 , 阿卜杜拉·马蒙 , Raihanul Bari Tanvir公司 , 马里奥·加卡斯·阿方索 , 巴勃罗山谷 , 阿南达·莫汉·蒙达尔 :
深入学习发现肺癌种族差异的基因组特征。 BIBM公司 2020 : 2990-2992