Pablo Sánchez Espeso

According to our database, Pablo Sánchez Espeso authored at least 22 papers between 2009 and 2017.

Collaborative distances:

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

2017

High-Level Design of Wireless Sensor Networks for Performance Optimization Under Security Hazards.

Pablo Peñil, Álvaro Díaz Suárez, Hector Posadas, Julio L. Medina, Pablo Sánchez Espeso

ACM Trans. Sens. Networks, 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

Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models.

David de la Fuente, Jesús Barba, Juan Carlos López, Pablo Peñil, Héctor Posadas, Pablo Sánchez Espeso

Multim. Tools Appl., 2017

2016

Simulation of Attacks for Security in Wireless Sensor Network.

Álvaro Díaz Suárez, Pablo Sánchez Espeso

Sensors, 2016

Security Estimation in Wireless Sensor Network Simulator.

Álvaro Díaz Suárez, Javier Gonzalez Bayon, Pablo Sánchez Espeso

J. Circuits Syst. Comput., 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

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

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

2013

UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications.

Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Wireless sensor network simulation for security and performance analysis.

Álvaro Díaz Suárez, Pablo Sánchez Espeso, Juan Sancho, Juan Rico

Proceedings of the Design, Automation and Test in Europe, 2013

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

Modeling and simulation of secure wireless sensor network.

Álvaro Díaz Suárez, Pablo Peñil, Pablo Sánchez Espeso, Juan Sancho, Juan Rico

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Virtual Platform for Wireless Sensor Networks.

Álvaro Díaz Suárez, Raul Diego, Pablo Sánchez Espeso

Proceedings of the 15th Euromicro Conference on Digital System Design, 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

Real-time stereo matching using memory-efficient Belief Propagation for high-definition 3D telepresence systems.

Jesús M. Pérez, Pablo Sánchez Espeso

Pattern Recognit. Lett., 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

2010

Memory efficient belief propagation for high-definition real-time stereo matching systems.

Jesús M. Pérez, Pablo Sánchez Espeso, Marcos Martinez

Proceedings of the Three-Dimensional Image Processing (3DIP) and Applications, 2010

2009

Low-cost Bayer to RGB bilinear interpolation with hardware-aware median filter.

Jesús M. Pérez, Pablo Sánchez Espeso, Marcos Martinez

Proceedings of the 16th IEEE International Conference on Electronics, 2009

Real-Time Stereo Matching Using Memory-Efficient Belief Propagation for High-Definition 3D Tele-Presence Systems.

Jesús M. Pérez, Pablo Sánchez Espeso, Marcos Martinez

Proceedings of the Progress in Pattern Recognition, 2009