Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicaciones |
| PUBLICACIONES en las que participa: "Pablo González" ordenadas por fecha |
| |
| 2017 |
 |
Pablo González, Pablo Pedro Sánchez
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
TCAD. 2017-03 |
 |
|
|
| 2016 |
 |
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 |
|
|
|
 |
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 |
|
Pablo González, Pablo Pedro Sánchez
"An Approach to Static-Dynamic Software Analysis"
Proceedings of the 17th International Conference on Formal Engineering Methods. 2015-10 |
|
|
|
|
Pablo González
"Timed Automata for Modelling Caches and Pipelines"
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015,volume 196, of EPTCS, pages 37-45 (EPTCS).. 2015-10 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez
"Framework for embedded system verification"
Proceedings of 21st International Conference on Tools and Algorithms for the construction and Analysis of Systems (TACAS 2015). 2015-04 |
|
|
|
| 2014 |
|
Pablo González, Álvaro Díaz, Luis Diaz, Pablo Pedro Sánchez
"Profiling and optimizations for Embedded Systems"
ACM-IEEE MEMOCODE14. 2014-10 |
|
|
|
| 2013 |
|
Álvaro Díaz, Javier González, Pablo Pedro Sánchez, Pablo González
"Virtual platform for power and security analysis of wireless sensor network"
SPIE 2013. 2013-04 |
|
|
|
|
Pablo González, Javier González, Pablo Pedro Sánchez
"OpenMP performance analysis for many-core platforms with non-uniform memory access"
IJCSI Volume 10, Issue 2. 2013-03 |
|
|
|
|
Fernando Herrera, Héctor Posadas, Pablo Peñil, Eugenio Villar, Pablo Pedro Sánchez, Pablo 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 |
|
|
|
|
Pablo González, Javier González, Pablo Pedro Sánchez
"An OpenMP-based framework for performance analysis of many-core platforms with non-uniform memory access"
High Performance Energy Efficient Embedded Systems (HIP3ES)-2013. 2013-01 |
|
|
|
| 2012 |
|
Pablo González, Pablo Pedro Sánchez, Javier González
"A virtual Platform for performance estimation of OpenMP Programs"
DCIS 2012. 2012-11 |
|
|
|
|
Pablo González, Javier González, Pablo Pedro Sánchez
"An approach for algorithm parallelization oriented to a many-core implementation"
ISPA 2012. 2012-11 |
|
|
|
|
Pablo González, Javier González, Pablo Pedro Sánchez
"A virtual platform for performance estimation of many-core implementations"
DSD 2012. 2012-11 |
|
|
|
| 2011 |
|
Pablo González, Pablo Pedro Sánchez, Javier González
"Hardware Performance Estimation by Dynamic Scheduling"
Proceedings FDL. 2011-12 |
|
|
|
|
Pablo González, Javier González, Pablo Pedro Sánchez
"Hardware Performance estimation by Dynamic Scheduling II"
Proceedings DCIS2011. 2011-12 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez
"An approach for modelling parallelization in the P2012"
P2012 Developers Conference. Grenoble.. 2011-12 |
|
|
|
|
Daniel Calvo, Jesús Miguel Pérez, Pablo González, Raúl Diego, Álvaro Díaz, Pablo Pedro 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 |
|
|
|
 |
Daniel Calvo, Pablo González, Luis 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 |
|
|
|
|
Daniel Calvo, Pablo González, Héctor Posadas, Pablo Pedro Sánchez, Eugenio 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 |
|
 |
|
|
Daniel Calvo, Pablo González, Luis Diaz, Héctor Posadas, Pablo Pedro Sánchez, Eugenio 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 |
|
|
|
| 2010 |
|
Kai Hylla (OFFIS), Saif A. Butt (CV), Fernando Herrera, Sara Real, Pablo González, Pablo Pedro Sánchez
"Preliminary report on Custom Hardware Estimation and Model Generation
"
Deliverable D2.4.1 of the COMPLEX project. 2010-12 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez, Luis Diaz
"Embedded software execution time estimation at different abstraction levels"
XXV Conference on Design of Circuits and Integrated Systems, DCIS'10. 2010-11 |
|
|
|
|
Patricia Botella, Pablo 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 |
|
|
|
|
|
