Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Thu 28-Mar-24 . 17:32



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
Revista Internacional P. González, P. Sánchez
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
TCAD. 2017-03
Ver ficha completa


   2016
Conferencia Internacional P. González, Á. Díaz, P. Sánchez
"Discovering and Validating Concurrency Specification from Test Executions"
International Workshop on Validating Software Tests Osaka. 2016-03
Ver ficha completa

Capítulo de libro P. Sánchez, P. 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
Ver ficha completa


   2015
Conferencia Internacional P. González, P. Sánchez
"An Approach to Static-Dynamic Software Analysis"
Proceedings of the 17th International Conference on Formal Engineering Methods. 2015-10
Ver ficha completa

Conferencia Internacional P. 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
Ver ficha completa

Capítulo de libro P. González, P. 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
Ver ficha completa


   2014
Conferencia Internacional P. González, Á. Díaz, L. Diaz, P. Sánchez
"Profiling and optimizations for Embedded Systems"
ACM-IEEE MEMOCODE14. 2014-10
Ver ficha completa


   2013
Conferencia Internacional Á. 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
Ver ficha completa

Revista Internacional 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
Ver ficha completa

Conferencia Internacional 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
Ver ficha completa

Conferencia Internacional P. González, J. González, P. 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
Ver ficha completa


   2012
Conferencia Internacional P. González, P. Sánchez, J. González
"A virtual Platform for performance estimation of OpenMP Programs"
DCIS 2012. 2012-11
Ver ficha completa

Conferencia Internacional P. González, J. González, P. Sánchez
"An approach for algorithm parallelization oriented to a many-core implementation"
ISPA 2012. 2012-11
Ver ficha completa

Conferencia Internacional P. González, J. González, P. Sánchez
"A virtual platform for performance estimation of many-core implementations"
DSD 2012. 2012-11
Ver ficha completa


   2011
Conferencia Internacional P. González, P. Sánchez, J. González
"Hardware Performance Estimation by Dynamic Scheduling"
Proceedings FDL. 2011-12
Ver ficha completa

Conferencia Internacional P. González, J. González, P. Sánchez
"Hardware Performance estimation by Dynamic Scheduling II"
Proceedings DCIS2011. 2011-12
Ver ficha completa

Conferencia Internacional P. González, P. Sánchez
"An approach for modelling parallelization in the P2012"
P2012 Developers Conference. Grenoble.. 2011-12
Ver ficha completa

Conferencia Internacional 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
Ver ficha completa

Informe, Estudio o Dictamen por encargo 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
Ver ficha completa

Conferencia Internacional 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
Ver ficha completa
Fichero PDF
Revista Internacional 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
Ver ficha completa


   2010
Informe, Estudio o Dictamen por encargo 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
Ver ficha completa

Conferencia Internacional 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
Ver ficha completa

Informe, Estudio o Dictamen por encargo 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
Ver ficha completa


© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster