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

Da Silva Fariña, Antonio

Automática / Universidad de Alcalá

Publications

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

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

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

Pervasive surveillance-agent system based on wireless sensor networks: design and deployment

  • Martínez, J.F.
  • Bravo, S.
  • García, A.B.
  • Corredor, I.
  • Familiar, M.S.
  • López, L.
  • Hernández, V.
  • Da Silva, A.
... View more Collapse

Measurement Science And Technology - 1/1/2010

Editor: Institute of Physics Publishing

10.1088/0957-0233/21/12/124005 View at source

  • ISSN 09570233
  • ISSN/ISBN 1361-6501

Up2B2: Playing English grammar games at the B2 level

  • Irina Argüelles Álvarez
  • Margarita Martínez Núñez
  • Ana Belén García Hernando
  • Antonio da Silva Fariña

Language Value (p. 132-159) - 1/1/2018

Editor: Universitat Jaume I

10.6035/languagev.2017.9.6 View at source

  • ISSN 19897103
  • ISSN/ISBN 1989-7103

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

Development of Mobile Applications as Part of the Computer Science Engineer Curriculum: Methodological and Assessment Considerations

  • Da Silva Farina, A.
  • Hernando, A.B.G.
  • Nespereira, C.R.

International Journal Of Engineering Education (p. 106-120) - 1/1/2017

Editor: Instituto de Relaciones Internacionales "Daza de Valdes"

  • ISSN 0949149X
  • ISSN/ISBN 0949-149X

XML schema based fault set definition to improve fault injection tools interoperability

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

International Journal Of Critical Computer-Based Systems (p. 220-237) - 1/1/2010

Editor: Inderscience Publishers

10.1504/ijccbs.2010.031716 View at source

  • ISSN 17578779
  • ISSN/ISBN 1757-8787

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

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

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

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

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

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

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

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

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

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

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