● J. A. Carrasco and J. Figueras, "Structural and Functional Fault-Tolerance Evaluation of Local Area Networks," in Proc. ISMM Int. Symp. MIni and Microcomputers and their applications, June 1985, pp. 172-175.

● J. A. Carrasco and J. Figueras, "Modeling and Evaluation of Fault-Tolerant Bus Structures for Local Area Networks," in Proc. 9th Int. Conf. on Fault-Tolerant Systems and Diagnosis (FTSD-9), June 1986, pp. 171-176.

● J. A. Carrasco and J. Figueras, "METFAC: Design and Implementation of a Software Tool for Modeling and Evaluation of Complex Fault-Tolerant Computing Systems," in Proc. 16th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-16), July 1986, pp. 424-429.

● J. A. Carrasco, "Analysis of Sparse Numerical Methods for Dependability Evaluation," in Proc. IAESTED Int. Symp. on Identification, Modeling and Simulation, June 1987, pp. 437-441.

● M. K. Crowe and J. A. Carrasco, "Project no. 1609: System Measurement and Architecture Techniques (SMART)," in Proc. 6th ESPRIT Conference, November 1989, pp. 582-593

● J. A. Carrasco, "Automated Construction of Compound Markov Chains from Generalized Stochastic High-level Petri Nets," in Proc. 3rd IEEE Int. Workshop on Petri Nets and Performance Models (PNPM89), December 1989, pp. 93-103.

● J. A. Carrasco, "Generación Algorítmica de Cubos Receta para Test Pseudoexhaustivo Segmentado," in Actas V Jornadas de Diseño de Circuitos Integrados, December 1989, pp. 317-324.

● J. A. Carrasco, "Automated Construction of Compound Markov Chains from Generalized Stochastic High-level Petri Nets," in High-level Petri Nets. Theory and Applications, Springer-Verlag, 1991, pp. 494-503.

● J. A. Carrasco, J. Figueras, and A. Kuntzman, "Evaluation of Safety-oriented Two-version architectures," Journal of Systems and Software, vol. 14, no. 3, March 1991, pp. 155-162.

● J. A. Carrasco, "Hierarchical Object-oriented Modeling of Fault-Tolerant Computer Systems," in Proc. 5th IEEE Annual European Computer Conf., May 1991, pp. 452-456.

● J. A. Carrasco, "Efficient Transient Simulation of Failure/Repair Markovian Models," in Proc. 10th IEEE Int. Symp. on Reliable Distributed Systems, October 1991, pp. 152-161.

● J. A. Carrasco, "Failure Distance-Based Simulation of Repairable Fault-Tolerant Systems," in Computer Performance Evaluation Modelling Techniques and Tools, Elsevier, 1992, pp. 351-365.

● J. Escribá and J. A. Carrasco, "Diseño de un Sumador Autotemporizado de Propagación de Acarreo Basado en Cadenas Manchester," in Actas IX Congreso de Diseño de Circuitos Integrados (DCIS’94), November 1994, pp. 465-470.

● J. A. Carrasco, "Improving Availability Bounds using the Failure Distance Concept," in Dependable Computing for Critical Applications 4, Springer-Verlag, 1995, pp. 479-497.

● J. A. Carrasco and A. Calderón, "Regenerative Randomization: Theory and Application Examples," Performance Evaluation Review, special issue with papers presented at the 1995 ACM SIGMETRICS/PERFORMNCE’95 Joint Conference on Measurement and Modeling of Computer Systems, vol. 23, no. 1, May 1995, pp. 241-252.

● A. Calderón, J. A. Carrasco and J. Figueras, "Partitioning Criteria for I_DDQ Testability: Bounds on i_DD," in Proc. II ARCHIMEDES Workshop on Synthesis of Testable Circuits, February 1995, pp. 53-58.

● H. J. Wunderlich, M. Herzog, J. Figueras, J. A. Carrasco, and A. Calderón, "Synthesis of I_DDQ-Testable Circuits: Integrating Built-in Current Sensors," in Proc. IEEE European Design and Automation Conf. (EDAC95), March 1995, pp. 573-580.

● A. Calderón and J. A. Carrasco, "Computation of Absorption Probability Distributions of Continuous time Markov Chains using Regenerative Randomization," in Proc. IEEE Int. Computer Performance and Dependability Symp. (IPDS'95), April 1995, pp. 92-101.

● V. Suñé and J. A. Carrasco, "Diseño de un Comparador Rápido de Bajo Offset en Tecnología CMOS Digital para Test I_DDQ," in Actas X Congreso de Diseño de Circuitos Integrados y Sistemas, November 1995, pp. 210-215.

● J. Escribá and J. A. Carrasco, "Self-timed Manchester Chain Carry Propagate Adder," Electronic Letters, vol. 32, no. 8, April 1996, pp. 708-710.

● J. A. Carrasco, A. Calderón, and J. Escribá, "Efficient Exploration of Availability Models Guided by Failure distances," Performance Evaluation Review, special isssue with papers presented at the 1996 SIGMETRICS Int. Conf. on Measurement and Modeling of Computer Systems, 1996, vol. 24, no. 1, May 1996, pp. 242-251.

● J. A. Carrasco, A. Calderón, and J. Escribá, "Two New Algorithms to Compute Steady-state Bounds for Markov Models with Slow Forward and Fast Backward Transitions," in Proc. 4th IEEE Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'96), February 1996, pp. 89-95.

● V. Suñé and J. A. Carrasco, "Un Método para el Cálculo de Cotas de la Fiabilidad de Sistemas Tolerantes a Fallos no Reparables," in Actas XI Congreso de Diseño de Circuitos Integrados y Sistemas (DCIS96), November 1996, pp. 329-334.

● V. Suñé and J. A. Carrasco, "A Method for the Computation of Reliability Bounds for Non-repairable Fault-tolerant systems," in Proc. 5th IEEE Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS´97), January 1997, pp. 221-228.

● J. A. Carrasco and J. L. Domingo, "METFAC-2: A Tool for Specification and Solution of Markov Performance, Dependability and Performability Models," in Proc. XII Design of Circuits and Integrated Systems Conference (DCIS97), November 1997, pp. 195-200.

● J. A. Carrasco and V. Suñé, "An Algorithm to Find Minimal Cuts of s-Coherent Fault Trees with Event Classes using a Decision Tree," in Proc. XII Design of Circuits and Integrated Systems Conference (DCIS’97), November 1997, pp. 279-284.

● J. A. Carrasco, "Tight Steady-state Availability Bounds using the Failure Distance Concept," Performance Evaluation, vol. 34, no. 1, September 1998, pp. 27-64.

● V. Suñé and J. A. Carrasco, "A Comparison of Numerical Splitting-Based Methods for Markovian Dependability and Performability Models," in Computer Performance Evaluation: Modelling Techniques and Tools, in Proc. 10th Int. Conf. Tools’98, September 1998, Lecture Notes in Computer Science vol. 1469, Springer, pp. 154-164.

● J. A. Carrasco, "Bounding Steady-state Availability Models with Phase Type Repair Distributions," in Proc. 3th IEEE Int. Computer Performance and Dependability Symp. (IPDS'98), September 1998, pp. 259-268.

● J. A. Carrasco and V. Suñé, "An Algorithm to Find Minimal Cuts of Coherent Fault-Trees with Event-classes using a Decision Tree," IEEE Trans. on Reliability, vol. 48, no. 1, March 1999, pp. 31-41.

● J. A. Carrasco, "Bounding Steady-state Availability Models with Group Repair and Phase Type Repair Distributions," Performance Evaluation, vol. 35, no. 3-4, 1999, pp. 193-214.

● V. Suñé and J. A. Carrasco, "Failure Distance Based Bounds for Steady-state Availability without the Knowledge of Minimal Cuts," in Proc. 7th IEEE Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'99), October 1999, pp. 138-147.

● V. Suñé, J. L. Domingo and J. A. Carrasco, "Numerical Iterative Methods for Markovian Dependability and Performability Models: New Results and a Comparison," Performance Evaluation, vol. 39, no. 1-4, February 2000, pp. 99-125.

● J. A. Carrasco, "Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion," in Proc. 15 IPDPS 2000, May 2000, Lecture Notes in Computer Science vol, 1800, Springer, pp. 1226-1235.

● J. A. Carrasco, "Regenerative-like Randomization Methods for the Transient Analysis of Markovian Models," in Proc. 6th UK Performance Engineering Workshop, July 2000, pp. 3-18, invited paper.

● V. Suñé and J. A. Carrasco, "A Failure-Distance Based Method to Bound the Reliability of Non-Repairable Fault-Tolerant Systems without the Knowledge of Minimal Cuts," IEEE Trans. on Reliability, vol. 50, no. 1, March 2001, pp. 60–74, complete version available as Technical Report DMSD_99_1 at ftp://ftp-eel.upc.es/techreports.

● J. A. Carrasco, V. Suñé, S. Mahevas, and G. Rubino, "Model of the Leaky Bucket ATM Generic Flow Control Mechanism: A Case Study on Solving Large Cyclic Models," IEE Proceedings–Communications, vol. 148, no. 3, June 2001, pp. 188–196.

● J. A. Carrasco, "Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems," IEEE Trans. on Computers, vol. 51, no. 3, March 2002, pp. 254–268.

● C.-I. Rincu, J. A. Carrasco and V. Suñé, "Markovian Reliability Analysis of Non-coherent Non-repairable Fault-Tolerant Interconnection Networks," in Proc. Communications 2002 Conf., December 2002, pp. 108–113.

● J. A. Carrasco, "Markovian Dependability/Performability Modeling of Fault-Tolerant Systems," in Handbook of Reliability Engineering, H. Pham, editor, Springer-Verlag, 2003, pp. 613–642.

● J. A. Carrasco, "Transient Analysis of Rewarded Continuous time Markov Models by Regenerative Randomization with Laplace Transform Inversion," Computer Journal, vol. 46, no. 1, January 2003, pp. 84–99, clarifications in Computer Journal, vol. 51, no. 6, p. 745.

● J. A. Carrasco, "Computation of Bounds for Transient Measures of Large Rewarded Markov Models using Regenerative Randomization," Computers & Operations Research, vol. 30, no. 7, June 2003, pp. 1005–1035.

● J. A. Carrasco, "Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization," in Proc. IEEE Int. Conf. on Dependable Systems and Networks (DSN2003), June 2003, pp. 108–113.

● D.-P. Munteanu, V. Suñé, R. Rodríguez-Montañés, and J. A. Carrasco, "A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip," in Proc. IEEE Int. Conf. on Dependable Systems and Networks (DSN2003), June 2003, pp. 563–572.

● J. A. Carrasco, "Solving Dependability/Performability Irreducible Markov Models using Regenerative Randomization," IEEE Trans. on Reliability, vol. 52, no. 3, September 2003, pp. 319–329.

● J. A. Carrasco, "Solving Large Interval Availability Models using a Model Transformation Approach," Computers & Operations Research, vol. 31, no. 6, May 2004, pp. 807–861.

● J. A. Carrasco and V. Suñé, "Combinatorial Methods for the Evaluation of Yield and Operational Reliability of Fault-Tolerant Systems-on-Chip," Microelectronics Reliability, vol. 44, no. 2, February 2004, pp. 339–350.

● J. A. Carrasco, "Transient Analysis of some Rewarded Markov Models using Randomization with Quasistationarity Detection," IEEE Trans. on Computers, vol. 53, no. 9, September 2004, pp. 1106–1120.

● V. Suñé and J. A. Carrasco, "Efficient Implementations of the Randomization Method with Control of the Relative Error," Computers & Operations Research, vol. 32, no. 5, May 2005, pp. 1089-1114.

● J. Temsamani and J. A. Carrasco, "A Generalized Method for the Transient Analysis of Markov Models of Fault-Tolerant Systems with Deferred Repair," Communications in Statistics−Simulation and Computation, vol. 34, no. 3, July-September 2005, pp. 631-661, complete version available as Technical Report DMSD_2004_1 at ftp://ftp-eel.upc.es/techreports.

● J. A. Carrasco, " Transient Analysis of Large Markov Models with Absorbing States using Regenerative Randomization," Communications in Statistics−Simulation and Computation, vol. 34, no. 4, October-December 2005, pp. 1027-1052, complete version available as Technical Report DMSD_99_2 at ftp://ftp-eel.upc.es/techreports.

● J. A. Carrasco, “Adapted Importance Sampling Schemes for the Simulation of Dependability Models of Fault-Tolerant Systems with Deferred Repair,” in Proc. 39th IEEE Annual Simulation Symp., April 2006, pp. 107-116.

● J. A. Carrasco, "Failure Transition Distance-Based Importance Sampling Schemes for the Simulation of Repairable Fault-Tolerant Computer Systems," IEEE Trans. on Reliability, vol. 55, no. 2, June 2006, pp. 207-236, minor corrections in IEEE Trans. on Reliability, vol. 56, no. 2, June 2007, p. 360.

● J. Temsamani and J. A. Carrasco, "Transient Analysis of Markov Models of Fault-Tolerant Systems with Deferred Repair using Split Regenerative Randomization," Naval Research Logistics, vol. 53, no. 4, June 2006, pp. 318-353.

● J. A. Carrasco, "Two Methods for Computing Bounds for the Distribution of Cumulative Reward for Large Markov Models," Performance Evaluation, vol. 63, no. 12, December 2006, pp. 1165-1195.

● J. A. Carrasco and M. Baucells, “Tight Upper Bounds for the Expected Loss of Lexicographic Heuristics in Binary Multiattribute Choice,” Mathematical Social Sciences, vol. 55, no. 2, March 2008, pp. 156-189.

● M. Baucells, J. A. Carrasco, and R. M. Hogarth, “Cumulative Dominance and Heuristic Performance in Binary Multiattribute Choice,” Operations Research, vol. 56, no. 5, September 2008, pp. 1289-1304.

● J. A. Carrasco and V. Suñé, "An ROBDD-Based Combinatorial Method for the Evaluation of Yield of Defect-Tolerant Systems-on-Chip," IEEE Trans. on VLSI Systems, vol. 17, no. 2, February 2009, pp. 207-220.

● V. Suñé, J. A. Carrasco, H. Nabli, and B. Sericola, “Comment on ‘Performability Analysis: A New Algorithm’,” IEEE Trans. on Computers, vol. 59, no. 1, January 2010, pp. 137-138.

● J. A. Carrasco, "An Efficient and Numerically Stable Method for Computing Bounds for the Interval Availability Distribution," INFORMS Journal on Computing, vol. 23, no. 2, Spring 2011, pp. 268-283.

● J. A. Carrasco and V. 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 Transactions on Dependable and Secure Computing, vol. 8, no. 6, November/December 2011, pp. 798-809.

● J. A. Carrasco, "A New General-purpose Method for the Computation of the Interval Availability Distribution," to appear in INFORMS Journal on Computing.