Parra Espada, Pablo
Actividades
- Artículos 26
- Libros 0
- Capítulos de libro 0
- Congresos 10
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 0
- Patentes o licencias de software 0
Determinism in real-time operating system design for SPARC-like architectures
- Viana, A.
- Polo, O.R.
- Parra, P.
- Población, O.G.
- Tejedor, I.G.
- Prieto, S.S.
- Meziat, D.
WSEAS Transactions on Computers (p. 672-680) - 2006
- ISSN/ISBN 1109-2750
Development and usage of a simulation environment for testing and verifying the L4 microkernel mapping database
- Revuelta, M.K.
- Espada, P.P.
- Tejedor, I.G.
- Sánchez, A.V.
WSEAS Transactions on Computers (p. 666-671) - 2006
- ISSN/ISBN 1109-2750
SIDRA instrument for measurements of particle fluxes at satellite altitudes. Laboratory prototype
- Dudnik, O.V.
- Prieto, M.
- Kurbatov, E.V.
- Sanchez, S.
- Timakova, T.G.
- Spassky, A.V.
- Dubina, V.N.
- Parra, P.
Solar System Research (p. 58-65) - 2013
10.1134/s0038094612060019 Ver en origen
- ISSN/ISBN 0038-0946
Model-driven system-level validation and verification on the space software domain
- Montalvo, A.
- Parra, P.
- Rodríguez Polo, Ó.
- Carrasco, A.
- Da Silva, A.
- Martínez, A.
- Sánchez, S.
Software And Systems Modeling (p. 2367-2394) - 1/1/2021
Editor: Springer Science and Business Media Deutschland GmbH
10.1007/s10270-021-00940-8 Ver en origen
- ISSN 16191366
- ISSN/ISBN 1619-1374
Runtime instrumentation of SystemC/TLM2 interfaces for fault tolerance requirements verification in software cosimulation
- Da Silva, A.
- Parra, P.
- Polo, Ó.R.
- Sánchez, S.
Modelling And Simulation In Engineering - 1/1/2014
Editor: Hindawi Publishing Corporation
10.1155/2014/105051 Ver en origen
- ISSN 16875605
- ISSN/ISBN 1687-5605
Improving performance and determinism of multitasking systems on the LEON architecture
- Parra, P.
- Guzmán, D.
- Polo, Ó.R.
- da Silva, A.
- Martínez, A.
- Sánchez, S.
- Prieto, M.
Microprocessors And Microsystems - 1/2/2021
Editor: Elsevier B.V.
10.1016/j.micpro.2020.103610 Ver en origen
- ISSN 01419331
- ISSN/ISBN 0141-9331
Integration of a preemptive priority based scheduler in the Palladio Workbench
- Fernández-Salgado, J.
- Parra, P.
- Hauck, M.
- Hellín, A.M.
- Sánchez-Prieto, S.
- Krogmann, K.
- Polo, Ó.R.
Journal of Systems and Software (p. 20-37) - 2016
Editor: Elsevier Inc.
10.1016/j.jss.2015.12.029 Ver en origen
- ISSN/ISBN 0164-1212
Reliability-oriented design of on-board satellite boot software against single event effects
- Polo, Ó.R.
- Sánchez, J.
- da Silva, A.
- Parra, P.
- Hellín, A.M.
- Carrasco, A.
- Sánchez, S.
Journal Of Systems Architecture - 1/3/2021
Editor: Elsevier B.V.
10.1016/j.sysarc.2020.101920 Ver en origen
- ISSN 13837621
- ISSN/ISBN 1383-7621
A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
- Parra, P.
- Polo, O.R.
- Fernandez, J.
- Da Silva, A.
- Sanchez, S.
- Martinez, A.
Ieee Transactions On Emerging Topics In Computing (p. 78-89) - 1/1/2021
Editor: IEEE Computer Society
10.1109/tetc.2018.2866024 Ver en origen
- ISSN 21686750
- ISSN/ISBN 2168-6750
Memory Management Unit for Hardware-assisted Dynamic Relocation in on-board Satellite Systems
- Losa, B.
- Parra, P.
- Silva, A.D.
- Polo, O.R.
- Tejedor, J.I.G.
- Martlnez, A.
- Sanchez, J.
- Sanchez, S.
- Guzman, D.
Ieee Transactions On Aerospace And Electronic Systems - 1/1/2023
Editor: Institute of Electrical and Electronics Engineers Inc.
10.1109/taes.2023.3284419 Ver en origen
- ISSN 00189251
- ISSN/ISBN 1557-9603
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques
- Fernández, J.
- Parra, P.
- Nilas, B.
- García, I.
- Sánchez, S.
- Polo, O.R.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013 (p. 178-187) - 2013
10.1109/sies.2013.6601490 Ver en origen
- ISSN/ISBN 9781479906581
Towards the use of model-driven technologies in an integral software development process
- Montalvo, A.
- Parra, P.
- Polo, O.R.
- Carrasco, A.
- Martinez, A.
- Sanchez, S.
Proceedings - 2019 IEEE 27th International Requirements Engineering Conference Workshops, REW 2019 (p. 74-82) - 2019
Editor: Institute of Electrical and Electronics Engineers Inc.
10.1109/rew.2019.00016 Ver en origen
- ISSN/ISBN 9781728151656
Automatic verification of timing constraints for safety critical space systems
- Fernandez, J.
- Parra, P.
- Prieto, S.S.
- Polo, O.
- Bernat, G.
European Space Agency, (Special Publication) ESA SP - 2015
Editor: European Space Agency
- ISSN/ISBN 0379-6566
Advanced mass memory concept development
- Sanchez, A.V.
- Furano, G.
- Ciccone, M.
- Taylor, C.
- Tejedor, N.G.
- Knoblauch, M.
- Espada, P.P.
- PrietoMateo, M.
European Space Agency, (Special Publication) ESA SP - 2008
- ISSN/ISBN 0379-6566
Component based engineering and multi-platform deployment for nanosatellite on-board software
- Polo, Ó.R.
- Parra, P.
- Knoblauch, M.
- García, I.
- Fernández, J.
- Sánchez, S.
- Angulo, M.
European Space Agency, (Special Publication) ESA SP - 2012
- ISSN/ISBN 0379-6566
MICOBS: Multi-platform multi-model component based software development framework
- Parra, P.
- Polo, O.R.
- Knoblauch, M.
- Garcia, I.
- Sanchez, S.
CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - CBSE'11 (p. 1-10) - 2011
10.1145/2000229.2000231 Ver en origen
- ISSN/ISBN 9781450307239
Edroom, herramienta libre de modelado y generación automatica de código para sistemas de tiempo real
- Parra, P.
- Viana, A.
- Rodríguez, O.
- Knoblauch, M.
- Alcojor, F.
- Sanchez, S.
- Ignacio García, J.
- García, O.
- Meziat, D.
CEUR Workshop Proceedings - 2006
- ISSN/ISBN 1613-0073
Unidad de control del instrumento científico SIDRA
- Manuel Prieto Mateo
- David Guzmán García
- Juan Ignacio García Tejedor
- Pablo Parra Espada
- Martín Knoblauch
- Sebastián Sánchez Prieto
- Daniel Meziat Luna
- O. Dudnik
- V. Bilogub
Actas de las IX Jornadas de computación reconfigurable y aplicaciones: Universidad de Alcalá, Departamento de Electrónica, Alcalá de Henares, 9-11 septiembre, 2009 (p. 475-484) - 2009
Editor: Editorial Universidad de Alcalá
- ISSN/ISBN 978-84-8138-832-9
A component-based approach to feature modelling
- Parra, P.
- Polo, Ó.R.
- Esteban, S.
- Martínez, A.
- Sánchez, S.
ACM International Conference Proceeding Series - 2019
Editor: Association for Computing Machinery
10.1145/3307630.3342402 Ver en origen
- ISSN/ISBN 9781450366687
Short paper: Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software
- Polo, O.R.
- Konings, K.
- Parra, P.
- Knoblauch, M.
- Garcia, I.
- Sanchez, S.
ACM International Conference Proceeding Series (p. 79-81) - 2010
10.1145/1850771.1850783 Ver en origen
- ISSN/ISBN 9781450301220
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Este/a investigador/a no tiene proyectos de investigación.
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Dialnet id