Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets. - Juan A. Carrasco (PNPM, 1989)

Efficient Transient Simulation of Failure/Repair Markovian Models. - Juan A. Carrasco (SRDS, 1991)

Evaluation of safety-oriented two-version architectures. - Juan A. Carrasco; Joan Figueras; Annie Kuntzmann-Combelles (J. Syst. Softw., 1991)

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)

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)

Tight Steady-State Availability Bounds Using the Failure Distance Concept. - Juan A. Carrasco (Perform. Evaluation, 1998)

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

Bounding Steady-State Availability Models with Group Repair and Phase Type Repair Distributions. - Juan A. Carrasco (Perform. Evaluation, 1999)

Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion. - Juan A. Carrasco (IPDPS Workshops, 2000)

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)

Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems. - Juan A. Carrasco (IEEE Trans. Computers, 2002)

Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization. - Juan A. Carrasco (DSN, 2003)

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)

Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion. - Juan A. Carrasco (Comput. J., 2003)

Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization. - Juan A. Carrasco (Comput. Oper. Res., 2003)

Solving dependability/performability irreducible Markov models using regenerative randomization. - Juan A. Carrasco (IEEE Trans. Reliab., 2003)

Solving large interval availability models using a model transformation approach. - Juan A. Carrasco (Comput. Oper. Res., 2004)

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)

Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection. - Juan A. Carrasco (IEEE Trans. Computers, 2004)

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

Adapted Importance Sampling Schemes for the Simulation of Dependability Models of Fault-Tolerant Systems with Deferred Repair. - Juan A. Carrasco (Annual Simulation Symposium, 2006)

Two methods for computing bounds for the distribution of cumulative reward for large Markov models. - Juan A. Carrasco (Perform. Evaluation, 2006)

Failure Transition Distance-Based Importance Sampling Schemes for theSimulation of Repairable Fault-Tolerant Computer Systems. - Juan A. Carrasco (IEEE Trans. Reliab., 2006)

Corrections on "Failure Transition Distance-Based Importance Sampling Schemes for the Simulation of Repairable Fault-Tolerant Computer Systems" [Jun 06 207-236]. - Juan A. Carrasco (IEEE Trans. Reliab., 2007)

Corrigendum: "Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion". - Juan A. Carrasco (Comput. J., 2008)

Cumulative Dominance and Heuristic Performance in Binary Multiattribute Choice. - Manel Baucells; Juan A. Carrasco; Robin M. Hogarth (Oper. Res., 2008)

Tight upper bounds for the expected loss of lexicographic heuristics in binary multi-attribute choice. - Juan A. Carrasco; Manel Baucells (Math. Soc. Sci., 2008)

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)

An Efficient and Numerically Stable Method for Computing Bounds for the Interval Availability Distribution. - Juan A. Carrasco (INFORMS J. Comput., 2011)

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)

A New General-Purpose Method for the Computation of the Interval Availability Distribution. - Juan A. Carrasco (INFORMS J. Comput., 2013)

Reliability Bounds for Fault-Tolerant Systems with Deferred Repair using Bounding Split Regenerative Randomization. - Jamal Temsamani; Juan A. Carrasco (Commun. Stat. Simul. Comput., 2014)

Higher order multi-step Jarratt-like method for solving systems of nonlinear equations: Application to PDEs and ODEs. - Fayyaz Ahmad; Emran Tohidi; Malik Zaka Ullah; Juan A. Carrasco (Comput. Math. Appl., 2015)

A parameterized multi-step Newton method for solving systems of nonlinear equations. - Fayyaz Ahmad; Emran Tohidi; Juan A. Carrasco (Numer. Algorithms, 2016)

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)

Frozen Jacobian Multistep Iterative Method for Solving Nonlinear IVPs and BVPs. - Fayyaz Ahmad; Shafiq ur Réhman; Malik Zaka Ullah; Hani Moaiteq Aljahdali; Shahid Ahmad; Ali Saleh Alshomrani; Juan A. Carrasco; Shamshad Ahmad; Sivanandam Sivasankaran (Complex., 2017)

An efficient iterative method for computing deflections of Bernoulli-Euler-von Karman beams on a nonlinear elastic foundation. - Fayyaz Ahmad; Taek Soo Jang; Juan A. Carrasco; Shafiq ur Réhman; Zulfiqar Ali; Nukhaze Ali (Appl. Math. Comput., 2018)

A systematic comparative evaluation of machine learning classifiers and discrete choice models for travel mode choice in the presence of response heterogeneity. - Patricio Salas; Rodrigo De La Fuente; Sebastian Astroza; Juan Antonio Carrasco (Expert Syst. Appl., 2022)