Comparteix:

Personal webpage

Juan A. Carrasco

Associate Professor, accredited as Full Professor by AGAUR since 2006 and by ANECA since 2012

Departament d'Enginyeria Electrònica

Universitat Politècnica de Catalunya

Diagonal 647, planta 9, despacho 9.53

08028 Barcelona

Spain

fixed phone: +34 93 4016652

mobile phone: +34 680434427

e-mail: juan.a.carrasco AT upc.edu

member of the research group QinE

BIOGRAPHY

Juan A. Carrasco was born in Barcelona, Spain, the 21st of November of 1958. He earned the Engineer degree in Electrical Engineering from Universitat Politècnica de Catalunya in 1981, the MSc. degree in Computer Science from Stanford University in 1987 with almost perfect GPA, and the Doctor Engineer degree from Universitat Politècnica de Catalunya in 1987 with the highest possible grade. Since 1988 he has been Associate Professor at the Electronics Engineering Department of Universitat Politècnica de Catalunya. He is the author of 69 papers including book chapters, papers in refereed journals, papers in collections, and papers in refereed conference proceedings. He has directed and participated in the development of the Markovian modeling tool METFAC-2.1, a tool developed in C99 language with about 100,000 lines of programmed code and which has been tested with almost 100% coverage of reachable code and with CPU times limited by operating system signals to avoid the tool to hung up. He has participated in several european projects, several of them as a leader from Universitat Politècnica de Catalunya. He has also been principal investigator of several national research projects and has carried out alone an industrial contract in which the reliability of the automatic vehicle guidance of the projected underground line 9 in Barcelona was analyzed. That analysis discovered that the availability of close spares for all components multiplied the mean time to failure of the system by a factor slighlty larger than 5. The system modeled in that study had over 2,000 components with complex dependencies from the reliability point of view. He is a Senior member of the IEEE since 2002. He was accredited as Professor from the catalonian accreditation agency AGAUR in 2006 and from the spanish accreditation agency ANECA in 2012.

RESEARCH ACTIVITIES

Prof. Juan A. Carrasco's past research activities have dealt with the development of techniques and tools for performance, dependability and performability evaluation of systems using stochastic processes. Most of his research had to do with the development of numerical methods, bounding methods and stochastic simulation methods for the analysis of continuous-time Markov models. He has also directed the design and participated in the implementation of the Markovian modeling tool METFAC-2.1.

RESEARCH PUBLICATIONS

● 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. 3rdIEEE 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; version with four corrections of J. A. Carrasco, "Automated Construction of Compound Markov Chains from Generalized Stochastic High-level Petri Nets," in Proc. 3rdIEEE Int. Workshop on Petri Nets and Performance Models (PNPM89), December 1989, pp. 93-103.

● 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. 5thIEEE Annual European Computer Conf., May 1991, pp. 452-456.

● J. A. Carrasco, "Efficient Transient Simulation of Failure/Repair Markovian Models," in Proc. 10thIEEE 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/PERFORMANCE’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. 5thIEEE Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS´97), January 1997, pp. 221-228; english version of 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.

● 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, Lecture Notes in Computer Science, Springer, 1998, pp. 154-164.

● J. A. Carrasco, "Bounding Steady-state Availability Models with Phase Type Repair Distributions," in Proc. 3thIEEE 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; journal version of 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, "Bounding Steady-state Availability Models with Group Repair and Phase Type Repair Distributions," Performance Evaluation, vol. 35, no. 3-4, 1999, pp. 193-214; extended version of J. A. Carrasco, "Bounding Steady-state Availability Models with Phase Type Repair Distributions," in Proc. 3thIEEE Int. Computer Performance and Dependability Symp. (IPDS'98), September 1998, pp. 259-268.

● V. Suñé and J. A. Carrasco, "Failure Distance Based Bounds for Steady-state Availability without the Knowledge of Minimal Cuts," in Proc. 7thIEEE 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; extended version of 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. 10thInt. Conf. Tools’98, September 1998, Lecture Notes in Computer Science vol. 1469, Springer, pp. 154-164.

● J. A. Carrasco, "Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion," in Parallel and Distributed Processing, Lecture Notes in Computer Science 2000, Springer, pp. 1226-1235.

● 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 http://hdl.handle.net/2117/7846.

● 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. 699–708.

● 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; extended version of 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, "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 http://hdl.handle.net/2117/7844.

● 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 http://hdl.handle.net/2117/7845.

● 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," INFORMS Journal on Computing, vol. 25, no. 4, Fall 2013, pp. 774-791.

● J. Temsamani and J. A. Carrasco, “Reliability Bounds for Fault-Tolerant Systems with Deferred Repair using Bounding Split Regenerative Randomization,” Communications in Statistics−Simulation and Computation, vol. 43, no. 1, 2014, pp. 183-208.

● F. Ahmad, E. Tohidi, M. Z. Ullah, and J. A. Carrasco, "Higher Order Multi-step Jarrat-like Method for solving Systems of Nonlinear Equations: Application to PDEs and ODEs," Computers and Mathematics with Applications, vol. 70, no. 4, 2015, pp. 624-636.

● J. A. Carrasco, “Numerically Stable Methods for the Computation of Exit Rates in Markov Chains,” Methodology and Computing in Applied Probability, vol. 18, no. 2, 2016, pp. 307-334.

● F. Ahmad, E. Tohidi and J. A. Carrasco, "A Parameterized Multi-step Newton Method for solving Systems of Nonlinear Equations," Numerical Algorithms, vol. 71, no.3, 2016, pp. 631-653.

● V. Suñé and J. A. Carrasco, "Implicit ODE Solvers with Good Local Error Control for the Transient Analysis of Markov Models," Applied Mathematics and Computation, vol. 293, no. 1, 2017, pp. 96-111.

● F. Ahmad, S. U. Rehman, M. Z. Ullah, H. M. Aljahdali, S. Ahmad, A. S. Alshomrani, J. A. Carrasco, S. Ahmad, and S. Sivasankaran," Frozen Jacobian Multistep Iterative Method for Solving Nonlinear IVPs and BVPs," Complexity, vol. 2017, article ID 9407656, 30 pages, 2017, https://doi.org/10.1155/2017/9407656.

● F. Ahmad, J. A. Carrasco, T. S. Jang, Z. Ali, and N. Ali, "An Efficient Iterative Method for Computing Deflections of Bernoulli-Euler-von Karman Beams on a Nonlinear Elastic Foundation," Applied Mathematics and Computation, vol. 334, 2018, pp. 269-287.

● S. D. Chagaboina, J. A. Carrasco and V. Suñé, "On Computing Poisson Probabilities," in Actas del XXXVIII Congreso Nacional de Estadística e Investigación Operativa, Alcoy, Spain, 2019, pp. 1-24.

●J. A. Carrasco, "A New Method for the Computation of the Largest Singular Value and an associated Right Singular Vector of a Complex Matrix," Technical Report, 2023, available at http://hdl.handle.net/2117/394293.

●J. A. Carrasco, "New Uniformization Mehods with Steady-state Detection," to appear in Communications in Statistics: Theory and Methods.

TECHNICAL REPORTS REFERENCED IN PREVIOUS PUBLICATIONS

● 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," Electronics Engineering Department, Universitat Politècnica de Catalunya, Technical Report DMSD_99_1, December 2000, complete version of paper with same title published in IEEE Trans. on Reliability, http://hdl.handle.net/2117/7846.

● J. A. Carrasco, "Transient Analysis of Large Markov Models with Absorbing States using Regenerative Randomization," Electronics Engineering Department, Universitat Politècnica de Catalunya, Technical Report DMSD_99_2, April 2005, complete version of paper with same title published in Communications in Statistics−Simulation and Computation, http://hdl.handle.net/2117/7845.

● J. Temsamani and J. A. Carrasco, "A Generalized Method for the Transient Analysis of Markov Models of Fault-Tolerant Systems with Deferred Repair," Electronics Engineering Department, Universitat Politècnica de Catalunya, Technical Report DMSD_2004_1, September 2009, complete version of paper with same title published in Communications in Statistics−Simulation and Computation, http://hdl.handle.net/2117/7844.

● J. A. Carrasco, "An Efficient and Numerically Stable Method for Computing Bounds for the Interval Availability Distribution," Electronics Engineering Department, Universitat Politècnica de Catalunya, Technical Report DMSD_2005_1, September 2009, http://hdl.handle.net/2117/7843.

● J. A. Carrasco, "Simulation of Steady-state Availability Models of Fault-Tolerant Systems with Deferred Repair,” Electronics Engineering Department, Universitat Politècnica de Catalunya, Technical report DMSD_2006_1, January 2006, complete version of paper with title “Adapted Importance Sampling Schemes for the Simulation of Dependability Models of Fault-Tolerant Systems with Deferred Repair,” published in Proc. 39th IEEE Annual Simulation Symp, http://hdl.handle.net/2117/7842.