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

Parra Espada, Pablo

Automática / Universidad de Alcalá

Publications

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.
... View more Collapse

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.
... View more Collapse

Advances In Space Research (p. 989-1007) - 15/9/2013

Editor: Elsevier Ltd

10.1016/j.asr.2013.05.029 View at source

  • 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.
... View more Collapse

Solar System Research (p. 58-65) - 2013

10.1134/s0038094612060019 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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.
... View more Collapse

Journal of Systems and Software (p. 20-37) - 2016

Editor: Elsevier Inc.

10.1016/j.jss.2015.12.029 View at source

  • 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 View at source

  • 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.
... View more Collapse

Electronics (p. 1-23) - 1/1/2020

Editor: MDPI AG

10.3390/electronics9111873 View at source

  • ISSN 08834989
  • ISSN/ISBN 2079-9292

This researcher has no books.

This researcher has no book chapters.

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.
... View more Collapse

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.
... View more Collapse

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
... View more Collapse

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 View at source

  • 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 View at source

  • 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.
... View more Collapse

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 View at source

  • 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 View at source

  • 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 View at source

  • ISSN/ISBN 9781728151656

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 4/24/24 1:15 PM