| 2015 | TACAS | FramewORk for Embedded System verification - (Competition Contribution). | Pablo Gonzlez de Aledo, Pablo Snchez Espeso |
| 2014 | MEMOCODE | Profiling and optimizations for embedded systems. | Pablo Gonzlez de Aledo Marugn, Luis Daz Surez, lvaro Daz Surez, Pablo Snchez Espeso |
| 2013 | DATE | Wireless sensor network simulation for security and performance analysis. | lvaro Daz Surez, Pablo Snchez Espeso, Juan Sancho, Juan Rico |
| 2013 | DSD | UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications. | Pablo Peil, Pablo Snchez Espeso, David de la Fuente, Jess Barba, Juan Carlos Lpez |
| 2012 | DSD | A Virtual Platform for Performance Estimation of Many-core Implementations. | Pablo Gonzlez de Aledo Marugn, Javier Gonzalez Bayon, Pablo Snchez Espeso |
| 2012 | DSD | Virtual Platform for Wireless Sensor Networks. | lvaro Daz Surez, Raul Diego, Pablo Snchez Espeso |
| 2012 | FDL | Modeling and simulation of secure wireless sensor network. | lvaro Daz Surez, Pablo Peil, Pablo Snchez Espeso, Juan Sancho, Juan Rico |
| 2012 | ISPA | An Approach for Algorithm Parallelization Oriented to a Many-core Implementation. | Pablo Gonzlez de Aledo Marugn, Javier Gonzalez Bayon, Pablo Snchez Espeso |
| 2011 | FDL | Hardware performance estimation by dynamic scheduling. | Pablo Gonzlez de Aledo Marugn, Javier Gonzalez Bayon, Pablo Snchez Espeso |
| 2009 | CIARP | Real-Time Stereo Matching Using Memory-Efficient Belief Propagation for High-Definition 3D Tele-Presence Systems. | Jess M. Prez, Pablo Snchez Espeso, Marcos Martinez |