Search the dblp DataBase

Publications of Author

1. Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, Ying Cheng
   Embedded hardware and software self-testing methodologies for processor cores. [Citation Graph (0, 0)][DBLP]
   DAC, 2000, pp:625-630 [Conf]
   
2. Iñigo Ugarte, Pablo Sanchez
   Assertion Checking of Behavioral Descriptions with Non-linear Solver. [Citation Graph (0, 0)][DBLP]
   ICCD, 2005, pp:229-231 [Conf]
   
3. Pablo Sanchez, Isabel Hidalgo
   System Level Fault Simulation. [Citation Graph (0, 0)][DBLP]
   ITC, 1996, pp:732-740 [Conf]
   
4. Iñigo Ugarte, Pablo Sanchez
   Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2005, pp:257-258 [Conf]
   
5. Sujit Dey, Debashis Panigrahi, Li Chen, Clark N. Taylor, Krishna Sekar, Pablo Sanchez
   Using a Soft Core in a SoC Design: Experiences with picoJava. [Citation Graph (0, 0)][DBLP]
   IEEE Design & Test of Computers, 2000, v:17, n:3, pp:60-71 [Journal]
   
6. Iñigo Ugarte, Pablo Sanchez
   Verification of Embedded Systems Based on Interval Analysis. [Citation Graph (0, 0)][DBLP]
   International Journal of Parallel Programming, 2005, v:33, n:6, pp:697-720 [Journal]
   
7. Iñigo Ugarte, Pablo Sanchez
   Assertion checking of control dominated systems with nonlinear solvers. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2006, pp:200- [Conf]
   
8. 
   Integration of domain-specific models into a MDA framework for time-critical embedded systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Identifying bioentity recognition errors of rule-based text-mining systems. [Citation Graph (, )][DBLP]