{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:33:27Z","timestamp":1743093207767,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319690834"},{"type":"electronic","value":"9783319690841"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69084-1_15","type":"book-chapter","created":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T23:30:06Z","timestamp":1507246206000},"page":"219-233","source":"Crossref","is-referenced-by-count":2,"title":["ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms"],"prefix":"10.1007","author":[{"given":"Fathiyeh","family":"Faghih","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,7]]},"reference":[{"key":"15_CR1","unstructured":"Z3: An efficient theorem prover. \nhttp:\/\/research.microsoft.com\/en-us\/um\/redmond\/projects\/z3\/"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-85361-9_16","volume-title":"CONCUR 2008 - Concurrency Theory","author":"B Bonakdarpour","year":"2008","unstructured":"Bonakdarpour, B., Kulkarni, S.S.: SYCRAFT: a tool for synthesizing distributed fault-tolerant programs. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 167\u2013171. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-85361-9_16"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Devismes, S., Tixeuil, S., Yamashita, M.: Weak vs. self vs. probabilistic stabilization. In: International Conference on Distributed Computing Systems (ICDCS), pp. 681\u2013688 (2008)","DOI":"10.1109\/ICDCS.2008.12"},{"issue":"11","key":"15_CR4","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"EW Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643\u2013644 (1974)","journal-title":"Commun. ACM"},{"issue":"1","key":"15_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01843566","volume":"1","author":"EW Dijkstra","year":"1986","unstructured":"Dijkstra, E.W.: A belated proof of self-stabilization. Distrib. Comput. 1(1), 5\u20136 (1986)","journal-title":"Distrib. Comput."},{"issue":"9","key":"15_CR6","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s00236-004-0143-1","volume":"40","author":"S Dolev","year":"2004","unstructured":"Dolev, S., Schiller, E.: Self-stabilizing group communication in directed networks. Acta Informatica 40(9), 609\u2013636 (2004)","journal-title":"Acta Informatica"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Ebnenasir, A., Farahat, A.: A lightweight method for automated design of convergence. In: International Parallel and Distributed Processing Symposium (IPDPS), pp. 219\u2013230 (2011)","DOI":"10.1109\/IPDPS.2011.30"},{"issue":"5","key":"15_CR8","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/s10009-008-0083-0","volume":"10","author":"A Ebnenasir","year":"2008","unstructured":"Ebnenasir, A., Kulkarni, S.S., Arora, A.: FTSyn: a framework for automatic synthesis of fault-tolerance. Int. J. Softw. Tools Technol. Transf. (STTT) 10(5), 455\u2013471 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-19835-9_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Ehlers","year":"2011","unstructured":"Ehlers, R.: Unbeast: symbolic bounded synthesis. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 272\u2013275. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-19835-9_25"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-319-11764-5_12","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"F Faghih","year":"2014","unstructured":"Faghih, F., Bonakdarpour, B.: SMT-based synthesis of distributed self-stabilizing systems. In: Felber, P., Garg, V. (eds.) SSS 2014. LNCS, vol. 8756, pp. 165\u2013179. Springer, Cham (2014). doi:\n10.1007\/978-3-319-11764-5_12"},{"issue":"3","key":"15_CR11","first-page":"21","volume":"10","author":"F Faghih","year":"2015","unstructured":"Faghih, F., Bonakdarpour, B.: SMT-based synthesis of distributed self-stabilizing systems. ACM Trans. Auton. Adapt. Syst. (TAAS) 10(3), 21 (2015)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-319-39570-8_9","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"F Faghih","year":"2016","unstructured":"Faghih, F., Bonakdarpour, B., Tixeuil, S., Kulkarni, S.: Specification-based synthesis of distributed self-stabilizing protocols. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 124\u2013141. Springer, Cham (2016). doi:\n10.1007\/978-3-319-39570-8_9"},{"issue":"4","key":"15_CR13","first-page":"38","volume":"7","author":"A Farahat","year":"2012","unstructured":"Farahat, A., Ebnenasir, A.: A lightweight method for automated design of convergence in network protocols. ACM Trans. Auton. Adapt. Syst. (TAAS) 7(4), 38 (2012)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"issue":"5\u20136","key":"15_CR14","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/s10009-012-0228-z","volume":"15","author":"B Finkbeiner","year":"2013","unstructured":"Finkbeiner, B., Schewe, S.: Bounded synthesis. Int. J. Softw. Tools Technol. Transf. (STTT) 15(5\u20136), 519\u2013539 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-45438-1_8","volume-title":"Self-Stabilizing Systems","author":"MG Gouda","year":"2001","unstructured":"Gouda, M.G.: The theory of weak stabilization. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol. 2194, pp. 114\u2013123. Springer, Heidelberg (2001). doi:\n10.1007\/3-540-45438-1_8"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-05118-0_22","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"MG Gouda","year":"2009","unstructured":"Gouda, M.G., Acharya, H.B.: Nash equilibria in stabilizing systems. In: Guerraoui, R., Petit, F. (eds.) SSS 2009. LNCS, vol. 5873, pp. 311\u2013324. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-05118-0_22"},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0020-0190(92)90015-N","volume":"43","author":"S-C Hsu","year":"1992","unstructured":"Hsu, S.-C., Huang, S.-T.: A self-stabilizing algorithm for maximal matching. Inf. Process. Lett. 43(2), 77\u201381 (1992)","journal-title":"Inf. Process. Lett."},{"key":"15_CR18","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)"},{"issue":"1","key":"15_CR19","first-page":"1","volume":"10","author":"S Jacobs","year":"2014","unstructured":"Jacobs, S., Bloem, R.: Parameterized synthesis. Logical Methods Comput. Sci. (LMCS) 10(1), 1\u201329 (2014)","journal-title":"Logical Methods Comput. Sci. (LMCS)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-40213-5_2","volume-title":"Fundamentals of Software Engineering","author":"A Klinkhamer","year":"2013","unstructured":"Klinkhamer, A., Ebnenasir, A.: On the complexity of adding convergence. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol. 8161, pp. 17\u201333. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-40213-5_2"},{"issue":"14","key":"15_CR21","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1016\/j.tcs.2008.12.022","volume":"410","author":"F Manne","year":"2009","unstructured":"Manne, F., Mjelde, M., Pilard, L., Tixeuil, S.: A new self-stabilizing maximal matching algorithm. Theoret. Comput. Sci. 410(14), 1336\u20131345 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-33536-5_6","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"F Ooshita","year":"2012","unstructured":"Ooshita, F., Tixeuil, S.: On the self-stabilization of mobile oblivious robots in uniform rings. In: Richa, A.W., Scheideler, C. (eds.) SSS 2012. LNCS, vol. 7596, pp. 49\u201363. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-33536-5_6"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"15_CR24","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/58564.59295","volume":"7","author":"K Raymond","year":"1989","unstructured":"Raymond, K.: A tree-based algorithm for distributed mutual exclusion. ACM Trans. Comput. Syst. 7, 61\u201377 (1989)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"6","key":"15_CR25","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0020-0190(94)90098-1","volume":"49","author":"G Tel","year":"1994","unstructured":"Tel, G.: Maximal matching stabilizes in quadratic time. Inf. Process. Lett. 49(6), 271\u2013272 (1994)","journal-title":"Inf. Process. Lett."},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-642-17653-1_34","volume-title":"Principles of Distributed Systems","author":"Y Yamauchi","year":"2010","unstructured":"Yamauchi, Y., Tixeuil, S.: Monotonic stabilization. In: Lu, C., Masuzawa, T., Mosbah, M. (eds.) OPODIS 2010. LNCS, vol. 6490, pp. 475\u2013490. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-17653-1_34"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69084-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T08:11:22Z","timestamp":1531296682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69084-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319690834","9783319690841"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69084-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}