● 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 IDDQ Testability: Bounds on iDD," 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 IDDQ-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 IDDQ," 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
● 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
● 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ñé,
● 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.