Pablo González de Aledo

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 9

Top Topics

Abstraction Levels

Formal Specification

Shape From Silhouettes

Computational Model

Top Venues

Publications

Sebastian Pointner, Pablo González de Aledo, Robert Wille
YASSi: Yet Another Symbolic Simulator Large (Tool Demo). DEXA Workshops (2020)
Sebastian Pointner, Pablo González de Aledo, Robert Wille
Generic Error Localization for the Electronic System Level. DDECS (2019)
Alexandru Nica, Emanuele Vespa, Pablo González de Aledo, Paul H. J. Kelly
Investigating automatic vectorization for real-time 3D scene understanding. WPMVP@PPoPP (2018)
Pablo González de Aledo, Andrey Vladimirov, Marco Manca, Jerry Baugh, Ryo Asai, Marcus Kaiser, Roman Bauer
An optimization approach for agent-based computational models of biological development. Adv. Eng. Softw. 121 (2018)
Sajad Saeedi, Bruno Bodin, Harry Wagstaff, Andy Nisbet, Luigi Nardi, John Mawer, Nicolas Melot, Oscar Palomar, Emanuele Vespa, Tom Spink, Cosmin Gorgovan, Andrew M. Webb, James Clarkson, Erik Tomusk, Thomas Debrunner, Kuba Kaszyk, Pablo González de Aledo, Andrey Rodchenko, Graham D. Riley, Christos Kotselidis, Björn Franke, Michael F. P. O'Boyle, Andrew J. Davison, Paul H. J. Kelly, Mikel Luján, Steve B. Furber
Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. CoRR (2018)
Pablo González de Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sánchez Espeso
Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (3) (2017)
Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. Models, Algorithms, Logics and Tools (2017)
Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck
An Approach to Static-Dynamic Software Analysis. FTSCS (2015)
Pablo González de Aledo, Pablo Sánchez Espeso
FramewORk for Embedded System verification - (Competition Contribution). TACAS (2015)
Pablo González de Aledo
Estimating verification time. CoRR (2014)
Jesús M. Pérez, Pablo González de Aledo, Pablo Sánchez Espeso
Real-time voxel-based visual hull reconstruction. Microprocess. Microsystems 36 (5) (2012)