Juan A. Carrasco

42 papers A* 2A 2B 4Journal 29Unranked 5
YearRankTypeTitle / Venue / Authors
2018 J jnl
An efficient iterative method for computing deflections of Bernoulli-Euler-von Karman beams on a nonlinear elastic foundation.
Appl. Math. Comput.
Fayyaz Ahmad, Taek Soo Jang, Juan A. Carrasco, Shafiq ur Réhman, Zulfiqar Ali, Nukhaze Ali
2017 J jnl
Frozen Jacobian Multistep Iterative Method for Solving Nonlinear IVPs and BVPs.
Complex.
Fayyaz Ahmad, Shafiq ur Réhman, Malik Zaka Ullah, Hani Moaiteq Aljahdali, Shahid Ahmad, Ali Saleh Alshomrani, Juan A. Carrasco, Shamshad Ahmad, Sivanandam Sivasankaran
2016 J jnl
A parameterized multi-step Newton method for solving systems of nonlinear equations.
Numer. Algorithms
Fayyaz Ahmad, Emran Tohidi, Juan A. Carrasco
2015 J jnl
Higher order multi-step Jarratt-like method for solving systems of nonlinear equations: Application to PDEs and ODEs.
Comput. Math. Appl.
Fayyaz Ahmad, Emran Tohidi, Malik Zaka Ullah, Juan A. Carrasco
2014 J jnl
Reliability Bounds for Fault-Tolerant Systems with Deferred Repair using Bounding Split Regenerative Randomization.
Commun. Stat. Simul. Comput.
Jamal Temsamani, Juan A. Carrasco
2013 J jnl
A New General-Purpose Method for the Computation of the Interval Availability Distribution.
INFORMS J. Comput.
Juan A. Carrasco
2011 J jnl
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.
IEEE Trans. Dependable Secur. Comput.
Juan A. Carrasco, Víctor Suñé
2011 J jnl
An Efficient and Numerically Stable Method for Computing Bounds for the Interval Availability Distribution.
INFORMS J. Comput.
Juan A. Carrasco
2010 J jnl
Comment on "Performability Analysis: A New Algorithm".
IEEE Trans. Computers
Víctor Suñé, Juan A. Carrasco, Hédi Nabli, Bruno Sericola
2009 J jnl
An ROBDD-Based Combinatorial Method for the Evaluation of Yield of Defect-Tolerant Systems-on-Chip.
IEEE Trans. Very Large Scale Integr. Syst.
Juan A. Carrasco, Víctor Suñé
2008 J jnl
Corrigendum: "Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion".
Comput. J.
Juan A. Carrasco
2008 J jnl
Cumulative Dominance and Heuristic Performance in Binary Multiattribute Choice.
Oper. Res.
Manel Baucells, Juan A. Carrasco, Robin M. Hogarth
2008 J jnl
Tight upper bounds for the expected loss of lexicographic heuristics in binary multi-attribute choice.
Math. Soc. Sci.
Juan A. Carrasco, Manel Baucells
2007 J jnl
Corrections on "Failure Transition Distance-Based Importance Sampling Schemes for the Simulation of Repairable Fault-Tolerant Computer Systems" [Jun 06 207-236].
IEEE Trans. Reliab.
Juan A. Carrasco
2006 — conf
Adapted Importance Sampling Schemes for the Simulation of Dependability Models of Fault-Tolerant Systems with Deferred Repair.
Annual Simulation Symposium
Juan A. Carrasco
2006 J jnl
Failure Transition Distance-Based Importance Sampling Schemes for theSimulation of Repairable Fault-Tolerant Computer Systems.
IEEE Trans. Reliab.
Juan A. Carrasco
2006 J jnl
Two methods for computing bounds for the distribution of cumulative reward for large Markov models.
Perform. Evaluation
Juan A. Carrasco
2005 J jnl
Efficient implementations of the randomization method with control of the relative error.
Comput. Oper. Res.
Víctor Suñé, Juan A. Carrasco
2004 J jnl
Combinatorial methods for the evaluation of yield and operational reliability of fault-tolerant systems-on-chip.
Microelectron. Reliab.
Juan A. Carrasco, Víctor Suñé
2004 J jnl
Solving large interval availability models using a model transformation approach.
Comput. Oper. Res.
Juan A. Carrasco
2004 J jnl
Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection.
IEEE Trans. Computers
Juan A. Carrasco
2003 A conf
A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip.
DSN
Doru P. Munteanu, Víctor Suñé, Rosa Rodríguez-Montañés, Juan A. Carrasco
2003 J jnl
Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization.
Comput. Oper. Res.
Juan A. Carrasco
2003 J jnl
Solving dependability/performability irreducible Markov models using regenerative randomization.
IEEE Trans. Reliab.
Juan A. Carrasco
2003 J jnl
Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion.
Comput. J.
Juan A. Carrasco
2003 A conf
Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization.
DSN
Juan A. Carrasco
2002 J jnl
Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems.
IEEE Trans. Computers
Juan A. Carrasco
2001 J jnl
A failure-distance based method to bound the reliability of nonrepairable fault-tolerant systems without the knowledge of minimal cuts.
IEEE Trans. Reliab.
Víctor Suñé, Juan A. Carrasco
2000 J jnl
Numerical iterative methods for Markovian dependability and performability models: new results and a comparison.
Perform. Evaluation
Víctor Suñé, José L. Domingo, Juan A. Carrasco
2000 — conf
Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion.
IPDPS Workshops
Juan A. Carrasco
1999 J jnl
Bounding Steady-State Availability Models with Group Repair and Phase Type Repair Distributions.
Perform. Evaluation
Juan A. Carrasco
1999 B conf
Failure Distance Based Bounds for Steady-State Availability without the Knowledge of Minimal Cuts.
MASCOTS
Víctor Suñé, Juan A. Carrasco
1998 — conf
A Comparison of Numerical Splitting-Based Methods for Markovian Dependability and Performability Models.
Computer Performance Evaluation (Tools)
Víctor Suñé, Juan A. Carrasco
1998 J jnl
Tight Steady-State Availability Bounds Using the Failure Distance Concept.
Perform. Evaluation
Juan A. Carrasco
1997 B conf
A Method for the Computation of Reliability Bounds for Non-repairable Fault-tolerant Systems.
MASCOTS
Víctor Suñé, Juan A. Carrasco
1996 A* conf
Efficient Exploration of Availability Models Guided by Failure Distances.
SIGMETRICS
Juan A. Carrasco, Javier Escribá, Angel Calderón
1996 B conf
Two New Algorithms to Compute Steady-State Bounds for Markov Models with Slow Forward and Fast Backward Transitions.
MASCOTS
Juan A. Carrasco, Angel Calderón, Javier Escribá
1995 A* conf
Regenerative Randomization: Theory and Application Examples.
SIGMETRICS
Juan A. Carrasco, Angel Calderón
1995 — conf
Synthesis of I
ED&TC
Hans-Joachim Wunderlich, M. Herzog, Joan Figueras, Juan A. Carrasco, Angel Calderón
1991 B conf
Efficient Transient Simulation of Failure/Repair Markovian Models.
SRDS
Juan A. Carrasco
1991 J jnl
Evaluation of safety-oriented two-version architectures.
J. Syst. Softw.
Juan A. Carrasco, Joan Figueras, Annie Kuntzmann-Combelles
1989 — conf
Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets.
PNPM
Juan A. Carrasco