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

Da Silva Fariña, Antonio

Automática / Universidad de Alcalá

Actividades

Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition

  • Montalvo, A.
  • Polo, Ó.R.
  • Parra, P.
  • Carrasco, A.
  • da Silva, A.
  • Martínez, A.
  • Sánchez, S.
... Ver más Contraer

Acta Astronautica (p. 574-591) - 2023

Editor: Elsevier Ltd

10.1016/j.actaastro.2023.06.027 Ver en origen

  • ISSN/ISBN 0094-5765

Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors

  • Parra, P.
  • Da Silva, A.
  • Losa, B.
  • García, J.I.
  • Polo, O.R.
  • Martínez, A.
  • Sánchez, S.
... Ver más Contraer

ACM Transactions on Embedded Computing Systems - 2023

Editor: Association for Computing Machinery

10.1145/3584702 Ver en origen

  • ISSN/ISBN 1558-3465

ARINC653 Channel Robustness Verification Using LeonViP-MC, a LEON4 Multicore Virtual Platform

  • Sánchez, J.
  • da Silva, A.
  • Parra, P.
  • Polo, Ó.R.
  • Martínez Hellín, A.
  • Sánchez, S.

Electronics - 1/5/2021

Editor: MDPI AG

10.3390/electronics10101179 Ver en origen

  • ISSN 08834989
  • ISSN/ISBN 2079-9292

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

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

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

Model-driven environment for configuration control and deployment of on-board satellite software

  • Parra, P.
  • Polo, Ó.R.
  • Carrasco, A.
  • da Silva, A.
  • Martínez, A.
  • Sánchez, S.

Acta Astronautica (p. 314-328) - 1/1/2021

Editor: Elsevier Ltd

10.1016/j.actaastro.2020.09.017 Ver en origen

  • ISSN 00945765
  • ISSN/ISBN 0094-5765

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

The Energetic Particle Detector: Energetic particle instrument suite for the Solar Orbiter mission

  • Rodríguez-Pacheco, J.
  • Wimmer-Schweingruber, R.F.
  • Mason, G.M.
  • Ho, G.C.
  • Sánchez-Prieto, S.
  • Prieto, M.
  • Martín, C.
  • Seifert, H.
  • Andrews, G.B.
  • Kulkarni, S.R.
  • Panitzsch, L.
  • Boden, S.
  • Böttcher, S.I.
  • Cernuda, I.
  • Elftmann, R.
  • Espinosa Lara, F.
  • Gómez-Herrero, R.
  • Terasa, C.
  • Almena, J.
  • Begley, S.
  • Böhm, E.
  • Blanco, J.J.
  • Boogaerts, W.
  • Carrasco, A.
  • Castillo, R.
  • Da Silva Fariña, A.
  • De Manuel González, V.
  • Drews, C.
  • Dupont, A.R.
  • Eldrum, S.
  • Gordillo, C.
  • Gutiérrez, O.
  • Haggerty, D.K.
  • Hayes, J.R.
  • Heber, B.
  • Hill, M.E.
  • Jüngling, M.
  • Kerem, S.
  • Knierim, V.
  • Köhler, J.
  • Kolbe, S.
  • Kulemzin, A.
  • Lario, D.
  • Lees, W.J.
  • Liang, S.
  • Martínez Hellín, A.
  • Meziat, D.
  • Montalvo, A.
  • Nelson, K.S.
  • Parra, P.
  • Paspirgilis, R.
  • Ravanbakhsh, A.
  • Richards, M.
  • Rodríguez-Polo, O.
  • Russu, A.
  • Sánchez, I.
  • Schlemm, C.E.
  • Schuster, B.
  • Seimetz, L.
  • Steinhagen, J.
  • Tammen, J.
  • Tyagi, K.
  • Varela, T.
  • Yedla, M.
  • Yu, J.
  • Agueda, N.
  • Aran, A.
  • Horbury, T.S.
  • Klecker, B.
  • Klein, K.-L.
  • Kontar, E.
  • Krucker, S.
  • Maksimovic, M.
  • Malandraki, O.
  • Owen, C.J.
  • Pacheco, D.
  • Sanahuja, B.
  • Vainio, R.
  • Connell, J.J.
  • Dalla, S.
  • Dröge, W.
  • Gevin, O.
  • Gopalswamy, N.
  • Kartavykh, Y.Y.
  • Kudela, K.
  • Limousin, O.
  • Makela, P.
  • Mann, G.
  • Önel, H.
  • Posner, A.
  • Ryan, J.M.
  • Soucek, J.
  • Hofmeister, S.
  • Vilmer, N.
  • Walsh, A.P.
  • Wang, L.
  • Wiedenbeck, M.E.
  • Wirth, K.
  • Zong, Q.
... Ver más Contraer

Astronomy and Astrophysics - 2020

Editor: EDP Sciences

10.1051/0004-6361/201935287 Ver en origen

  • ISSN/ISBN 1432-0746

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.

Guaranteeing QoS in Wireless Sensor Networks

  • Ortega, J.F.M.
  • García, A.B.
  • Corredor, I.
  • López, L.
  • Hernández, V.
  • Da Silva, A.

Wireless Quality Of Service: Techniques, Standards, And Applications (p. 251-289) - 1/1/2009

Editor: CRC Press

  • ISSN/ISBN 9781420051308

Inyección de fallos en SystemC mediante instrumentación dinámica de código

  • Antonio da Silva Fariña
  • Sebastián Sánchez Prieto

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. 495-504) - 1/1/2009

Editor: Editorial Universidad de Alcalá

  • ISSN/ISBN 978-84-8138-832-9

Propuesta de un modelo de BIOS seguro

  • Lourdes López Santidrián
  • Antonio da Silva Fariña
  • Vicente Hernández Díaz
  • Diego González Gómez
  • Eduardo de Frutos Salgado
  • Marina López Chico

Avances En Criptologia Y Seguridad De La Información (p. 393-399) - 1/1/2004

Editor: Díaz de Santos

  • ISSN/ISBN 84-7978-650-7

Uso de técnicas esteganográficas para la distribución y ocultación de claves en redes corporativas seguras

  • Vicente Hernández Díaz
  • Lourdes López Santidrián
  • Antonio da Silva Fariña
  • Alfonso Muñoz Muñoz

Avances En Criptologia Y Seguridad De La Información (p. 413-421) - 1/1/2004

Editor: Díaz de Santos

  • ISSN/ISBN 84-7978-650-7

Virtualization of residential IoT functionality by using NFV and SDN

  • Garcia Hernando, A.B.
  • Da Silva Farina, A.
  • Bellido Triana, L.
  • Ruiz Pinar, F.J.
  • Fernandez Cambronero, D.

2017 Ieee International Conference On Consumer Electronics, Icce 2017 (p. 86-87) - 29/3/2017

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/icce.2017.7889240 Ver en origen

  • ISSN/ISBN 9781509055449

A LEON3 Virtual Platform with real SpaceWire interfaces for dependable space software development

  • Da Silva, A.
  • Sánchez, S.

Simutools 2011 - 4th International Icst Conference On Simulation Tools And Techniques (p. 1-8) - 1/1/2011

Editor: ICST

10.4108/icst.simutools.2011.245516 Ver en origen

  • ISSN/ISBN 9781936968008

LEON3 ViP : a Virtual Platform with Fault Injection capabilities

  • Da Silva, A.
  • Sánchez, S.

13th Euromicro Conference On Digital System Design: Architectures, Methods And Tools (p. 813-816) - 13/12/2010

10.1109/dsd.2010.34 Ver en origen

  • ISSN/ISBN 9780769541716

Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models

  • Da Silva, A.
  • Sánchez, S.

Proceedings Of The 2009 12th Euromicro Conference On Digital System Design, Architectures, Methods And Tools (p. 723-+) - 1/12/2009

10.1109/dsd.2009.206 Ver en origen

  • ISSN/ISBN 9780769537825

Security Framework for DPWS Compliant Devices

  • Hernández, V.
  • López, L.
  • Prieto, O.
  • Martínez, J.-F.
  • García, A.-B.
  • Da-Silva, A.

Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009 (p. 87-92) - 19/11/2009

10.1109/securware.2009.21 Ver en origen

  • ISSN/ISBN 9780769536682

XML schema based faultset definition to improve faults injection tools interoperability

  • Da Silva, A.
  • Martínez, J.F.
  • López, L.
  • García, A.B.
  • Hernández, V.

Proceedings of International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2008 (p. 39-46) - 2008

10.1109/depcos-relcomex.2008.26 Ver en origen

  • ISSN/ISBN 9780769531793

QoS in wireless sensor networks: Survey and approach

  • Martínez, J.-F.
  • García, A.-B.
  • Corredor, I.
  • López, L.
  • Hernández, V.
  • Dasilva, A.

Euro American Conference On Telematics And Information Systems - Proceedings Of The 2007 Euro American Conference On Telematics And Information Systems, Eatis 2007 - 1/12/2007

10.1145/1352694.1352715 Ver en origen

  • ISSN/ISBN 9781595935984

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:21