Synthesis of IDDQ-testable circuits: integrating built-in current sensors. - Hans-Joachim Wunderlich; M. Herzog; Joan Figueras; Juan A. Carrasco; Angel Calderón (ED&TC, 1995)

Regenerative Randomization: Theory and Application Examples. - Juan A. Carrasco; Angel Calderón (SIGMETRICS, 1995)

Two New Algorithms to Compute Steady-State Bounds for Markov Models with Slow Forward and Fast Backward Transitions. - Juan A. Carrasco; Angel Calderón; Javier Escribá (MASCOTS, 1996)

Efficient Exploration of Availability Models Guided by Failure Distances. - Juan A. Carrasco; Javier Escribá; Angel Calderón (SIGMETRICS, 1996)