| Skink: Static Analysis of Programs in LLVM Intermediate Representation: (Competition Contribution) F Cassez, AM Sloane, M Roberts, M Pigram, P Suvanpong, PG de Aledo Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 28 | 2017 |
| Diversity and stress tolerance in rhizobia from Parque Chaqueño region of Argentina nodulating Prosopis alba L Chávez Díaz, P González, E Rubio, M Melchiorre Biology and fertility of soils 49 (8), 1153-1165, 2013 | 12 | 2013 |
| 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 | 10 | 2016 |
| FramewORk for Embedded System verification: (Competition Contribution) P Gonzalez-de-Aledo, P Sanchez Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 10 | 2015 |
| Wuppaal: Computation of worst-case execution-time for binary programs with uppaal F Cassez, PG de Aledo, PG Jensen Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017 | 9 | 2017 |
| 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 | 9 | 2015 |
| FramewORk for Embedded System verification-(Competition Contribution). PG de Aledo, PS Espeso TACAS, 429-431, 2015 | 9 | 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 | 9 | 2011 |
| Hardware performance estimation by dynamic scheduling PG de Aledo Marugán, J González-Bayón, PS Espeso FDL 2011 Proceedings, 1-6, 2011 | 8 | 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 | 7 | 2010 |
| Timed automata for modelling caches and pipelines F Cassez, PGA Marugán arXiv preprint arXiv:1511.04172, 2015 | 6 | 2015 |
| Real-time voxel-based visual hull reconstruction JM Perez, PG Aledo, PP Sanchez Microprocessors and Microsystems 36 (5), 439-447, 2012 | 6 | 2012 |
| 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 | 6 | 1990 |
| 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 | 2 | 2014 |
| 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 | 2 | |
| 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 | 1 | 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 | 1 | 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 | 1 | 2012 |
| Listado de revisores AnFaMed 2023 L Llambí, L Martínez, L Díaz, L Servente, L Francescoli, M Penela, ... Revista Anales de Facultad de Medicina, 2023 | | 2023 |
| Discovering and Validating Concurrency Specification from Test Executions P Gonzalez-de-Aledo, AD Suarez, P Sanchez, R Huuck 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016 | | 2016 |
