 | 2008 |
|---|
| 9 |       | Francisco M. Couto,
Tiago Grego,
Hugo P. Bastos,
Catia Pesquita,
Rafael Torres,
Pablo Sanchez,
Leandro Pascual,
Christian Blaschke:
Identifying bioentity recognition errors of rule-based text-mining systems.
ICDIM 2008: 733-738 |
| 8 | | Pablo Sanchez,
Javier Barreda,
Jorge Ocón:
Integration of domain-specific models into a MDA framework for time-critical embedded systems.
WISES 2008: 1-15 |
| 2006 |
|---|
| 7 | | Iñigo Ugarte,
Pablo Sanchez:
Assertion checking of control dominated systems with nonlinear solvers.
MEMOCODE 2006: 200 |
| 2005 |
|---|
| 6 | | Iñigo Ugarte,
Pablo Sanchez:
Assertion Checking of Behavioral Descriptions with Non-linear Solver.
ICCD 2005: 229-231 |
| 5 | | Iñigo Ugarte,
Pablo Sanchez:
Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.
MEMOCODE 2005: 257-258 |
| 4 | | Iñigo Ugarte,
Pablo Sanchez:
Verification of Embedded Systems Based on Interval Analysis.
International Journal of Parallel Programming 33(6): 697-720 (2005) |
| 2000 |
|---|
| 3 | | Li Chen,
Sujit Dey,
Pablo Sanchez,
Krishna Sekar,
Ying Cheng:
Embedded hardware and software self-testing methodologies for processor cores.
DAC 2000: 625-630 |
| 2 | | Sujit Dey,
Debashis Panigrahi,
Li Chen,
Clark N. Taylor,
Krishna Sekar,
Pablo Sanchez:
Using a Soft Core in a SoC Design: Experiences with picoJava.
IEEE Design & Test of Computers 17(3): 60-71 (2000) |
| 1996 |
|---|
| 1 |  | Pablo Sanchez,
Isabel Hidalgo:
System Level Fault Simulation.
ITC 1996: 732-740 |
