Pablo González de Aledo

11 papers A 1C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2020 — conf
YASSi: Yet Another Symbolic Simulator Large (Tool Demo).
DEXA Workshops
Sebastian Pointner, Pablo González de Aledo, Robert Wille
2019 C conf
Generic Error Localization for the Electronic System Level.
DDECS
Sebastian Pointner, Pablo González de Aledo, Robert Wille
2018 J jnl
An optimization approach for agent-based computational models of biological development.
Adv. Eng. Softw.
Pablo González de Aledo, Andrey Vladimirov, Marco Manca, Jerry Baugh, Ryo Asai, Marcus Kaiser, Roman Bauer
2018 — conf
Investigating automatic vectorization for real-time 3D scene understanding.
WPMVP@PPoPP
Alexandru Nica, Emanuele Vespa, Pablo González de Aledo, Paul H. J. Kelly
2018 J jnl
Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality.
CoRR
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
2017 J jnl
Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Pablo González de Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sánchez Espeso
2017 — conf
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.
Models, Algorithms, Logics and Tools
Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen
2015 — conf
An Approach to Static-Dynamic Software Analysis.
FTSCS
Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck
2015 A conf
FramewORk for Embedded System verification - (Competition Contribution).
TACAS
Pablo González de Aledo, Pablo Sánchez Espeso
2014 J jnl
Estimating verification time.
CoRR
Pablo González de Aledo
2012 J jnl
Real-time voxel-based visual hull reconstruction.
Microprocess. Microsystems
Jesús M. Pérez, Pablo González de Aledo, Pablo Sánchez Espeso