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

Da Silva Fariña, Antonio

Automática / Universidad de Alcalá

Publications

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

Acta Astronautica (p. 574-591) - 2023

Editor: Elsevier Ltd

10.1016/j.actaastro.2023.06.027 View at source

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

ACM Transactions on Embedded Computing Systems - 2023

Editor: Association for Computing Machinery

10.1145/3584702 View at source

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

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

Journal Of Systems Architecture - 1/3/2021

Editor: Elsevier B.V.

10.1016/j.sysarc.2020.101920 View at source

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

Microprocessors And Microsystems - 1/2/2021

Editor: Elsevier B.V.

10.1016/j.micpro.2020.103610 View at source

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

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

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

Software And Systems Modeling (p. 2367-2394) - 1/1/2021

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/s10270-021-00940-8 View at source

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

Astronomy and Astrophysics - 2020

Editor: EDP Sciences

10.1051/0004-6361/201935287 View at source

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

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

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

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

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

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

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

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

  • ISSN/ISBN 9781595935984

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