Pablo Sanchez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1996–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | DSD | Parallel Native-Simulation for Multi-processing Embedded Systems. | Alejandro Nicols, Pablo Sanchez |
| 2006 | MEMOCODE | Assertion checking of control dominated systems with nonlinear solvers. | igo Ugarte, Pablo Sanchez |
| 2005 | ICCD | Assertion Checking of Behavioral Descriptions with Non-linear Solver. | igo Ugarte, Pablo Sanchez |
| 2005 | MEMOCODE | Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. | igo Ugarte, Pablo Sanchez |
| 2000 | DAC | Embedded hardware and software self-testing methodologies for processor cores. | Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, Ying Cheng |
| 1996 | ITC | System Level Fault Simulation. | Pablo Sanchez, Isabel Hidalgo |