Pablo Sánchez Espeso

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 6

Top Topics

Abstraction Levels

Shape From Silhouette

Formal Specification

Wireless Sensor

Top Venues

Publications

David de la Fuente, Jesús Barba, Juan Carlos López, Pablo Peñil, Héctor Posadas, Pablo Sánchez Espeso
Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models. Multim. Tools Appl. 76 (6) (2017)
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)
Pablo Peñil, Álvaro Díaz Suárez, Hector Posadas, Julio L. Medina, Pablo Sánchez Espeso
High-Level Design of Wireless Sensor Networks for Performance Optimization Under Security Hazards. ACM Trans. Sens. Networks 13 (3) (2017)
Álvaro Díaz Suárez, Pablo Sánchez Espeso
Simulation of Attacks for Security in Wireless Sensor Network. Sensors 16 (11) (2016)
Álvaro Díaz Suárez, Javier Gonzalez Bayon, Pablo Sánchez Espeso
Security Estimation in Wireless Sensor Network Simulator. J. Circuits Syst. Comput. 25 (7) (2016)
Pablo González de Aledo Marugán, Álvaro Díaz Suárez, Pablo Sánchez Espeso, Ralf Huuck
Discovering and Validating Concurrency Specification from Test Executions. VST@SANER (2016)
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)
David Castells-Rufas, Jordi Carrabina, Pablo González de Aledo Marugán, Pablo Sánchez Espeso
Fast Trace Generation of Many-Core Embedded Systems with Native Simulation. CoRR (2014)
Pablo González de Aledo Marugán, Luis Díaz Suárez, Álvaro Díaz Suárez, Pablo Sánchez Espeso
Profiling and optimizations for embedded systems. MEMOCODE (2014)
Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López
UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications. DSD (2013)
Álvaro Díaz Suárez, Pablo Sánchez Espeso, Juan Sancho, Juan Rico
Wireless sensor network simulation for security and performance analysis. DATE (2013)
Álvaro Díaz Suárez, Raul Diego, Pablo Sánchez Espeso
Virtual Platform for Wireless Sensor Networks. DSD (2012)
Pablo González de Aledo Marugán, Javier Gonzalez Bayon, Pablo Sánchez Espeso
An Approach for Algorithm Parallelization Oriented to a Many-core Implementation. ISPA (2012)
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)
Álvaro Díaz Suárez, Pablo Peñil, Pablo Sánchez Espeso, Juan Sancho, Juan Rico
Modeling and simulation of secure wireless sensor network. FDL (2012)
Pablo González de Aledo Marugán, Javier Gonzalez Bayon, Pablo Sánchez Espeso
A Virtual Platform for Performance Estimation of Many-core Implementations. DSD (2012)
Jesús M. Pérez, Pablo Sánchez Espeso
Real-time stereo matching using memory-efficient Belief Propagation for high-definition 3D telepresence systems. Pattern Recognit. Lett. 32 (16) (2011)
Pablo González de Aledo Marugán, Javier Gonzalez Bayon, Pablo Sánchez Espeso
Hardware performance estimation by dynamic scheduling. FDL (2011)
Jesús M. Pérez, Pablo Sánchez Espeso, Marcos Martinez
Memory efficient belief propagation for high-definition real-time stereo matching systems. Three-Dimensional Image Processing (3DIP) and Applications (2010)
Jesús M. Pérez, Pablo Sánchez Espeso, Marcos Martinez
Low-cost Bayer to RGB bilinear interpolation with hardware-aware median filter. ICECS (2009)
Jesús M. Pérez, Pablo Sánchez Espeso, Marcos Martinez
Real-Time Stereo Matching Using Memory-Efficient Belief Propagation for High-Definition 3D Tele-Presence Systems. CIARP (2009)