[1] A., Rosenthal, “Computing the reliability of complex networks,” SIAM Journal on Applied Mathematics, vol. 32, pp. 384–393, 1977.
[2] M., Ball, “Computing network reliability,” Operations Research, vol. 27, pp. 823–838, 1979.
[3] A., Agrawal and R. E., Barlow, “A survey of network reliability and domination theory,” Operations Research, vol. 32, pp. 478–492, 1984.
[4] C. J., Colbourn, The Combinatorics of Network Reliability. Oxford University Press, 1987.
[5] A., Bobbio and A., Premoli, “Fast algorithm for unavailability and sensitivity analysis of series-parallel systems,” IEEE Transactions on Reliability, vol. R-31, pp. 359–361, 1982.
[6] L., Page and J., Perry, “A practical implementation of the factoring theorem for network reliability,” IEEE Transactions on Reliability, vol. 37, pp. 259–267, 1988.
[7] G., Hardy, C., Lucet, and N., Limnios, “Computing all-terminal reliability of stochastic networks by BDDs,” in Proc. Applied Stochastic Modeling and Data Analysis, ASMDA2005, 2005.
[8] A., Balan and L., Traldi, “Preprocessing minpaths for sum of disjoint products,” IEEE Transaction on Reliability, vol. 52, no. 3, pp. 289–295, Sep. 2003.
[9] J., Abraham, “An improved algorithm for network reliability,” IEEE Transactions on Reliability, vol. 28, pp. 58–61, 1979.
[10] M., Veeraraghavan and K., Trivedi, “An improved algorithm for the symbolic reliability analysis of networks,” IEEE Transactions on Reliability, vol. 40, pp. 347–358, 1991.
[11] R., Bryant, “Graph-based algorithms for Boolean function manipulation,” IEEE Transactions on Computers, vol. C-35, pp. 677–691, 1986.
[12] R., Bryant, “Symbolic Boolean manipulation with ordered binary decision diagrams,” ACM Computing Surveys, vol. 24, pp. 293–318, 1992.
[13] L., Xing and S., Amari, Binary Decision Diagrams and Extensions for System Reliability Analysis. Wiley-Scrivener, 2015.
[14] A., Satyanarayana and R. K., Wood, “A linear-time algorithm for computing k-terminal reliability in series-parallel networks,” SIAM Journal on Computing, vol. 14, no. 4, pp. 818–832, 1985.
[15] K., Brace, R., Rudell, and R., Bryant, “Efficient implementation of a BDD package,” in Proc. 27th ACM/IEEE Design Automation Conf., 1990, pp. 40–45.
[16] List of BDD software libraries. [Online]. Available: https://github.com/johnyf/tool_lists/ blob/master/bdd.md (last accessed April 12, 2017).
[17] W., Schneeweiss, Boolean Functions with Engineering Applications and Computer Programs. Springer Verlag, 1989.
[18] K., Dohmen, “Inclusion–exclusion and network reliability,” The Electronic Journal of Combinatorics, vol. 5, no. R36, pp. 1–8, 1998.
[19] K., Trivedi, Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2nd ed. John Wiley & Sons, 2001.
[20] T., Luo and K., Trivedi, “An improved algorithm for coherent-system reliability,” IEEE Transaction on Reliability, vol. 47, pp. 73–78, 1998.
[21] K., Heidtmann, “Statistical comparison of two sum-of-disjoint product algorithms for reliability and safety evaluation,” in Proc. 21st Int. Conf. SAFECOMP 2002. LNCS-2434, 2002, pp. 70–81.
[22] J., Xing, C., Feng, X., Qian, and P., Dai, “A simple algorithm for sum of disjoint products,” in Proc. Ann. IEEE Reliability and Maintainability Symp., 2012.
[23] G., Hardy, C., Lucet, and N., Limnios, “k-terminal network reliability measures with binary decision diagrams,” IEEE Transactions on Reliability, vol. 56, pp. 506–515, 2007.
[24] T., Cormen, C. E., Leiserson, and R. L., Rivest, Introduction to Algorithms. MIT Press and McGraw-Hill, 1990.
[25] S., Rai, M., Veeraraghavan, and K. S., Trivedi, “A survey of efficient reliability computation using disjoint products approach,” Networks, vol. 25, no. 3, pp. 147–163, 1995.
[26] A., Rauzy, E., Châtelet, Y., Dutuit, and C., Bérenguer, “A practical comparison of methods to assess sum-of-products,” Reliability Engineering and System Safety, vol. 79, no. 1, pp. 33–42, 2003.
[27] A., Kaufmann, D., Grouchko, and R., Cruon, Mathematical Models for the Study of the Reliability of Systems. Academic Press, 1977.
[28] L., Yan, H. A., Taha, and T. L., Landers, “A recursive approach for enumerating minimal cutset in a network,” IEEE Transaction on Reliability, vol. 43, no. 3, pp. 383–387, Sep. 1994.
[29] P., Jensen and M., Bellmore, “An algorithm to determine the reliability of a complex system,” IEEE Transactions on Reliability, vol. R-18, no. 4, pp. 169–174, Nov. 1969.
[30] Y., Tung, L., Mays, and M., Cullinane, “Reliability analysis of systems,” in Reliability Analysis of Water Distribution Systems, ed. L. W., Mays. American Society of Civil Engineers, 1989, ch. 9, pp. 259–298.
[31] R., Gupta and P., Bhave, “Reliability analysis of water-distribution systems,” Journal of Environmental Engineering, vol. 120, no. 2, pp. 447–461, 1994.
[32] L., Page and J., Perry, “Reliability of directed networks using the factoring theorem,” IEEE Transactions on Reliability, vol. 38, pp. 556–562, 1989.
[33] R. K., Wood, “Factoring algorithms for computing k-terminal network reliability,” IEEE Transactions on Reliability, vol. R-35, pp. 269–278, 1986.
[34] K., Sekine and H., Imai, “A unified approach via BDD to the network reliability and path number,” Dept. Information Science, University of Tokyo, Tech. Rep. TR-95-09, 1995.
[35] X., Zang, H., Sun, and K., Trivedi, “A BDD-based algorithm for reliability graph analysis,” Dept. of Electrical Engineering, Duke University, Tech. Rep., 2000.
[36] A., Rauzy, “New algorithms for fault tree analysis,” Reliability Engineering & System Safety, vol. 40, pp. 203–211, 1993.
[37] GARR, Italian Research, and Education Network. [Online]. Available: www.garr.it
[38] A., Bobbio and R., Terruggia, “Reliability and QoS analysis of the Italian GARR network,” Tech. Rep. TR-INF-2008-06-04-UNIPMN, Dip. Informatica, Università Piemonte Orientale. [Online]. Available: www.di.unipmn.it/TechnicalReports/TR-INF-2008-06-04- UNIPMN.pdf
[39] A., Bobbio, G., Bonanni, E., Ciancamerla, R., Clemente, A., Iacomini, M., Minichino, A., Scarlatti, R., Terruggia, and E., Zendri, “Unavailability of critical SCADA communication links interconnecting a power grid and a telco network,” Reliability Engineering and System Safety, vol. 95, pp. 1345–1357, 2010.
[40] Integrated Risk Reduction of Information-based Infrastructure Systems. [Online]. Available: www.irriis.org/
[41] M., Newman, “Analysis of weighted networks,” Phys. Rev. E, vol. 70, p. 056131, Nov. 2004.
[42] C.-C., Jane and J., Yuan, “A sum of disjoint products algorithm for reliability evaluation flow of flow networks,” European Journal of Operational Research, vol. 127, no. 3, pp. 664–675, Jun. 2001.
[43] S., Soh and S., Rai, “An efficient cutset approach for evaluating communication-network reliability with heterogeneous link-capacities,” IEEE Transactions on Reliability, vol. 54, no. 1, pp. 133–144, 2005.
[44] E. M., Clarke, M., Fujita, P. C., McGeer, K., McMillan, and J., Yang, “Multi-terminal binary decision diagrams: An efficient data structure for matrix representation,” in IWLS'93: Int. Workshop on Logic Synthesis, Carnegie Mellon University, Report 5-1993, 1993, pp. 6a:1–15.
[45] E., Clarke, M., Fujita, and X., Zhao, “Applications of multi-terminal binary decision diagrams,” Technical Report CMU-CS-95-160, 1995. [Online]. Available: www.dtic.mil/ dtic/tr/fulltext/u2/a296385.pdf
[46] M., Fujita, P., McGeer, and J. Y., Yang, “Multi-terminal binary decision diagrams: An efficient data structure for matrix representation,” Formal Methods in System Design, vol. 10, no. 2–3, pp. 149–169, 1997.
[47] G. D., Hachtel and F., Somenzi, “A symbolic algorithms for maximum flow in 0-1 networks,” Form. Methods Syst. Des., vol. 10, no. 2–3, pp. 207–219, 1997.
[48] T., Gu and Z., Xu, “The symbolic algorithms for maximum flow in networks,” Computers and Operations Research, vol. 34, pp. 799–816, 2007.
[49] A., Bobbio and R., Terruggia, “Reliability and quality of service in weighted probabilistic networks using algebraic decision diagrams,” in Proc. IEEE Ann. Reliability and Maintainability Symp., Fort Worth, TX, 2009, pp. 19–24.
[50] K., Kolowrocki, “On limit reliability functions of large multi-state systems with ageing components,” Appl. Math. Comput., vol. 121, no. 2–3, pp. 313–361, 2001.
[51] A., Lisnianski and G., Levitin, Multi-State System Reliability: Assessment, Optimization and Applications, Series on Quality, Reliability and Engineering Statistics: Volume 6. World Scientific, 2003.
[52] E., Zaitseva and V., Levashenko, “Investigation multi-state system reliability by structure function,” in DEPCOS-RELCOMEX '07: Proc. 2nd Int. Conf. on Dependability of Computer Systems. IEEE Computer Society, 2007, pp. 81–90.
[53] J., Meyer, “On evaluating the performability of degradable systems,” IEEE Transactions on Computers, vol. C-29, pp. 720–731, 1980.
[54] X., Zang, D., Wang, H., Sun, and K., Trivedi, “A BDD-based algorithm for analysis of multistate systems with multistate components,” IEEE Transactions on Computers, vol. 52, no. 12, pp. 1608–1618, 2003.
[55] L., Xing and Y., Dai, “A new decision diagram based method for efficient analysis on multi-state systems,” IEEE Transactions on Dependable and Secure Computing, vol. 6, no. 3, pp. 161–174, 2009.
[56] S., Amari, L., Xing, A., Shrestha, J., Akers, and K., Trivedi, “Performability analysis of multistate computing systems using multivalued decision diagrams,” IEEE Transactions on Computers, vol. 59, no. 10, pp. 1419–1433, 2010.
[57] E., Zaitseva and V., Levashenko, “Multi-state system analysis based on multiple-valued decision diagram,” Journal of Reliability and Statistical Studies, vol. 5, pp. 107–118, 2012.
[58] K., Gopal, K., Aggarwal, and J., Gupta, “Reliability analysis of multistate device networks,” IEEE Transactions on Reliability, vol. 27, no. 3, pp. 233–236, Aug. 1978.
[59] S., Ross, “Multivalued state component systems,” The Annals of Probability, vol. 7, no. 2, pp. 379–383, 1979.
[60] J., Hudson and K., Kapur, “Reliability analysis of multistate systems with multistate components,” IIE Transactions, vol. 15, pp. 127–135, 1983.
[61] A., Shrestha, L., Xing, and Y., Dai, “Decision diagram based methods and complexity analysis for multi-state systems,” IEEE Transactions on Reliability, vol. 59, no. 1, pp. 145–161, 2010.
[62] G., Levitin, “Reliability of multi-state systems with two failure-modes,” IEEE Transactions on Reliability, vol. R-52, no. 3, pp. 340–348, 2003.
[63] G., Levitin and A., Lisnianski, “A new approach to solving problems of multi-state system reliability optimization,” Quality and Reliability Engineering International, vol. 17, pp. 93–104, 2001.
[64] R., Terruggia and A., Bobbio, “QoS analysis of weighted multi-state probabilistic networks via decision diagrams,” in Computer Safety, Reliability, and Security, ed. E., Schoitsch. Springer Verlag, LNCS, Vol 6351, 2010, pp. 41–54.
[65] T., Kam, T., Villa, R., Brayton, and A., Sangiovanni-Vincentelli, “Multi-valued decision diagrams: Theory and applications,” Multiple-Valued Logic, vol. 4, no. 1, pp. 9–62, 1998.
[66] G., Ciardo, G., Lüttgen, and A., Miner, “Exploiting interleaving semantics in symbolic state-space generation,” Formal Methods in System Design, vol. 31, no. 1, pp. 63–100, 2007.
[67] D., Miller and R., Drechsler, “On the construction of multiple-valued decision diagrams,” in Proc. IEEE 32nd Int. Symp. on Multiple-Valued Logic, 2002, pp. 264–269.
[68] I. S. U. Research Foundation, Meddly decision diagram library. [Online]. Available: http:// meddly.sourceforge.net/
[69] J., Babar and P., Miner, “Meddly: Multi-terminal and Edge-valued Decision Diagram Library,” in Proc. 7th Int. Conf. on Quantitative Evaluation of Systems (QEST'10), 2010, pp. 195–196.
[70] F., Yeh, S., Lu, and S., Kuo, “OBDD-based evaluation of k-terminal network reliability,” IEEE Transactions on Reliability, vol. 51, no. 4, pp. 443–451, 2002.
[71] A., Bobbio, R., Terruggia, E., Ciancamerla, and M., Minichino, “Evaluating network reliability versus topology by means of BDD algorithms,” in Int. Probabilistic Safety Assessment and Management Conf. (PSAM-9), 2008.
[72] J., Herrmann, “Improving reliability calculation with augmented binary decision diagrams,” in 24th IEEE Int. Conf. on Advanced Information Networking and Applications, 2010, pp. 328–333.
[73] M., Beccuti, A., Bobbio, G., Franceschinis, and R., Terruggia, “A new symbolic approach for network reliability analysis,” in IEEE Int. Conf. on Dependable Systems and Networks, DSN2012, 2012, pp. 1–12.
[74] M. O., Ball and J. S., Provan, “Calculating bounds on reachability and connectedness in stochastic networks,” Networks, vol. 13, no. 2, pp. 253–278, 1983.
[75] F., Beichelt and L., Spross, “Bounds on the reliability of binary coherent systems,” IEEE Transactions on Reliability, vol. 38, pp. 425–427, 1989.
[76] C.-C., Jane, W.-H., Shen, and Y. W., Laih, “Practical sequential bounds for approximating two-terminal reliability,” European Journal of Operational Research, vol. 195, no. 2, pp. 427–441, Jun. 2009.
[77] S., Sebastio, K., Trivedi, D., Wang, and X., Yin, “Fast computation of bounds for two-terminal network reliability,” European Journal of Operational Research, vol. 238, no. 3, pp. 810–823, 2014.
[78] K., Trivedi, D., Wang, T., Sharma, A. V., Ramesh, D., Twigg, L., Nguyen, and Y., Liu, “Reliability estimation for large networked systems,” U.S. Patent 20 090 323 539, 11, 2011.
[79] R., Sahner, K., Trivedi, and A., Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.
[80] I., Gertsbakh and Y., Shpungin, Network Reliability Calculations Based on Structural Invariants. John Wiley & Sons, Ltd, 2013, pp. 135–146.
[81] M. O., Ball, C. J., Colbourn, and J. S., Provan, “Network reliability,” Handbooks in Operations Research and Management Science, vol. 7, pp. 673–762, 1995.
[82] G., Rubino, “Network reliability evaluation,” in State-of-the-Art in Performance Modeling and Simulation, eds. K., Bagchi and J., Walrand. Gordon and Breach, 1998, ch. 11, pp. 275–302.
[83] G. S., Fishman, “A Monte Carlo sampling plan for estimating network reliability,” Operations Research, vol. 34, no. 4, pp. 581–594, 1986.
[84] R., Albert and A., Barabasi, “Statistical mechanics of complex networks,” Review Modern Physics, vol. 74, pp. 47–97, 2002.
[85] S., Dorogovtsev and J., Mendes, “Evolution of networks,” Advances in Physics, vol. 51, pp. 1079–1187, 2002.
[86] M., Newman, “The structure and function of complex networks,” SIAM Review, vol. 45, pp. 167–256, 2003.
[87] S., Boccaletti, V., Latora, Y., Moreno, M., Chavez, and D. U., Hwang, “Complex networks: Structure and dynamics,” Physics Reports, vol. 424, no. 4–5, pp. 175–308, 2006.
[88] G., Caldarelli and M., Catanzaro, Networks: A Very Short Introduction. Oxford University Press, 2012.