Miren Illarramendi Rezabal

According to our database, Miren Illarramendi Rezabal authored at least 21 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A visual programming tool for mobile web augmentation.

Iñigo Aldalur, Alain Perez, Felix Larrinaga, Miren Illarramendi

Knowl. Inf. Syst., September, 2024

MAWA: Enhancing mobile web browsing through web augmentation for improved user experience.

Iñigo Aldalur, Alain Perez, Felix Larrinaga, Miren Illarramendi

SoftwareX, February, 2024

2023

Metamorphic Runtime Monitoring of Autonomous Driving Systems.

Jon Ayerdi, Asier Iriarte, Pablo Valle, Ibai Roman, Miren Illarramendi, Aitor Arrieta

CoRR, 2023

A Novel Mutation Operator for Search-Based Test Case Selection.

Aitor Arrieta, Miren Illarramendi

Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach.

Jorge Da Silva, Miren Illarramendi, Asier Iriarte

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs.

Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta, Miren Illarramendi Rezabal

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

RoadSign at the SBFT 2023 Tool Competition Cyber-Physical Systems Track.

Jon Ayerdi, Aitor Arrieta, Miren Illarramendi

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators.

Aitor Arrieta, Pablo Valle, Asier Iriarte, Miren Illarramendi

Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2022

Machine learning-based test oracles for performance testing of cyber-physical systems: An industrial case study on elevators dispatching algorithms.

Aitor Gartziandia, Aitor Arrieta, Jon Ayerdi, Miren Illarramendi, Aitor Agirre, Goiuria Sagardui, Maite Arratibel

J. Softw. Evol. Process., 2022

Node-RED Workflow Manager for Edge Service Orchestration.

Felix Larrinaga, William Ochoa, Alain Perez, Javier Cuenca, Jon Legaristi, Miren Illarramendi

Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022

E-Learning Experience with Flipped Classroom Quizzes Using Kahoot, Moodle and Google Forms: A Comparative Study.

Iñigo Aldalur, Urtzi Markiegi, Xabier Valencia, Javier Cuenca, Miren Illarramendi

Proceedings of the 14th International Conference on Education Technology and Computers, 2022

2021

Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms.

Aitor Arrieta, Jon Ayerdi, Miren Illarramendi, Aitor Agirre, Goiuria Sagardui, Maite Arratibel

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

2020

CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker.

Miren Illarramendi Rezabal, Leire Etxeberria, Felix Larrinaga, Goiuria Sagardui

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Advantages of Arrowhead Framework for the Machine Tooling Industry.

Iñigo Aldalur, Miren Illarramendi, Felix Larrinaga, Txema Perez, Fernando Sáenz, Gorka Unamuno, Inaxio Lazkanoiturburu

Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

2019

MDE based IoT Service to enhance the safety of controllers at runtime.

Miren Illarramendi Rezabal, Felix Larrinaga, Jose Maria Perez, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui

Proceedings of the STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15, 2019

Runtime observable and adaptable UML state machines: [e-mail] approach.

Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2017

Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts.

Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui

Proceedings of the Computer Safety, Reliability, and Security, 2017

2015

Reuse in Safety Critical Systems: Educational Use Case Final Results.

Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Model-Based Verification of Safety Contracts.

Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle

Proceedings of the Software Engineering and Formal Methods, 2014

Reuse in Safety Critical Systems: Educational Use Case First Experiences.

Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2013

Reuse in Safety Critical Systems: Educational Use Case.

Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013