Pablo González de Aledo Marugán
Pablo González de Aledo Marugán
Research Assistant, Imperial College of London
Verified email at
Cited by
Cited by
Spanish Aerobiology Network (REA): management and quality manual
CG Soldevilla, PC González, PA Teno, ED Vilches
Publicaciones de La Universidad de Córdoba, 1-300, 2007
Manual de calidad y gestión de la Red Española de Aerobiología
CG Soldevilla, PC González, PA Teno, ED Vílches
Universidad de Córdoba, 2007
Skink: Static analysis of programs in LLVM intermediate representation
F Cassez, AM Sloane, M Roberts, M Pigram, P Suvanpong, PG de Aledo
International Conference on Tools and Algorithms for the Construction and …, 2017
Framework for embedded system verification
P Gonzalez-de-Aledo, P Sanchez
International Conference on Tools and Algorithms for the Construction and …, 2015
Towards a verification flow across abstraction levels verifying implementations against their formal specification
P Gonzalez-de-Aledo, N Przigoda, R Wille, R Drechsler, P Sanchez
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016
Diversity and stress tolerance in rhizobia from Parque Chaqueño region of Argentina nodulating Prosopis alba
LC Díaz, P González, E Rubio, M Melchiorre
Biology and fertility of soils 49 (8), 1153-1165, 2013
Hardware performance estimation by dynamic scheduling
PG de Aledo Marugán, J González-Bayón, PS Espeso
FDL 2011 Proceedings, 1-6, 2011
FramewORk for Embedded System verification-(Competition Contribution).
PG de Aledo, PS Espeso
TACAS, 429-431, 2015
A multi-processing systems-on-chip native simulation framework for power and thermal-aware design
D Calvo, P González, L Díaz, H Posadas, P Sánchez, E Villar, ...
Journal of Low Power Electronics 7 (1), 2-16, 2011
Embedded software execution time estimation at different abstraction levels
P González-de-Aledo Marugán, L Díaz Suarez, P Sanchez Espeso
XXV Conference on Design of Circuits and Integrated Systems, 532–537, 2010
An approach to static-dynamic software analysis
P Gonzalez-de-Aledo, P Sanchez, R Huuck
International Workshop on Formal Techniques for Safety-Critical Systems, 225-240, 2015
La faba granja asturiana (Phaseolus vulgaris, L. vr." granja"). Valoración y características de calidad
MA Fueyo, P González, A Baranda, P Sánchez
Actas de Horticultura. I Congreso Ibérico de Ciencias Hortícolas 2 (5), 205-210, 1990
Timed automata for modelling caches and pipelines
F Cassez, PGA Marugán
arXiv preprint arXiv:1511.04172, 2015
Real-time voxel-based visual hull reconstruction
JM Perez, PG Aledo, PP Sanchez
Microprocessors and Microsystems 36 (5), 439-447, 2012
M. Villar C., M. Carballas and T. Carballas. 1996. Effect of soil characteristics on N mineralization capacity in 112 native and agricultural soils from the northwest of Spain
P González, AC SJ
Biol. Fertil. Soils 22, 252-260, 0
Increased oxidative stress tolerance by Superoxide dismutase overexpression in Mesorhizobium loti
PJ Gonzalez, M Lozano, HR Lascano, A Lagares, MN Melchiorre
bioRxiv, 363556, 2018
Profiling and optimizations for embedded systems
PGA Marugán, LD Suárez, ÁD Suárez, P Sánchez
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014
Fast Trace Generation of Many-Core Embedded Systems with Native Simulation
D Castells-Rufas, J Carrabina, PGA Marugán, PS Espeso
arXiv preprint arXiv:1406.4840, 2014
OpenMP performance analysis for many-core platforms with non-uniform memory access
PG de Aledo Marugán, JG Bayón, PS Espeso, JC Martín
International Journal of Computer Science Issues (IJCSI) 10 (2 Part 2), 463, 2013
A Virtual Platform for Performance Estimation of Many-core Implementations
P González de Aledo Marugán, J González-Bayón, P Sánchez Espeso
15th Euromicro Conference on Digital System Design, 541-544, 2012
The system can't perform the operation now. Try again later.
Articles 1–20