Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicaciones |
| PUBLICACIONES en las que participa: "Pablo Pedro Sánchez" ordenadas por fecha |
| |
| 2021 |
 |
Víctor Fernández, Carlos Abad, Angel Alvarez, Iñigo Ugarte, Pablo Pedro Sánchez
"Pre-silicon FEC decoding verification on SoC FPGAs"
IEEE Communications Letters. 2021-01 |
 |
|
|
| 2019 |
 |
Angel Alvarez, Iñigo Ugarte, Víctor Fernández, Pablo Pedro Sánchez
"Design Space Exploration in Heterogeneous Platforms Using OpenMP"
DCIS 2019. 2019-11 |
|
 |
|
 |
Angel Alvarez, Iñigo Ugarte, Víctor Fernández, Pablo Pedro Sánchez
"OpenMP Dynamic Device Offloading in Heterogeneous Platforms"
Fan X., de Supinski B., Sinnen O., Giacaman N. (eds) OpenMP: Conquering the Full Hardware Spectrum. IWOMP 2019. Lecture Notes in Computer Science, vol 11718. Springer, Cham. https://doi.org/10.1007/978-3-030-28596-8_8. 2019-08 |
|
|
|
| 2018 |
|
Álvaro Díaz, Eugenio Villar, Pablo Pedro Sánchez
"Integrated Framework for Reusable Multi-Level Embedded System Verification"
Work-in-Progress Session, DAC, San Francisco. 2018-06 |
|
|
|
| 2017 |
|
Álvaro Díaz, Héctor Posadas, Pablo Peñil, Pablo Pedro Sánchez
"High-level Design of Wireless Sensor Networks for Performance Optimization under Security Hazards"
ACM Transactions on Sensor Networks (TOSN). 2017-09 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
TCAD. 2017-03 |
|
|
|
| 2016 |
|
Álvaro Díaz, Pablo Pedro Sánchez
"Simulation of Attacks for Security in Wireless Sensor Network"
Sensors 2016, 16(11), 1932; doi: 10.3390/s16111932. 2016-11 |
|
|
|
|
Álvaro Díaz, Alejandro Nicolás, Iñigo Ugarte, Pablo Pedro Sánchez
"Designing embedded HW/SW systems with OpenMP"
FDL Forum on specification & Design Languages
September 12-14, 2016
Bremen, Germany. 2016-09 |
|
|
|
|
Álvaro Díaz, Pablo Pedro Sánchez
"Security Estimation in Wireless Sensor Network Simulator"
Journal at Circuits, Systems, and Computers (JCSC). 2016-07 |
|
|
|
|
Pablo González, Álvaro Díaz, Pablo Pedro Sánchez
"Discovering and Validating Concurrency Specification from Test Executions"
International Workshop on Validating Software Tests Osaka. 2016-03 |
|
|
|
|
David de la Fuente, Pablo Peñil, Jesús Barba, Héctor Posadas, Juan Carlos Lopez, Pablo Pedro Sánchez
"SYNTHESIS OF SIMULATION AND IMPLEMENTATION CODE FOR OPENMAX
MULTIMEDIA HETEROGENEOUS SYSTEMS FROM UML/MARTE MODELS"
Multimedia Tools & Applications. 2016-03 |
|
|
|
|
Pablo Pedro Sánchez, Pablo González, Ralf Huuck
"An Approach to Static-Dynamic Software Analysis"
Formal Techniques for Safety-Critical Systems.
Revised Selected Papers of FTSCS 2015.
Volume 596 of the series Communications in Computer and Information Science pp 225-240. Springer. 2016-01 |
|
|
|
| 2015 |
Error: se ha encontrado un tipo de publicación incorrecto
| |
