{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:25:26Z","timestamp":1742995526625,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031744976"},{"type":"electronic","value":"9783031744983"}],"license":[{"start":{"date-parts":[[2024,10,20]],"date-time":"2024-10-20T00:00:00Z","timestamp":1729382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,20]],"date-time":"2024-10-20T00:00:00Z","timestamp":1729382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-74498-3_30","type":"book-chapter","created":{"date-parts":[[2024,10,19]],"date-time":"2024-10-19T11:02:30Z","timestamp":1729335750000},"page":"417-431","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Generating the\u00a0Convergence Stairs of\u00a0the\u00a0Collatz Program"],"prefix":"10.1007","author":[{"given":"Ali","family":"Ebnenasir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,20]]},"reference":[{"issue":"5","key":"30_CR1","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s10009-015-0406-x","volume":"18","author":"P Abdulla","year":"2016","unstructured":"Abdulla, P., Haziza, F., Hol\u00edk, L.: Parameterized verification through view abstraction. Int. J. Softw. Tools Technol. Transfer 18(5), 495\u2013516 (2016)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of c programs. In: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, pp. 203\u2013213 (2001)","DOI":"10.1145\/378795.378846"},{"issue":"12","key":"30_CR3","doi-asserted-by":"publisher","first-page":"901","DOI":"10.3390\/e20120901","volume":"20","author":"DM Ballesteros","year":"2018","unstructured":"Ballesteros, D.M., Pe\u00f1a, J., Renza, D.: A novel image encryption scheme based on Collatz conjecture. Entropy 20(12), 901 (2018)","journal-title":"Entropy"},{"issue":"3","key":"30_CR4","doi-asserted-by":"publisher","first-page":"675","DOI":"10.3390\/math11030675","volume":"11","author":"K Barghout","year":"2023","unstructured":"Barghout, K., Hajji, W., Abu-Libdeh, N., Al-Jamal, M.: Statistical analysis of descending open cycles of Collatz function. Mathematics 11(3), 675 (2023)","journal-title":"Mathematics"},{"issue":"3","key":"30_CR5","doi-asserted-by":"publisher","first-page":"2681","DOI":"10.1007\/s11227-020-03368-x","volume":"77","author":"D Barina","year":"2021","unstructured":"Barina, D.: Convergence verification of the Collatz problem. J. Supercomput. 77(3), 2681\u20132688 (2021)","journal-title":"J. Supercomput."},{"issue":"4","key":"30_CR6","first-page":"83","volume":"11","author":"F Bocart","year":"2018","unstructured":"Bocart, F.: Inflation propensity of Collatz orbits: a new proof-of-work for blockchain applications. J. Risk Fin. Manage. 11(4), 83 (2018)","journal-title":"J. Risk Fin. Manage."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Briscese, F., Calogero, F.: Conjectures analogous to the Collatz conjecture. Open Commun. Nonlin. Math. Phys. 4(1) (2024)","DOI":"10.46298\/ocnmp.11118"},{"issue":"4","key":"30_CR8","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1145\/325478.325480","volume":"21","author":"T Bultan","year":"1999","unstructured":"Bultan, T., Gerber, R., Pugh, W.: Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Trans. Programm. Lang. Syst. (TOPLAS) 21(4), 747\u2013789 (1999)","journal-title":"ACM Trans. Programm. Lang. Syst. (TOPLAS)"},{"issue":"11","key":"30_CR9","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"},{"key":"30_CR10","unstructured":"Ebnenasir, A.: Synthesizing self-stabilizing parameterized protocols with unbounded variables. In: Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 245\u2013254 (2022)"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Ebnenasir, A.: Specifying and verifying the convergence stairs of the Collatz program, Mar 2024. arXiv:2403.04777","DOI":"10.1007\/978-3-031-74498-3_30"},{"issue":"1\u20133","key":"30_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0012-365X(93)90052-U","volume":"118","author":"S Eliahou","year":"1993","unstructured":"Eliahou, S.: The 3x + 1 problem: new lower bounds on nontrivial cycle lengths. Discret. Math. 118(1\u20133), 45\u201356 (1993)","journal-title":"Discret. Math."},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/0001-8708(77)90087-1","volume":"25","author":"CJ Everett","year":"1977","unstructured":"Everett, C.J.: Iteration of the number-theoretic function f(2n) = n, f(2n + 1) = 3n + 2. Adv. Math. 25, 42\u201345 (1977)","journal-title":"Adv. Math."},{"issue":"2","key":"30_CR14","doi-asserted-by":"publisher","first-page":"96","DOI":"10.4236\/apm.2022.122009","volume":"12","author":"M Furuta","year":"2022","unstructured":"Furuta, M.: Proof of Collatz conjecture using division sequence. Adv. Pure Math. 12(2), 96\u2013108 (2022)","journal-title":"Adv. Pure Math."},{"issue":"2","key":"30_CR15","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1109\/32.988499","volume":"28","author":"M Gouda","year":"2002","unstructured":"Gouda, M.: Multiphase stabilization. IEEE Trans. Software Eng. 28(2), 201\u2013208 (2002)","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"30_CR16","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/12.88464","volume":"40","author":"MG Gouda","year":"1991","unstructured":"Gouda, M.G., Multari, N.J.: Stabilizing communication protocols. IEEE Trans. Comput. 40(4), 448\u2013458 (1991)","journal-title":"IEEE Trans. Comput."},{"key":"30_CR17","first-page":"72","volume":"97","author":"S Graf","year":"1997","unstructured":"Graf, S., Saidi, H.: Construction of abstract state graphs with PVS. CAV 97, 72\u201383 (1997)","journal-title":"CAV"},{"key":"30_CR18","unstructured":"Grauer, J.A.: Analogy between the Collatz conjecture and sliding mode control. NASA\/TM-20210019810 (2021)"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"Hernandez, J.: The Collatz Regular Language. ScienceOpen Preprints (2023)","DOI":"10.14293\/PR2199.000224.v1"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Kaiser, A., Kroening, D., Wahl, T.: Dynamic cutoff detection in parameterized concurrent programs. In: 22nd International Conference on Computer Aided Verification, pp. 645\u2013659. Springer (2010)","DOI":"10.1007\/978-3-642-14295-6_55"},{"key":"30_CR21","doi-asserted-by":"publisher","first-page":"237","DOI":"10.4064\/aa109-3-4","volume":"109","author":"I Krasikov","year":"2003","unstructured":"Krasikov, I., Lagarias, J.C.: Bounds for the $$3 x+ 1$$ problem using difference inequalities. Acta Arith. 109, 237\u2013258 (2003)","journal-title":"Acta Arith."},{"key":"30_CR22","first-page":"12","volume":"10","author":"JC Lagarias","year":"2010","unstructured":"Lagarias, J.C.: The ultimate challenge: The 3x + 1 problem. Am. Math. Soc. 10, 12 (2010)","journal-title":"Am. Math. Soc."},{"issue":"4","key":"30_CR23","doi-asserted-by":"publisher","first-page":"1773","DOI":"10.1137\/20M1348182","volume":"20","author":"J Leventides","year":"2021","unstructured":"Leventides, J., Poulios, C.: Koopman operators and the 3x + 1-dynamical system. SIAM J. Appl. Dyn. Syst. 20(4), 1773\u20131813 (2021)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"11","key":"30_CR24","doi-asserted-by":"publisher","first-page":"2859","DOI":"10.1109\/TIFS.2019.2908071","volume":"14","author":"H Ma","year":"2019","unstructured":"Ma, H., Jia, C., Li, S., Zheng, W., Wu, D.: Xmark: dynamic software watermarking using Collatz conjecture. IEEE Trans. Inf. Forensics Secur. 14(11), 2859\u20132874 (2019)","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"issue":"12","key":"30_CR25","doi-asserted-by":"publisher","first-page":"1972","DOI":"10.3390\/math10121972","volume":"10","author":"M Or\u00fas-Lacort","year":"2022","unstructured":"Or\u00fas-Lacort, M., Jouis, C.: Analyzing the Collatz conjecture using the mathematical complete induction method. Mathematics 10(12), 1972 (2022)","journal-title":"Mathematics"},{"issue":"16","key":"30_CR26","doi-asserted-by":"publisher","first-page":"1898","DOI":"10.3390\/math9161898","volume":"9","author":"A Rahn","year":"2021","unstructured":"Rahn, A., Sultanow, E., Henkel, M., Ghosh, S., Aberkane, I.J.: An algorithm for linearizing the Collatz convergence. Mathematics 9(16), 1898 (2021)","journal-title":"Mathematics"},{"key":"30_CR27","doi-asserted-by":"crossref","unstructured":"St\u00e9rin, T.: Binary expression of ancestors in the Collatz graph. In: International Conference on Reachability Problems, pp. 115\u2013130. Springer (2020)","DOI":"10.1007\/978-3-030-61739-4_8"},{"key":"30_CR28","doi-asserted-by":"crossref","unstructured":"Stomp, F.: Structured design of self-stabilizing programs. In: Proceedings of the 2nd Israel Symposium on Theory and Computing Systems, pp. 167\u2013176 (1993)","DOI":"10.1109\/ISTCS.1993.253472"},{"key":"30_CR29","doi-asserted-by":"crossref","unstructured":"Tao, T.: Almost all orbits of the Collatz map attain almost bounded values. In: Forum of Mathematics, Pi, vol. 10. Cambridge University Press (2022)","DOI":"10.1017\/fmp.2022.8"},{"key":"30_CR30","doi-asserted-by":"crossref","unstructured":"Yolcu, E., Aaronson, S., Heule, M.J.: An automated approach to the Collatz conjecture. In: CADE, pp. 468\u2013484 (2021)","DOI":"10.1007\/978-3-030-79876-5_27"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74498-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T22:04:14Z","timestamp":1735596254000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74498-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,20]]},"ISBN":["9783031744976","9783031744983"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74498-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,20]]},"assertion":[{"value":"20 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Stabilizing, Safety, and Security of Distributed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nagoya","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sss2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sss2024.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}