RDF/XML JSON-LD N3/Turtle RDF/JSON

Parra Espada, Pablo

Automática / Universidad de Alcalá

Actividades

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.
... Ver más Contraer

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.
... Ver más Contraer

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.
... Ver más Contraer

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.
... Ver más Contraer

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.
... Ver más Contraer

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.
... Ver más Contraer

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.
... Ver más Contraer

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
... Ver más Contraer

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.
... Ver más Contraer

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.

Última actualización de los datos: 24/04/24 13:15