Pablo González de Aledo Marugán

According to our database, Pablo González de Aledo Marugán authored at least 20 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

YASSi: Yet Another Symbolic Simulator Large (Tool Demo).

Sebastian Pointner, Pablo González de Aledo, Robert Wille

Proceedings of the Database and Expert Systems Applications, 2020

2019

Generic Error Localization for the Electronic System Level.

Sebastian Pointner, Pablo González de Aledo, Robert Wille

Proceedings of the 22nd IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2019

2018

Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality.

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 Marugán, 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

Proc. IEEE, 2018

Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality.

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

CoRR, 2018

An optimization approach for agent-based computational models of biological development.

Pablo González de Aledo, Andrey Vladimirov, Marco Manca, Jerry Baugh, Ryo Asai, Marcus Kaiser, Roman Bauer

Adv. Eng. Softw., 2018

Investigating automatic vectorization for real-time 3D scene understanding.

Alexandru Nica, Emanuele Vespa, Pablo González de Aledo, Paul H. J. Kelly

Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, 2018

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

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.

Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

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

Proceedings of the First International Workshop on Validating Software Tests, 2016

2015

Timed Automata for Modelling Caches and Pipelines.

Franck Cassez, Pablo González de Aledo Marugán

Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

FramewORk for Embedded System verification - (Competition Contribution).

Pablo González de Aledo, Pablo Sánchez Espeso

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

An Approach to Static-Dynamic Software Analysis.

Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

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

Estimating verification time.

Pablo González de Aledo

CoRR, 2014

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

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

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

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

Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

A Virtual Platform for Performance Estimation of Many-core Implementations.

Pablo González de Aledo Marugán, Javier Gonzalez Bayon, Pablo Sánchez Espeso

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

2011

Hardware performance estimation by dynamic scheduling.

Pablo González de Aledo Marugán, Javier Gonzalez Bayon, Pablo Sánchez Espeso

Proceedings of the 2011 Forum on Specification & Design Languages, 2011