A Method for the Computation of Reliability Bounds for Non-repairable Fault-tolerant Systems. - Víctor Suñé; Juan A. Carrasco (MASCOTS, 1997)

A Comparison of Numerical Splitting-Based Methods for Markovian Dependability and Performability Models. - Víctor Suñé; Juan A. Carrasco (Computer Performance Evaluation (Tools), 1998)

Failure Distance Based Bounds for Steady-State Availability without the Knowledge of Minimal Cuts. - Víctor Suñé; Juan A. Carrasco (MASCOTS, 1999)

Numerical iterative methods for Markovian dependability and performability models: new results and a comparison. - Víctor Suñé; José L. Domingo; Juan A. Carrasco (Perform. Evaluation, 2000)

A failure-distance based method to bound the reliability of nonrepairable fault-tolerant systems without the knowledge of minimal cuts. - Víctor Suñé; Juan A. Carrasco (IEEE Trans. Reliab., 2001)

A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip. - Doru P. Munteanu; Víctor Suñé; Rosa Rodríguez-Montañés; Juan A. Carrasco (DSN, 2003)

Combinatorial methods for the evaluation of yield and operational reliability of fault-tolerant systems-on-chip. - Juan A. Carrasco; Víctor Suñé (Microelectron. Reliab., 2004)

Efficient implementations of the randomization method with control of the relative error. - Víctor Suñé; Juan A. Carrasco (Comput. Oper. Res., 2005)

An ROBDD-Based Combinatorial Method for the Evaluation of Yield of Defect-Tolerant Systems-on-Chip. - Juan A. Carrasco; Víctor Suñé (IEEE Trans. Very Large Scale Integr. Syst., 2009)

Comment on "Performability Analysis: A New Algorithm". - Víctor Suñé; Juan A. Carrasco; Hédi Nabli; Bruno Sericola (IEEE Trans. Computers, 2010)

A Numerical Method for the Evaluation of the Distribution of Cumulative Reward till Exit of a Subset of Transient States of a Markov Reward Model. - Juan A. Carrasco; Víctor Suñé (IEEE Trans. Dependable Secur. Comput., 2011)

Implicit ODE solvers with good local error control for the transient analysis of Markov models. - Víctor Suñé; Juan Antonio Carrasco (Appl. Math. Comput., 2017)