Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Juan A. Carrasco
2010 – today
- 2011
[j22]Juan A. Carrasco: An Efficient and Numerically Stable Method for Computing Bounds for the Interval Availability Distribution. INFORMS Journal on Computing 23(2): 268-283 (2011)- [j21]Juan A. Carrasco, Víctor Suñé: 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 Sec. Comput. 8(6): 798-809 (2011)
- 2010
- [j20]Víctor Suñé, Juan A. Carrasco, Hédi Nabli, Bruno Sericola: Comment on "Performability Analysis: A New Algorithm". IEEE Trans. Computers 59(1): 137-138 (2010)
2000 – 2009
- 2009
- [j19]Juan A. Carrasco, Víctor Suñé: An ROBDD-Based Combinatorial Method for the Evaluation of Yield of Defect-Tolerant Systems-on-Chip. IEEE Trans. VLSI Syst. 17(2): 207-220 (2009)
- 2008
- [j18]Juan A. Carrasco: Corrigendum: "Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion". Comput. J. 51(6): 745 (2008)
- [j17]Manel Baucells, Juan A. Carrasco, Robin M. Hogarth: Cumulative Dominance and Heuristic Performance in Binary Multiattribute Choice. Operations Research 56(5): 1289-1304 (2008)
- [j16]Juan A. Carrasco, Manel Baucells: Tight upper bounds for the expected loss of lexicographic heuristics in binary multi-attribute choice. Mathematical Social Sciences 55(2): 156-189 (2008)
- 2007
- [j15]Juan A. Carrasco: Corrections on "Failure Transition Distance-Based Importance Sampling Schemes for the Simulation of Repairable Fault-Tolerant Computer Systems" [Jun 06 207-236]. IEEE Transactions on Reliability 56(2): 360 (2007)
- 2006
- [j14]Juan A. Carrasco: Two methods for computing bounds for the distribution of cumulative reward for large Markov models. Perform. Eval. 63(12): 1165-1195 (2006)
- [j13]Juan A. Carrasco: Failure Transition Distance-Based Importance Sampling Schemes for theSimulation of Repairable Fault-Tolerant Computer Systems. IEEE Transactions on Reliability 55(2): 207-236 (2006)
- [c12]Juan A. Carrasco: Adapted Importance Sampling Schemes for the Simulation of Dependability Models of Fault-Tolerant Systems with Deferred Repair. Annual Simulation Symposium 2006: 107-117
- 2005
- [j12]Víctor Suñé, Juan A. Carrasco: Efficient implementations of the randomization method with control of the relative error. Computers & OR 32: 1089-1114 (2005)
- 2004
- [j11]Juan A. Carrasco: Solving large interval availability models using a model transformation approach. Computers & OR 31(6): 807-861 (2004)
- [j10]Juan A. Carrasco, Víctor Suñé: Combinatorial methods for the evaluation of yield and operational reliability of fault-tolerant systems-on-chip. Microelectronics Reliability 44(2): 339-350 (2004)
- [j9]Juan A. Carrasco: Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection. IEEE Trans. Computers 53(9): 1106-1120 (2004)
- 2003
- [j8]Juan A. Carrasco: Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion. Comput. J. 46(1): 84-99 (2003)
- [j7]Juan A. Carrasco: Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization. Computers & OR 30(7): 1005-1035 (2003)
- [j6]Juan A. Carrasco: Solving dependability/performability irreducible Markov models using regenerative randomization. IEEE Transactions on Reliability 52(3): 319-329 (2003)
- [c11]Doru P. Munteanu, Víctor Suñé, Rosa Rodríguez-Montañés, Juan A. Carrasco: A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip. DSN 2003: 563-572
- [c10]Juan A. Carrasco: Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization. DSN 2003: 699-708
- 2002
- [j5]Juan A. Carrasco: Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems. IEEE Trans. Computers 51(3): 254-268 (2002)
- 2000
- [j4]Víctor Suñé, José L. Domingo, Juan A. Carrasco: Numerical iterative methods for Markovian dependability and performability models: new results and a comparison. Perform. Eval. 39(1-4): 99-125 (2000)
- [c9]Juan A. Carrasco: Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion. IPDPS Workshops 2000: 1226-1235
1990 – 1999
- 1999
- [j3]Juan A. Carrasco: Bounding Steady-State Availability Models with Group Repair and Phase Type Repair Distributions. Perform. Eval. 35(3-4): 193-214 (1999)
- [c8]Víctor Suñé, Juan A. Carrasco: Failure Distance Based Bounds for Steady-State Availability without the Knowledge of Minimal Cuts. MASCOTS 1999: 138-147
- 1998
- [j2]Juan A. Carrasco: Tight Steady-State Availability Bounds Using the Failure Distance Concept. Perform. Eval. 34(1): 27-64 (1998)
- [c7]Víctor Suñé, Juan A. Carrasco: A Comparison of Numerical Splitting-Based Methods for Markovian Dependability and Performability Models. Computer Performance Evaluation (Tools) 1998: 154-164
- 1997
- [c6]Víctor Suñé, Juan A. Carrasco: A Method for the Computation of Reliability Bounds for Non-repairable Fault-tolerant Systems. MASCOTS 1997: 221-228
- 1996
- [c5]Juan A. Carrasco, Angel Calderón, Javier Escribá: Two New Algorithms to Compute Steady-State Bounds for Markov Models with Slow Forward and Fast Backward Transitions. MASCOTS 1996: 89-95
- [c4]Juan A. Carrasco, Javier Escribá, Angel Calderón: Efficient Exploration of Availability Models Guided by Failure Distances. SIGMETRICS 1996: 242-251
- 1995
- [c3]Juan A. Carrasco, Angel Calderón: Regenerative Randomization: Theory and Application Examples. SIGMETRICS 1995: 241-252
- 1991
- [j1]Juan A. Carrasco, Joan Figueras, Annie Kuntzmann-Combelles: Evaluation of safety-oriented two-version architectures. Journal of Systems and Software 14(3): 155-162 (1991)
- [c2]Juan A. Carrasco: Efficient Transient Simulation of Failure/Repair Markovian Models. SRDS 1991: 152-161
1980 – 1989
- 1989
- [c1]Juan A. Carrasco: Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets. PNPM 1989: 93-102
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:55 CET by the dblp team