Pablo Sanchez

According to our database, Pablo Sanchez authored at least 15 papers between 1996 and 2015.

Collaborative distances:

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

2015

Parallel Native-Simulation for Multi-processing Embedded Systems.

Alejandro Nicolás, Pablo Sanchez

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

2008

Post traumatic brain perfusion SPECT analysis using reconstructed ROI maps of radioactive microsphere derived cerebral blood flow and statistical parametric mapping.

Anthony J. McGoron, Michael Capille, Michael F. Georgiou, Pablo Sanchez, Juan Solano, Manuel Gonzalez-Brito, John W. Kuluz

BMC Medical Imaging, 2008

Integration of domain-specific models into a MDA framework for time-critical embedded systems.

Pablo Sanchez, Javier Barreda, Jorge Ocón

Proceedings of the International Workshop on Intelligent Solutions in Embedded Systems, 2008

Identifying bioentity recognition errors of rule-based text-mining systems.

Francisco M. Couto, Tiago Grego, Hugo P. Bastos, Catia Pesquita, Rafael P. Torres, Pablo Sanchez, Leandro Pascual, Christian Blaschke

Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

Optimized coverage-directed random simulation.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

2006

Assertion checking of control dominated systems with nonlinear solvers.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Assertion-based Verification of Behavioral Descriptions with Non-linear Solver.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

Verification of Embedded Systems Based on Interval Analysis.

Íñigo Ugarte, Pablo Sanchez

Int. J. Parallel Program., 2005

Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Assertion Checking of Behavioral Descriptions with Non-linear Solver.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Formal meaning of coverage metrics in simulation-based hardware design verification.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

2003

Functional vector generation for assertion-based verification at behavioral level using interval analysis.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

2000

Using a Soft Core in a SoC Design: Experiences with picoJava.

Sujit Dey, Debashis Panigrahi, Li Chen, Clark N. Taylor, Krishna Sekar, Pablo Sanchez

IEEE Des. Test Comput., 2000

Embedded hardware and software self-testing methodologies for processor cores.

Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, Ying Cheng

Proceedings of the 37th Conference on Design Automation, 2000

1996

System Level Fault Simulation.

Pablo Sanchez, Isabel Hidalgo

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996