Hardware performance estimation by dynamic scheduling. - Pablo González de Aledo Marugán; Javier Gonzalez Bayon; Pablo Sánchez Espeso (FDL, 2011)

A Virtual Platform for Performance Estimation of Many-core Implementations. - Pablo González de Aledo Marugán; Javier Gonzalez Bayon; Pablo Sánchez Espeso (DSD, 2012)

An Approach for Algorithm Parallelization Oriented to a Many-core Implementation. - Pablo González de Aledo Marugán; Javier Gonzalez Bayon; Pablo Sánchez Espeso (ISPA, 2012)

Real-time voxel-based visual hull reconstruction. - Jesús M. Pérez; Pablo González de Aledo; Pablo Sánchez Espeso (Microprocess. Microsystems, 2012)

Profiling and optimizations for embedded systems. - Pablo González de Aledo Marugán; Luis Díaz Suárez; Álvaro Díaz Suárez; Pablo Sánchez Espeso (MEMOCODE, 2014)

Estimating verification time. - Pablo González de Aledo (CoRR, 2014)

Fast Trace Generation of Many-Core Embedded Systems with Native Simulation. - David Castells-Rufas; Jordi Carrabina; Pablo González de Aledo Marugán; Pablo Sánchez Espeso (CoRR, 2014)

An Approach to Static-Dynamic Software Analysis. - Pablo González de Aledo; Pablo Sánchez Espeso; Ralf Huuck (FTSCS, 2015)

FramewORk for Embedded System verification - (Competition Contribution). - Pablo González de Aledo; Pablo Sánchez Espeso (TACAS, 2015)

Timed Automata for Modelling Caches and Pipelines. - Franck Cassez; Pablo González de Aledo Marugán (MARS, 2015)

Discovering and Validating Concurrency Specification from Test Executions. - Pablo González de Aledo Marugán; Álvaro Díaz Suárez; Pablo Sánchez Espeso; Ralf Huuck (VST@SANER, 2016)

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. - Franck Cassez; Pablo González de Aledo; Peter Gjøl Jensen (Models, Algorithms, Logics and Tools, 2017)

Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). - Franck Cassez; Anthony M. Sloane; Matthew Roberts; Matthew Pigram; Pongsak Suvanpong; Pablo González de Aledo Marugán (TACAS (2), 2017)

Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification. - Pablo González de Aledo; Nils Przigoda; Robert Wille; Rolf Drechsler; Pablo Sánchez Espeso (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Investigating automatic vectorization for real-time 3D scene understanding. - Alexandru Nica; Emanuele Vespa; Pablo González de Aledo; Paul H. J. Kelly (WPMVP@PPoPP, 2018)

An optimization approach for agent-based computational models of biological development. - Pablo González de Aledo; Andrey Vladimirov; Marco Manca 002; Jerry Baugh; Ryo Asai; Marcus Kaiser; Roman Bauer 001 (Adv. Eng. Softw., 2018)

Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. - Sajad Saeedi 001; Bruno Bodin; Harry Wagstaff; Andy Nisbet; Luigi Nardi; John Mawer; Nicolas Melot; Oscar Palomar; Emanuele Vespa; Tom Spink; Cosmin Gorgovan; Andrew M. Webb; et al. (CoRR, 2018)

Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. - Sajad Saeedi 001; Bruno Bodin; Harry Wagstaff; Andy Nisbet; Luigi Nardi; John Mawer; Nicolas Melot; Oscar Palomar; Emanuele Vespa; Tom Spink; Cosmin Gorgovan; Andrew M. Webb; et al. (Proc. IEEE, 2018)

Generic Error Localization for the Electronic System Level. - Sebastian Pointner; Pablo González de Aledo; Robert Wille (DDECS, 2019)

YASSi: Yet Another Symbolic Simulator Large (Tool Demo). - Sebastian Pointner; Pablo González de Aledo; Robert Wille (DEXA Workshops, 2020)