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

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

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

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

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.
... 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

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

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

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

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

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

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
... 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

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.

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