Pablo Sánchez Espeso
According to our database1,
Pablo Sánchez Espeso
authored at least 22 papers
between 2009 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
2016
2017
0
1
2
3
4
5
6
3
2
1
1
1
1
2
1
2
4
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
High-Level Design of Wireless Sensor Networks for Performance Optimization Under Security Hazards.
ACM Trans. Sens. Networks, 2017
Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models.
Multim. Tools Appl., 2017
2016
J. Circuits Syst. Comput., 2016
Proceedings of the First International Workshop on Validating Software Tests, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
2014
CoRR, 2014
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.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
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.
Pattern Recognit. Lett., 2011
Proceedings of the 2011 Forum on Specification & Design Languages, 2011
2010
Memory efficient belief propagation for high-definition real-time stereo matching systems.
Proceedings of the Three-Dimensional Image Processing (3DIP) and Applications, 2010
2009
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.
Proceedings of the Progress in Pattern Recognition, 2009