Pablo Sánchez Espeso

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