Web Map
![](../images/raya.gif)
Location
![](../images/raya.gif)
News
![](../images/raya.gif)
Santander Info
![](../images/raya.gif)
|
GIM>Research>Publications |
PUBLICATIONS in which "Pablo González" participates ordered by research line |
|
Design and verification of HW/SW embedded systems |
![International Conference](../images/conferencia.gif) |
Á. Díaz, J. González, P. Sánchez, P. González
"Virtual platform for power and security analysis of wireless sensor network"
SPIE 2013. 2013-04 |
![To see full record](../images/ficha.gif) |
|
|
![International Paper](../images/revista.gif) |
P. González, J. González, P. Sánchez
"OpenMP performance analysis for many-core platforms with non-uniform memory access"
IJCSI Volume 10, Issue 2. 2013-03 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
F. Herrera, H. Posadas, P. Peñil, E. Villar, P. Sánchez, P. González, F. Ferrero (GMV), R. Valencia (GMV)
"A MDD Methodology for the Specification and Performance Estimation of Embedded Systems"
Tutorial B: Advanced Techniques for Power-Aware System-Level Prototyping, DATE'13. 2013-03 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
P. González, P. Sánchez, J. González
"A virtual Platform for performance estimation of OpenMP Programs"
DCIS 2012. 2012-11 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
P. González, J. González, P. Sánchez
"An approach for algorithm parallelization oriented to a many-core implementation"
ISPA 2012. 2012-11 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
P. González, P. Sánchez, J. González
"Hardware Performance Estimation by Dynamic Scheduling"
Proceedings FDL. 2011-12 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
P. González, J. González, P. Sánchez
"Hardware Performance estimation by Dynamic Scheduling II"
Proceedings DCIS2011. 2011-12 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
P. González, P. Sánchez
"An approach for modelling parallelization in the P2012"
P2012 Developers Conference. Grenoble.. 2011-12 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
D. Calvo, J. Pérez, P. González, R. Diego, Á. Díaz, P. Sánchez
"Design, modeling and development of an efficient comunication infrastructure for networking applications"
XXVI Conference on Design of Circuits and Integrated Systems, DCIS'11. 2011-11 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
D. Calvo, P. González, L. Diaz, Alvaro Diaz, Pablo Sanchez, D. Gutiérrez (TTI), F. Alcalá (VS)
"Smart video processing in MPSoC demonstrator"
Deliverable DA2.3b of Artemis SCALOPES Project. 2011-03 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
D. Calvo, P. González, H. Posadas, P. Sánchez, E. Villar, Andrea Acquaviva, Enrico Macii, Claudio Parrella, Mateo Giaconia
"SCoPE: SystemC Cosimulation and Performance Estimation. Application to Power and Thermal-Aware Design"
University Booth, DATE 11, Grenoble. 2011-03 |
![To see full record](../images/ficha.gif) |
![PDF File](../images/pdf.gif) |
|
![International Paper](../images/revista.gif) |
D. Calvo, P. González, L. Diaz, H. Posadas, P. Sánchez, E. Villar, Andrea Acquaviva, Enrico Macii
"A Multi-Processing Systems-on-Chip Native Simulation Framework for Power and Thermal-Aware Design"
ASP Journal on Low-Power Electronics (JOLPE): Special Issue on Low Power Design and Verification Techniques
. 2011-02 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
P. González, P. Sánchez, L. Diaz
"Embedded software execution time estimation at different abstraction levels"
XXV Conference on Design of Circuits and Integrated Systems, DCIS'10. 2010-11 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
Patricia Botella, P. González, Pablo Sánchez, Francisco Alcalá, Mario Virgliar, et all
"Embedded and low-power surveillance systems: Final specification release"
Deliverable DA2.2 of the Artemis Scalopes project. 2010-06 |
![To see full record](../images/ficha.gif) |
|
|
Design of HW/SW Embedded Systems |
![International Conference](../images/conferencia.gif) |
Á. Díaz, J. González, P. Sánchez, P. González
"Virtual platform for power and security analysis of wireless sensor network"
SPIE 2013. 2013-04 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
Kai Hylla (OFFIS), Saif A. Butt (CV), F. Herrera, S. Real, P. González, P. Sánchez
"Preliminary report on Custom Hardware Estimation and Model Generation
"
Deliverable D2.4.1 of the COMPLEX project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
Verification of Embedded Systems |
![International Paper](../images/revista.gif) |
P. González, P. Sánchez
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
TCAD. 2017-03 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
Kai Hylla (OFFIS), Saif A. Butt (CV), F. Herrera, S. Real, P. González, P. Sánchez
"Preliminary report on Custom Hardware Estimation and Model Generation
"
Deliverable D2.4.1 of the COMPLEX project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
|
|