Información del personal investigador

Autoría: FREEK VAN DEN BERG, VÁCLAV CAMRA, MARTIJN HENDRIKS, MARC GEILEN, PETR HNETYNKA, FERNANDO MANTECA FERNANDEZ, PABLO PEDRO SANCHEZ ESPESO, TOMÁŠ BUREŠ, TWAN BASTEN

2020

OpenMP dynamic device offloading in heterogeneous platforms

Comunicación a Congreso

OpenMP: conquering the full hardware spectrum: 15th International Workshop on OpenMP, IWOMP 2019 Auckland, New Zealand, September 11-13, 2019, proceedings

Autoría: ANGEL ALVAREZ RUIZ, IÑIGO UGARTE OLANO, VICTOR MANUEL FERNANDEZ SOLORZANO, PABLO PEDRO SANCHEZ ESPESO

2019

Design space exploration in heterogeneous platforms using OpenMP

Comunicación a Congreso

34th Conference on Design of Circuits and Integrated Systems (DCIS): 20-22 November, 2019, Bilbao

Autoría: ANGEL ALVAREZ RUIZ, IÑIGO UGARTE OLANO, VICTOR MANUEL FERNANDEZ SOLORZANO, PABLO PEDRO SANCHEZ ESPESO

2019

High-level design of wireless sensor networks for performance optimization under security hazards

Artículo de Revista

ACM Transactions on Sensor Networks, 2017, 13(3), Article 19.

Autoría: PABLO PEÑIL DEL CAMPO, ALVARO DIAZ SUAREZ, HECTOR POSADAS COBO, JULIO LUIS MEDINA PASAJE, PABLO PEDRO SANCHEZ ESPESO

01/07/2017

Towards a verification flow across abstraction levels : verifying implementations against their formal specification

Artículo de Revista

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36(3), 475-488

Autoría: PABLO GONZALEZ DE ALEDO MARUGAN, NILS PRZIGODA, ROBERT WILLE, ROLF DRECHSLER, PABLO PEDRO SANCHEZ ESPESO

01/03/2017

Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models

Artículo de Revista

Multimedia Tools and Applications, 2017, 76(6), 8195-8226

Autoría: DAVID, DE LA FUENTE, JESÚS BARBA ROMERO, JUAN CARLOS LOPEZ LOPEZ, PABLO PEÑIL DEL CAMPO, HECTOR POSADAS COBO, PABLO PEDRO SANCHEZ ESPESO

01/03/2017

Simulation of attacks for security in wireless sensor network

Artículo de Revista

Sensors, 2016, 16(11), 1932

Autoría: ALVARO DIAZ SUAREZ, PABLO PEDRO SANCHEZ ESPESO

18/11/2016

Security estimation in wireless sensor network simulator

Artículo de Revista

Journal of Circuits, Systems and Computers, 2016, 25(7), 1650067

Autoría: JAVIER GONZALEZ BAYON, ALVARO DIAZ SUAREZ, PABLO PEDRO SANCHEZ ESPESO

01/07/2016

An approach to static-dynamic software analysis

Comunicación a Congreso

Communications in Computer and Information Science, 2016, 596, 205-240

Autoría: PABLO GONZALEZ DE ALEDO MARUGAN, PABLO PEDRO SANCHEZ ESPESO, RALF HUUCK

2016

Discovering and validating concurrency specification from test executions

Comunicación a Congreso

Proceedings of the 23rd International Conference on Software Analysis, Evolution, and Reengineering: SANER, held 14-18 March 2016, in Suita, Osaka, Japón

Autoría: PABLO GONZALEZ DE ALEDO MARUGAN, ALVARO DIAZ SUAREZ, PABLO PEDRO SANCHEZ ESPESO, RALF HUUCK

2016

FramewORk for embedded system verification (Competition contribution)

Comunicación a Congreso

Tools and algorithms for the construction and analysis of systems

Autoría: PABLO GONZALEZ DE ALEDO MARUGAN, PABLO PEDRO SANCHEZ ESPESO

2016

Building a dynamically reconfigurable system through a high-level development flow

Comunicación a Congreso

Languages, design methods, and tools for electronic system design: selected contributions from FDL 2015

Autoría: DAVID DE LA FUENTE SAN VENANCIO, JESÚS BARBA ROMERO, JULIÁN CABA JIMÉNEZ, PABLO PEÑIL DEL CAMPO, JUAN CARLOS LOPEZ LOPEZ, PABLO PEDRO SANCHEZ ESPESO

2016

Low power wireless sensor networks: Secure applications and remote distribution of FW updates with key management on WSN

Capítulo de libro

Trusted computing for embedded systems

Autoría: JUAN RICO, JUAN SANCHO, ALVARO DIAZ SUAREZ, JAVIER GONZALEZ BAYON, PABLO PEDRO SANCHEZ ESPESO, BIBIANA LORENTE ÁLVAREZ, LUÍS ANDRÉS CARDONA CARDONA, CARLES FERRER RAMIS

2015

Wireless sensor networks: virtual platform for performance analysis and attack simulation

Capítulo de libro

Trusted computing for embedded systems

Autoría: ALVARO DIAZ SUAREZ, JAVIER GONZALEZ BAYON, PABLO PEDRO SANCHEZ ESPESO

2015

Building a dynamically reconfigurable system through a high development flow

Comunicación a Congreso

Forum on Specification and Design Languages (FDL 2015): Proceedings

Autoría: DAVID DE LA FUENTE, JESÚS BARBA ROMERO, XERACH PEÑA, JUAN CARLOS LÓPEZ LÓPEZ, PABLO PEÑIL DEL CAMPO, PABLO PEDRO SANCHEZ ESPESO

2015

System level methodology based on VIPPE applied to the implementation of a scalable video decoder on the ZynQ platform

Comunicación a Congreso

2015 Conference on Design of Circuits and Integrated Systems (DCIS): Proceedings of a meeting held 25-27 November 2015, Estoril, Portugal

Autoría: ABELARDO BÁEZ QUEVEDO, GUSTAVO MARRENO CALLICÓ, SEBASTIAN LÓPEZ SUÁREZ, ROBERTO SARMIENTO RODRÍGUEZ, ALEJANDRO NICOLAS TEJERIA, PABLO PEDRO SANCHEZ ESPESO, EUGENIO VILLAR BONET

2015

Parallel native-simulation for multi-processing embedded systems

Comunicación a Congreso

2015 Euromicro Conference on Digital System Design (DSD)

Autoría: ALEJANDRO NICOLAS TEJERIA, PABLO PEDRO SANCHEZ ESPESO

2015

Profiling and optimizations for embedded systems

Comunicación a Congreso

2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014)

Autoría: PABLO GONZALEZ DE ALEDO MARUGAN, LUIS DIAZ SUAREZ, ALVARO DIAZ SUAREZ, PABLO PEDRO SANCHEZ ESPESO

2014

VIPPE: Native simulation and performance analysis framework for multi-processing embedded systems

Comunicación a Congreso

Actas de las V Jornadas de Computación Empotrada (JCE 2014): Jornadas SARTECO, 17-19 de septiembre de 2014, Valladolid

Autoría: LUIS DIAZ SUAREZ, EDUARDO GONZALEZ GUTIERREZ, EUGENIO VILLAR BONET, PABLO PEDRO SANCHEZ ESPESO

2014

VIPPE, parallel simulation and performance analysis of multi-core embedded systems on multi-core platforms

Comunicación a Congreso

2014 Conference on Design of Circuits and Integrated Systems (DCIS): Proceedings of a meeting held 26-28 November 2014, Madrid, Spain

Autoría: LUIS DIAZ SUAREZ, EDUARDO GONZALEZ GUTIERREZ, EUGENIO VILLAR BONET, PABLO PEDRO SANCHEZ ESPESO

2014

42 resultados

1 de 2

Volver

Estamos realizando la búsqueda. Por favor, espere...