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
HW/SW Co-design of the Instrument Control Unit for the Energetic Particle Detector on-board Solar Orbiter
- Sánchez, S.
- Prieto, M.
- Polo, Ó.R.
- Parra, P.
- Da Silva, A.
- Gutiérrez, Ó.
- Castillo, R.
- Fernández, J.
- Rodríguez-Pacheco, J.
Advances In Space Research (p. 989-1007) - 15/9/2013
Editor: Elsevier Ltd
10.1016/j.asr.2013.05.029 Ver en origen
- ISSN 02731177
- ISSN/ISBN 0273-1177
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
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
Injecting faults to succeed. Verification of the boot software on-board solar orbiter's energetic particle detector
- Da Silva, A.
- Sánchez, S.
- Polo, O.R.
- Parra, P.
Acta Astronautica (p. 198-209) - 1/2/2014
10.1016/j.actaastro.2013.11.004 Ver en origen
- ISSN 00945765
- ISSN/ISBN 0094-5765
End-to-end validation process for the INTA-Nanosat-1B Attitude Control System
- Polo, O.R.
- Esteban, S.
- Cercos, L.
- Parra, P.
- Angulo, M.
Acta Astronautica (p. 94-105) - 2014
10.1016/j.actaastro.2013.07.001 Ver en origen
- ISSN/ISBN 0094-5765
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
Agile deployment and code coverage testing metrics of the boot software on-board Solar Orbiter's Energetic Particle Detector
- Parra, P.
- da Silva, A.
- Polo, Ó.R.
- Sánchez, S.
Acta Astronautica (p. 203-211) - 1/2/2018
Editor: Elsevier Ltd
10.1016/j.actaastro.2017.11.037 Ver en origen
- ISSN 00945765
- ISSN/ISBN 0094-5765
A RISC-V Processor Design for Transparent Tracing
- Del Río, I.G.
- Hellín, A.M.
- Polo, Ó.R.
- Arribas, M.J.
- Parra, P.
- da Silva, A.
- Sánchez, J.
- Sánchez, S.
Electronics (p. 1-23) - 1/1/2020
Editor: MDPI AG
10.3390/electronics9111873 Ver en origen
- ISSN 08834989
- ISSN/ISBN 2079-9292
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
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
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
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
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
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
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
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
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
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
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
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