Miren Illarramendi Rezabal

Orcid: 0000-0003-3770-1495

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
MAWA: Enhancing mobile web browsing through web augmentation for improved user experience.
SoftwareX, February, 2024

2023
Metamorphic Runtime Monitoring of Autonomous Driving Systems.
CoRR, 2023

A Novel Mutation Operator for Search-Based Test Case Selection.
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.
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.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

RoadSign at the SBFT 2023 Tool Competition Cyber-Physical Systems Track.
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.
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.
J. Softw. Evol. Process., 2022

Node-RED Workflow Manager for Edge Service Orchestration.
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.
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.
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.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Advantages of Arrowhead Framework for the Machine Tooling Industry.
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.
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: models@run.time approach.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2017
Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts.
Proceedings of the Computer Safety, Reliability, and Security, 2017

2015
Reuse in Safety Critical Systems: Educational Use Case Final Results.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014
Model-Based Verification of Safety Contracts.
Proceedings of the Software Engineering and Formal Methods, 2014

Reuse in Safety Critical Systems: Educational Use Case First Experiences.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2013
Reuse in Safety Critical Systems: Educational Use Case.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013


  Loading...