System Level Fault Simulation. - Pablo Sanchez; Isabel Hidalgo (ITC, 1996)

Embedded hardware and software self-testing methodologies for processor cores. - Li Chen; Sujit Dey; Pablo Sanchez; Krishna Sekar; Ying Cheng (DAC, 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)

Functional vector generation for assertion-based verification at behavioral level using interval analysis. - Íñigo Ugarte; Pablo Sanchez (HLDVT, 2003)

Formal meaning of coverage metrics in simulation-based hardware design verification. - Íñigo Ugarte; Pablo Sanchez (HLDVT, 2005)

Assertion Checking of Behavioral Descriptions with Non-linear Solver. - Íñigo Ugarte; Pablo Sanchez (ICCD, 2005)

Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. - Íñigo Ugarte; Pablo Sanchez (MEMOCODE, 2005)

Verification of Embedded Systems Based on Interval Analysis. - Íñigo Ugarte; Pablo Sanchez (Int. J. Parallel Program., 2005)

Assertion-based Verification of Behavioral Descriptions with Non-linear Solver. - Íñigo Ugarte; Pablo Sanchez (HLDVT, 2006)

Assertion checking of control dominated systems with nonlinear solvers. - Íñigo Ugarte; Pablo Sanchez (MEMOCODE, 2006)

Optimized coverage-directed random simulation. - Íñigo Ugarte; Pablo Sanchez (HLDVT, 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 (ICDIM, 2008)

Integration of domain-specific models into a MDA framework for time-critical embedded systems. - Pablo Sanchez; Javier Barreda; Jorge Ocón (WISES, 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)

Parallel Native-Simulation for Multi-processing Embedded Systems. - Alejandro Nicolás; Pablo Sanchez (DSD, 2015)

A Performance Cost/Benefit Analysis of Adaptive Computing in the Tactical Edge. - Alessandro Amato; Harrie Bastiaansen; Willem Datema; Mattia Fogli; Roberto Fronteddu; Raffaele Galliera; Johan van der Geest; Thomas Kudla; Pablo Sanchez; Niranjan Suri; Susan Watson (ICMCIS, 2024)

A Data Storage, Analysis, and Project Administration Engine (TMFdw) for Small- to Medium-Size Interdisciplinary Ecological Research Programs with Full Raster Data Capabilities. - Paulina Grigusova; Christian Beilschmidt; Maik Dobbermann; Johannes Drönner; Michael Mattig; Pablo Sanchez; Nina Farwig; Jörg Bendix (Data, 2024)

Evaluating Scheduling Algorithms for Adaptive Orchestration in Federated Tactical Edge Cloud Environments. - Alessandro Amato; Harrie Bastiaansen; Jared Ray Coleman; Willem Datema; Mattia Fogli; Johan van der Geest; Bhaskar Krishnamachari; Thomas Kudla; Pablo Sanchez; Niranjan Suri (ICMCIS, 2025)