Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Miren Illarramendi Rezabal

◀ ▶ joint publications with Leire Etxeberria Elorza

> Home > Persons > Miren Illarramendi Rezabal

Publications

2020
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/RezabalELS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/RezabalELS20
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: 25-30
2019
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/RezabalEES19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/RezabalEES19
Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui:
Runtime observable and adaptable UML state machines: models@run.time approach. SAC 2019: 1818-1827
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/staf/RezabalLPEES19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/RezabalLPEES19
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: 33-38
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/RezabalEES17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/RezabalEES17
Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui:
Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts. SAFECOMP Workshops 2017: 114-126
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/RezabalEE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/RezabalEE15
Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia:
Reuse in Safety Critical Systems: Educational Use Case Final Results. EUROMICRO-SEAA 2015: 290-297
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/RezabalEL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/RezabalEL14
Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona:
Reuse in Safety Critical Systems: Educational Use Case First Experiences. EUROMICRO-SEAA 2014: 417-422
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Gomez-MartinezRERE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Gomez-MartinezRERE14
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: 101-115
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/RezabalEL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/RezabalEL13
Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona:
Reuse in Safety Critical Systems: Educational Use Case. EUROMICRO-SEAA 2013: 402-407

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.