Miren Illarramendi Rezabal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2023
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ISSRE | 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 |
| 2020 | ISSRE | 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 |
| 2019 | SAC | Runtime observable and adaptable UML state machines: models@run.time approach. | Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui |
| 2017 | SAFECOMP | Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts. | Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui |
| 2014 | SEFM | Model-Based Verification of Safety Contracts. | Elena Gmez-Martnez, Ricardo J. Rodrguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle |