Follow
Miren Illarramendi Rezabal (0000-0003-3770-1495)
Miren Illarramendi Rezabal (0000-0003-3770-1495)
Mondragon Unibertsitatea+ Engineering Faculty (ROR 00wvqgd19)
Verified email at mondragon.edu - Homepage
Title
Cited by
Cited by
Year
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
182021
Reuse in safety critical systems: Educational use case
MI Rezabal, LE Elorza, XE Letona
2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013
132013
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
112022
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
102015
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
82023
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
82022
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
82014
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
72019
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
52022
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
42018
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
32023
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
32022
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
32020
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
32019
MDE based IoT Service to enhance the safety of controllers at runtime
M Illarramendi, L Etxeberria, X Elkorobarrutia, JM Perez Lazare, ...
Aachen University, 2019
32019
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
22023
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
22020
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
22019
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
22010
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
12024
The system can't perform the operation now. Try again later.
Articles 1–20