Pablo González de Aledo Marugán
Pablo González de Aledo Marugán
Research Assistant, Imperial College of London
Dirección de correo verificada de ic.ac.uk
Título
Citado por
Citado por
Año
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
2462007
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
1562007
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
182017
Framework for embedded system verification
P Gonzalez-de-Aledo, P Sanchez
International Conference on Tools and Algorithms for the Construction and …, 2015
112015
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
92016
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
92013
Hardware performance estimation by dynamic scheduling
PG de Aledo Marugán, J González-Bayón, PS Espeso
FDL 2011 Proceedings, 1-6, 2011
92011
FramewORk for Embedded System verification-(Competition Contribution).
PG de Aledo, PS Espeso
TACAS, 429-431, 2015
82015
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
72011
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
72010
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
62015
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
61990
Timed automata for modelling caches and pipelines
F Cassez, PGA Marugán
arXiv preprint arXiv:1511.04172, 2015
42015
Real-time voxel-based visual hull reconstruction
JM Perez, PG Aledo, PP Sanchez
Microprocessors and Microsystems 36 (5), 439-447, 2012
42012
Increased oxidative stress tolerance by Superoxide dismutase overexpression in Mesorhizobium loti
PJ Gonzalez, M Lozano, HR Lascano, A Lagares, MN Melchiorre
bioRxiv, 363556, 2018
32018
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
3
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
22014
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
12014
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
12013
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
12012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20