igo Ugarte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2005–2006
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |