Í. Ugarte

Use of Non-linear Solver to Check Assertions of Behavioral Descriptions

P. Sánchez, Í. Ugarte, S. Ugarte, 2005 .

Assertion Checking of Cyclic Behavioral Descriptions

P. Sánchez, Í. Ugarte, 2022 .

Specification components: reusability at the HW/SW system specification level

Fernando Herrera, Eugenio Villar, I. Ugarte, 1999, 1999 Fall VIUF Workshop (Cat. No.PR00465).

Verification of Embedded Systems Based on Interval Analysis

Pablo Sanchez, Iñigo Ugarte, P. Sánchez, 2005, International Journal of Parallel Programming.

Functional vector generation for assertion-based verification at behavioral level using interval analysis

Iñigo Ugarte, Pablo Sanchez, P. Sánchez, 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

HW-SW codesign of a positioning system. From UML to implementation case study

Íñigo Ugarte, Víctor Fernández, Ángel Álvarez, 2016, 2016 Conference on Design of Circuits and Integrated Systems (DCIS).

Towards automated implementation of adaptive systems from abstract SystemC specifications

Fernando Herrera, Eugenio Villar, Iñigo Ugarte, 2012, Des. Autom. Embed. Syst..