Using machine learning to build test oracles: an industrial case study on elevators dispatching algorithms A Arrieta, J Ayerdi, M Illarramendi, A Agirre, G Sagardui, M Arratibel 2021 IEEE/ACM International Conference on Automation of Software Test (AST …, 2021 | 18 | 2021 |
Reuse in safety critical systems: Educational use case MI Rezabal, LE Elorza, XE Letona 2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013 | 13 | 2013 |
Node-red workflow manager for edge service orchestration F Larrinaga, W Ochoa, A Perez, J Cuenca, J Legaristi, M Illarramendi NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, 1-6, 2022 | 11 | 2022 |
Model-based verification of safety contracts E Gómez-Martínez, RJ Rodríguez, LE Elorza, MI Rezabal, CB Earle Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015 | 10 | 2015 |
PLC orchestration automation to enhance human–machine integration in adaptive manufacturing systems F Mo, MU Querejeta, J Hellewell, HU Rehman, MI Rezabal, JC Chaplin, ... Journal of Manufacturing Systems 71, 172-187, 2023 | 8 | 2023 |
Machine learning‐based test oracles for performance testing of cyber‐physical systems: An industrial case study on elevators dispatching algorithms A Gartziandia, A Arrieta, J Ayerdi, M Illarramendi, A Agirre, G Sagardui, ... Journal of Software: Evolution and Process 34 (11), e2465, 2022 | 8 | 2022 |
Reuse in safety critical systems: Educational use case first experiences M Illarramendi, L Etxeberria, X Elkorobarrutia 2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014 | 8 | 2014 |
Analysis of technological architectures for the new paradigm of the industry 4.0 FL BARRENECHEA, IA CEBERIO, MI REZABAL, MI URRETXA, ... Dyna 94 (3), 267-271, 2019 | 7 | 2019 |
Surface roughness assessment on hole drilled through the identification and clustering of relevant external and internal signal statistical features A Duo, R Basagoiti, PJ Arrazola, M Cuesta, M Illarramendi CIRP Journal of Manufacturing Science and Technology 36, 143-157, 2022 | 5 | 2022 |
A methodology for model-based verification of safety contracts and performance requirements E Gómez-Martínez, RJ Rodríguez, C Benac-Earle, L Etxeberria, ... Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2018 | 4 | 2018 |
Metamorphic runtime monitoring of autonomous driving systems J Ayerdi, A Iriarte, P Valle, I Roman, M Illarramendi, A Arrieta arXiv preprint arXiv:2310.07414, 2023 | 3 | 2023 |
E-Learning Experience with Flipped Classroom Quizzes Using Kahoot, Moodle and Google Forms: A Comparative Study I Aldalur, U Markiegi, X Valencia, J Cuenca, M Illarramendi Proceedings of the 14th International Conference on Education Technology and …, 2022 | 3 | 2022 |
Advantages of arrowhead framework for the machine tooling industry I Aldalur, M Illarramendi, F Larrinaga, T Perez, F Sáenz, G Unamuno, ... IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics …, 2020 | 3 | 2020 |
Runtime observable and adaptable UML state machines: models@ run. time approach M Illarramendi, L Etxeberria, X Elkorobarrutia, G Sagardui Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1818-1827, 2019 | 3 | 2019 |
MDE based IoT Service to enhance the safety of controllers at runtime M Illarramendi, L Etxeberria, X Elkorobarrutia, JM Perez Lazare, ... Aachen University, 2019 | 3 | 2019 |
Search-based test case selection for PLC systems using functional block diagram programs MU Querejeta, E Jee, L Liu, P Valle, A Arrieta, MI Rezabal 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | 2 | 2023 |
Cresco framework and checker: automatic generation of reflective UML state machine’s C++ code and checker M Illarramendi, L Etxeberria, F Larrinaga, G Sagardui 2020 IEEE International Symposium on Software Reliability Engineering …, 2020 | 2 | 2020 |
Runtime contracts checker: Increasing robustness of component-based software systems M Illarramendi, L Etxeberria, X Elkorobarrutia, G Sagardui IOP Conference Series: Materials Science and Engineering 575 (1), 012006, 2019 | 2 | 2019 |
A Methodology for Model-based Verification of Safety Contracts E Gómez-Martínez, RJ Rodríguez, CB Earle, LE Elorza, MI Rezabal Journal of Risk and Reliability, 1-13, 2010 | 2 | 2010 |
An experience in the implementation of the flipped classroom instructional model in the computer science degree I Aldalur, U Markiegi, M Iturbe, I Roman, M Illarramendi Engineering Reports 6 (4), e12754, 2024 | 1 | 2024 |