{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:27:24Z","timestamp":1772119644757,"version":"3.50.1"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:00:00Z","timestamp":1760486400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:00:00Z","timestamp":1760486400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discov Computing"],"DOI":"10.1007\/s10791-025-09748-2","type":"journal-article","created":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T18:53:36Z","timestamp":1760554416000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal modelling and verification of effective probabilistic neural networks for load balancing in a cloud environment"],"prefix":"10.1007","volume":"28","author":[{"given":"Shantanu","family":"Shukla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vibhash","family":"Yadav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,15]]},"reference":[{"key":"9748_CR1","doi-asserted-by":"publisher","unstructured":"Ali F, Khan R. The study on load balancing strategies in distributed computing system, IJCSES, 3 2, page no. 19\u201330, 2012, https:\/\/doi.org\/10.5121\/ijcses.2012.3203","DOI":"10.5121\/ijcses.2012.3203"},{"key":"9748_CR2","doi-asserted-by":"crossref","unstructured":"Anna, Hac. Load balancing in distributed systems: A survey, AT & T bell laboratories, Performance Evaluation Review, Vol. 16 dated on 2\u20134 February 1989.","DOI":"10.1145\/1041911.1041912"},{"key":"9748_CR3","doi-asserted-by":"crossref","unstructured":"Othman O. & Douglas.C., Optimizing distributed system performance via adaptive middleware load balancing. University of California; April 2001.","DOI":"10.1145\/384198.384225"},{"key":"9748_CR4","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.procs.2015.04.173","volume":"48","author":"V Tyagi","year":"2015","unstructured":"Tyagi V. Tarun kr., ORT broker policy: reduce cost and response time using Throttled load balancing algorithm. Procedia Comput Sci. 2015;48:217\u201321.","journal-title":"Procedia Comput Sci"},{"key":"9748_CR5","doi-asserted-by":"publisher","unstructured":"Shafiq DA, Jhanjhi N, Abdullah A. Proposing A Load Balancing Algorithm for the Optimization of Cloud Computing Applications, MACS 2019\u201313th Int. Conf. Math. Actuar. Sci. Comput. Sci. Stat. Proc., 2019, https:\/\/doi.org\/10.1109\/MACS48846.2019.9024785","DOI":"10.1109\/MACS48846.2019.9024785"},{"key":"9748_CR6","doi-asserted-by":"publisher","unstructured":"Violetta N, Volkova. et.al. Load balancing in cloud computing, 2018 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), Jan 2018, IEEE. https:\/\/doi.org\/10.1109\/EIConRus.2018.8317113","DOI":"10.1109\/EIConRus.2018.8317113"},{"key":"9748_CR7","unstructured":"Caterina urban and Antoine, Mine. A review of formal methods applied to machine learning, arXiv:2104.02466v2 [cs.PL] 21 Apr 2021."},{"key":"9748_CR8","doi-asserted-by":"publisher","unstructured":"Emre G. et.al. Machine Learning-Based load balancing algorithms in future heterogeneous networks: A survey. IEEE Access 10, Page 37689\u2013717, https:\/\/doi.org\/10.1109\/ACCESS.2022.3161511","DOI":"10.1109\/ACCESS.2022.3161511"},{"key":"9748_CR9","doi-asserted-by":"publisher","unstructured":"Agrawal R, Sharma DK. et.al. Machine learning and deep learning based load balancing algorithms techniques in cloud computing, 2021 International Conference on Innovative Practices in Technology and Management (ICIPTM), IEEE, April 2021, https:\/\/doi.org\/10.1109\/ICIPTM52218.2021.9388349","DOI":"10.1109\/ICIPTM52218.2021.9388349"},{"issue":"3","key":"9748_CR10","doi-asserted-by":"publisher","first-page":"54","DOI":"10.4018\/IJITWE.2018070104","volume":"13","author":"X Hou","year":"2018","unstructured":"Hou X, Zhao G. Resource scheduling and load balancing fusion algorithm with deep learning based on cloud computing. Int J Inform Technol Web Eng (IJITWE). 2018;13(3):54\u201372.","journal-title":"Int J Inform Technol Web Eng (IJITWE)"},{"key":"9748_CR11","doi-asserted-by":"crossref","unstructured":"Gomez C, Shami A, Wang X. Machine Learning Aided Scheme for Load Balancing in Dense IoT Networks, Sensors, vol. 18, no. 11, p. 3779, 2018.","DOI":"10.3390\/s18113779"},{"key":"9748_CR12","first-page":"1184","volume":"4","author":"S Parida","year":"2018","unstructured":"Parida S, Panchal B. An efficient dynamic load balancing algorithm using machine learning technique in cloud environment. Int J Sci Res Sci Eng Technol. 2018;4:1184\u20136.","journal-title":"Int J Sci Res Sci Eng Technol"},{"issue":"12","key":"9748_CR13","doi-asserted-by":"publisher","first-page":"9739","DOI":"10.1007\/s11227-020-03200-6","volume":"76","author":"S Moreno-Alvarez","year":"2020","unstructured":"Moreno-Alvarez S, Haut JM, Paoletti ME, Rico-Gallego JA, Diaz-Martin JC, Plaza J. Training deep neural networks: a static load balancing approach. J Super Comput. 2020;76(12):9739\u201354.","journal-title":"J Super Comput"},{"key":"9748_CR14","doi-asserted-by":"crossref","unstructured":"Thai Son Hoang. Jean Raymond abrial Event-B patterns and their tool support. Softw Syst Modelling May 2013, 12, issue 2, pp 229\u201344.","DOI":"10.1007\/s10270-010-0183-7"},{"key":"9748_CR15","doi-asserted-by":"crossref","unstructured":"Butler M, K\u00f6rner P, Krings S, Lecomte T, Leuschel M, Mejia L-F, and Laurent Voisin. The first twenty-five years of industrial use of the B-method. In International Conference on Formal Methods for Industrial Critical Systems, pp. 189\u2013209. Springer, Cham, 2020.","DOI":"10.1007\/978-3-030-58298-2_8"},{"key":"9748_CR16","doi-asserted-by":"crossref","unstructured":"Butler M. Decomposition structures for Event-B. In International Conference on Integrated Formal Methods, pp. 20\u201338. Springer, Berlin, Heidelberg, 2009.","DOI":"10.1007\/978-3-642-00255-7_2"},{"key":"9748_CR17","doi-asserted-by":"crossref","unstructured":"Abrial J-R, Butler M, Hallerstede S, Hoang TS, Mehta F, Voisin L. Rodin: an open toolset for modelling and reasoning in Event-B. International journal on software tools for technology transfer 12, 6 (2010): 447\u201366.","DOI":"10.1007\/s10009-010-0145-y"},{"key":"9748_CR18","doi-asserted-by":"publisher","unstructured":"Nada M, Al, Sallami. et.al. Load balancing with neural Network, the science and information organization, 4 Issue 10, 2013, https:\/\/doi.org\/10.14569\/IJACSA.2013.041021","DOI":"10.14569\/IJACSA.2013.041021"},{"key":"9748_CR19","doi-asserted-by":"publisher","unstructured":"Sergio Moreno\u2013\u00c1lvarez et.al. Training deep neural networks: a static load balancing approach the journal of supercomputing. Springer Nat 2020, https:\/\/doi.org\/10.1007\/s11227-020-03200-6","DOI":"10.1007\/s11227-020-03200-6"},{"key":"9748_CR20","doi-asserted-by":"publisher","unstructured":"Shukla MP, Keswani P, Keswani B. Artificial neural network based load balancing scheme for top of rack switches in optical data centers. J Opt Commun Published Online De Gruyter August. 2023;3. https:\/\/doi.org\/10.1515\/joc-2023-0189.","DOI":"10.1515\/joc-2023-0189"},{"issue":"1","key":"9748_CR21","doi-asserted-by":"publisher","first-page":"79","DOI":"10.3390\/app12010079","volume":"12","author":"pokuta Waldemar","year":"2022","unstructured":"Waldemar pokuta, Zatwarnicki K. Application of neural networks in distribution of the load in Cluster-Based web systems web infrastructure enhancement and performance evaluation. Appl Sci. 2022;12(1):79. https:\/\/doi.org\/10.3390\/app12010079.","journal-title":"Appl Sci"},{"key":"9748_CR22","doi-asserted-by":"publisher","unstructured":"Shantanu shukla, Yadav RsinghD. Formal Modelling of Cluster-Coordinator-Based Load Balancing Protocol Using Event-B, Proceedings of Second Doctoral Symposium on Computational Intelligence, pp-593-603, vol: 1374, Singapore. https:\/\/doi.org\/10.1007\/978-981-16-3346-1_48","DOI":"10.1007\/978-981-16-3346-1_48"},{"key":"9748_CR23","unstructured":"Yadav P, Suryavanshi R, Yadav D. Formal Verification of Receiver Initiated Load Distribution Protocol with Fault Tolerance and Recovery using Event-B, Journal of Scientific and Industrial Research (JSIR), Vol:80 issue: 12, April 2022, pp:1078\u20131090."},{"key":"9748_CR24","doi-asserted-by":"publisher","unstructured":"Behshad Met. year-. Al., Probabilistic neural networks: a brief overview of theory, implementation, and application, Handbook of Probabilistic Models. https:\/\/doi.org\/10.1016\/B978-0-12-816514-0.00014-X, 2012.","DOI":"10.1016\/B978-0-12-816514-0.00014-X"},{"key":"9748_CR25","doi-asserted-by":"crossref","unstructured":"Fatma M, Talaat AI, Saleh HA, Ali. Effective load balancing strategy (ELBS) for Real-Time fog computing environment using fuzzy and probabilistic neural networks. J Netw Syst Manage \u00b7 Oct 2019, https:\/\/www.researchgate.net\/publication\/330916938","DOI":"10.1007\/s10922-019-09490-3"},{"key":"9748_CR26","doi-asserted-by":"crossref","unstructured":"Payli RU, Erciyes K, Dagdeviren O. Sep, Cluster based load balancing algorithms for grids. Int J Comput Networks Commun (IJCNC) 3, 5, 2011.","DOI":"10.5121\/ijcnc.2011.3518"},{"key":"9748_CR27","doi-asserted-by":"publisher","unstructured":"Prabhdeep S. et.al., A fog based cluster based load balancing, Sustainability 14, no. 13: 7961. https:\/\/doi.org\/10.3390\/su14137961","DOI":"10.3390\/su14137961"},{"key":"9748_CR28","unstructured":"AnnaVictoria CR, Oikawa V, Freitas M\u00e1rcioC, Castro La\u00e9rcio, Pilla L. Adaptive load balancing based on machine learning for iterative parallel applications, Submitted on 12 May 2020, https:\/\/hal.science\/hal-02570549"},{"key":"9748_CR29","doi-asserted-by":"publisher","unstructured":"Chen S, Fan Z, Shen H, Feng L. (2019). Performance modeling and verification of load balancing in cloud systems using formal methods. 146\u201351. https:\/\/doi.org\/10.1109\/MASSW.2019.00036","DOI":"10.1109\/MASSW.2019.00036"},{"key":"9748_CR30","doi-asserted-by":"publisher","unstructured":"Chen S, Fan Z, Shen H, Feng L. Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods, 2019 IEEE 16th International Conference on Mobile Ad Hoc and Sensor Systems Workshops (MASSW), Monterey, CA, USA, 2019, pp. 146\u2013151. https:\/\/doi.org\/10.1109\/MASSW.2019.00036","DOI":"10.1109\/MASSW.2019.00036"},{"key":"9748_CR31","unstructured":"Edwin ablad. Mathematical modelling and methods for load balancing and coordination of multi robot stations, Sweden 2022."},{"key":"9748_CR32","doi-asserted-by":"publisher","unstructured":"Zhang K, Guo W, Feng J. Load forecasting method based on improved deep learning in cloud computing Environment, scientific programming towards a smart world. Hindawi Publication; Volume 2021. https:\/\/doi.org\/10.1155\/2021\/3250732.","DOI":"10.1155\/2021\/3250732"},{"key":"9748_CR33","doi-asserted-by":"publisher","unstructured":"Gures E, Shayea I, Ergen M, Azmi MH, El-Saleh AA. Machine Learning-Based Load Balancing Algorithms in Future Heterogeneous Networks: A Survey, in IEEE Access, vol. 10, pp. 37689\u201337717, 2022, https:\/\/doi.org\/10.1109\/ACCESS.2022.3161511","DOI":"10.1109\/ACCESS.2022.3161511"},{"key":"9748_CR34","unstructured":"MUHAMMAD ASIM SHAHID, NOMAN ISLAM. et.al., A comprehensive study of load balancing approaches in the cloud computing environment and a novel fault tolerance approach IEEE access, Accepted by 4 July, 2020, Digital Object Identifier 10.1109\/ACCESS.2020.3009184."},{"key":"9748_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10115-021-01649-2","volume":"64","author":"M Talaat","year":"2022","unstructured":"Talaat M, Fatma, Ali H, Saraya M, Saleh A. Effective scheduling algorithm for load balancing in fog environment using CNN and MPSO. Knowl Inf Syst. 2022;64:1\u201325. https:\/\/doi.org\/10.1007\/s10115-021-01649-2.","journal-title":"Knowl Inf Syst"},{"key":"9748_CR36","doi-asserted-by":"publisher","first-page":"229","DOI":"10.32604\/csse.2022.020947","volume":"42","author":"R Malavika","year":"2022","unstructured":"Malavika R, Valarmathi M. Adaptive server load balancing in SDN using PID neural network controller. Comput Syst Sci Eng. 2022;42:229\u201343. https:\/\/doi.org\/10.32604\/csse.2022.020947.","journal-title":"Comput Syst Sci Eng"},{"key":"9748_CR37","doi-asserted-by":"publisher","first-page":"8","DOI":"10.5815\/ijitcs.2020.03.02","volume":"12","author":"A Kaur","year":"2020","unstructured":"Kaur A, Kaur B, Singh P, Devgan M, Toor H. Load balancing optimization based on deep learning approach in cloud environment. Int J Inform Technol Comput Sci. 2020;12:8\u201318. https:\/\/doi.org\/10.5815\/ijitcs.2020.03.02.","journal-title":"Int J Inform Technol Comput Sci"},{"key":"9748_CR38","doi-asserted-by":"publisher","unstructured":"Yao Z, Desmouceaux Y, Townsley W, Clausen TH. (2021). Towards Intelligent Load Balancing in Data Centers. https:\/\/doi.org\/10.48550\/arXiv.2110.15788","DOI":"10.48550\/arXiv.2110.15788"},{"key":"9748_CR39","unstructured":"Xu L, Hoos HH. and K. Leyton-Brown. Hierarchical hardness models for SAT. In Conference on Principles and Practice of Constraint Programming, 2007."},{"key":"9748_CR40","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1613\/jair.2490","volume":"32","author":"L Xu","year":"2008","unstructured":"Xu L, Hutter F, Hoos HH. Leyton-Brown. Satzilla: Portfolio-based algorithm selection for sat. JAIR. 2008;32:565\u2013606.","journal-title":"JAIR"},{"key":"9748_CR41","unstructured":"Tetsuya S, Alejandra A, Gilles B et., Al. Formal verification of Higher-order probabilistic programming (Reasoning about approximation), arxiv: 1807.06091V3[cs. L0] 25 Feb 2020."},{"key":"9748_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_17","volume-title":"Abstract state Machines, B and Z. ABZ 2008","author":"M Poppleton","year":"2008","unstructured":"Poppleton M. The composition of Event-B models. In: B\u00f6rger E, Butler M, Bowen JP, Boca P, editors. Abstract state Machines, B and Z. ABZ 2008. Lecture Notes in Computer Science. Volume 5238. Berlin, Heidelberg: Springer; 2008. https:\/\/doi.org\/10.1007\/978-3-540-87603-8_17."},{"key":"9748_CR43","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial JR, Butler M, Hallerstede S, et al. Rodin: an open toolset for modelling and reasoning in Event-B. Int J Softw Tools Technol Transf. 2010;12:447\u201366. https:\/\/doi.org\/10.1007\/s10009-010-0145-y.","journal-title":"Int J Softw Tools Technol Transf"},{"key":"9748_CR44","doi-asserted-by":"publisher","unstructured":"Donald F, Specht N, Networks. Volume 3, Issue 1, 1990, Pages 109\u2013118, ISSN 0893\u20136080. https:\/\/doi.org\/10.1016\/0893-6080(90)90049-Q","DOI":"10.1016\/0893-6080(90)90049-Q"},{"key":"9748_CR45","unstructured":"Zhang H, Chen H, Boning D, Hsieh C. (2021). Robust Reinforcement Learning on State Observations with Learned Optimal Adversary. ArXiv. https:\/\/arxiv.org\/abs\/2101.08452"},{"key":"9748_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11227-021-04234-0","volume":"78","author":"E Patel","year":"2022","unstructured":"Patel E, Kushwaha DS. A hybrid CNN-LSTM model for predicting server load in cloud computing. J Supercomputing. 2022;78:1\u201330.","journal-title":"J Supercomputing"},{"key":"9748_CR47","unstructured":"Shameer AP, Enhanced Cloud Load Balancing With MPSOA- LB. Jan., : A Multi-Objective PSO Approach for Dynamic Task Allocation and Performance Optimization, Int J Intell Syst Appl Eng, vol. 11, no. 1, p. 445 \u2013, 2023."},{"key":"9748_CR48","doi-asserted-by":"publisher","first-page":"13434","DOI":"10.1007\/s11227-024-05990-5","volume":"80","author":"N Elsakaan","year":"2024","unstructured":"Elsakaan N, Amroun K. A novel multi-level hybrid load balancing and tasks scheduling algorithm for cloud computing environment. J Supercomputing. 2024;80:13434\u201374. https:\/\/doi.org\/10.1007\/s11227-024-05990-5.","journal-title":"J Supercomputing"}],"container-title":["Discover Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10791-025-09748-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10791-025-09748-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10791-025-09748-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T18:53:40Z","timestamp":1760554420000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10791-025-09748-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,15]]},"references-count":48,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["9748"],"URL":"https:\/\/doi.org\/10.1007\/s10791-025-09748-2","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-6006596\/v1","asserted-by":"object"}]},"ISSN":["2948-2992"],"issn-type":[{"value":"2948-2992","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,15]]},"assertion":[{"value":"11 February 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not Required.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"Not Required.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The authors declare no competing interests.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"219"}}