| |
| 2006 | ||
|---|---|---|
| 4 | EE | Iñigo Ugarte, Pablo Sanchez: Assertion checking of control dominated systems with nonlinear solvers. MEMOCODE 2006: 200 |
| 2005 | ||
| 3 | EE | Iñigo Ugarte, Pablo Sanchez: Assertion Checking of Behavioral Descriptions with Non-linear Solver. ICCD 2005: 229-231 |
| 2 | EE | 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 |
| 1 | EE | Iñigo Ugarte, Pablo Sanchez: Verification of Embedded Systems Based on Interval Analysis. International Journal of Parallel Programming 33(6): 697-720 (2005) |
| 1 | Pablo Sanchez | [1] [2] [3] [4] |