Miren Illarramendi Rezabal

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Topics

Safety Critical

Support Systems

Top Venues

SAFECOMP Workshops

Publications

Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta, Miren Illarramendi Rezabal
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs. ISSRE (2023)
Miren Illarramendi Rezabal, Leire Etxeberria, Felix Larrinaga, Goiuria Sagardui
CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker. ISSRE Workshops (2020)
Miren Illarramendi Rezabal, Felix Larrinaga, Jose Maria Perez, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui
MDE based IoT Service to enhance the safety of controllers at runtime. STAF (Co-Located Events) (2019)
Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui
Runtime observable and adaptable UML state machines: models@run.time approach. SAC (2019)
Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui
Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts. SAFECOMP Workshops (2017)
Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia
Reuse in Safety Critical Systems: Educational Use Case Final Results. EUROMICRO-SEAA (2015)
Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle
Model-Based Verification of Safety Contracts. SEFM Workshops (2014)
Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona
Reuse in Safety Critical Systems: Educational Use Case First Experiences. EUROMICRO-SEAA (2014)
Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona
Reuse in Safety Critical Systems: Educational Use Case. EUROMICRO-SEAA (2013)