Login / Signup
Alberto Carrasco
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
Software Development Process
Model Driven Architecture
Platform Independent
Design Rationale
Top Venues
J. Syst. Archit.
Softw. Syst. Model.
RE Workshops
</>
Publications
</>
Aaron Montalvo
,
Pablo Parra
,
Oscar Rodríguez Polo
,
Alberto Carrasco
,
Antonio da Silva
,
Agustín Martínez-Hellín
,
Sebastián Sánchez
Model-driven system-level validation and verification on the space software domain.
Softw. Syst. Model.
21 (6) (2022)
Oscar R. Polo
,
Jonatan Sánchez
,
Antonio da Silva
,
Pablo Parra
,
Agustín Martínez-Hellín
,
Alberto Carrasco
,
Sebastián Sánchez
Reliability-oriented design of on-board satellite boot software against single event effects.
J. Syst. Archit.
114 (2021)
Aaron Montalvo
,
Pablo Parra
,
Oscar R. Polo
,
Alberto Carrasco
,
Agustín Martínez-Hellín
,
Sebastián Sánchez Prieto
Towards the Use of Model-Driven Technologies in an Integral Software Development Process.
RE Workshops
(2019)