{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T13:20:55Z","timestamp":1775913655403,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,1,21]],"date-time":"2022-01-21T00:00:00Z","timestamp":1642723200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,1,21]]},"DOI":"10.1145\/3520084.3520100","type":"proceedings-article","created":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T23:40:54Z","timestamp":1650325254000},"page":"100-105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards verification of probabilistic multi-party consensus protocols"],"prefix":"10.1145","author":[{"given":"Ivan","family":"Fedotov","sequence":"first","affiliation":[{"name":"Algorithms and technologies of programming, Moscow Institute of Physics and Technology, Russia"}]},{"given":"Anton","family":"Khritankov","sequence":"additional","affiliation":[{"name":"Algorithms and technologies of programming, Moscow Institute of Physics and Technology, Russia"}]},{"given":"Artem","family":"Barger","sequence":"additional","affiliation":[{"name":"Idea Blockchain Competence Center, Israel"}]}],"member":"320","published-online":{"date-parts":[[2022,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-0871-4_24"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on distributed cryptocurrencies and consensus ledgers","volume":"310","author":"Cachin C.","year":"2016","unstructured":"C. Cachin , \u201c Architecture of the hyperledger blockchain fabric ,\u201d in Workshop on distributed cryptocurrencies and consensus ledgers , vol. 310 , Chicago, IL , 2016 . C. Cachin , \u201cArchitecture of the hyperledger blockchain fabric,\u201d in Workshop on distributed cryptocurrencies and consensus ledgers, vol. 310, Chicago, IL, 2016."},{"key":"e_1_3_2_1_4_1","first-page":"00928","article-title":"Fast probabilistic consensus with weighted votes","volume":"2006","author":"M\u00fcller S.","year":"2020","unstructured":"S. M\u00fcller , A. Penzkofer , B. Kusmierz , D. Camargo , and W. J. Buchanan , \u201c Fast probabilistic consensus with weighted votes ,\u201d CoRR , vol. abs\/ 2006 . 00928 , 2020 . S. M\u00fcller, A. Penzkofer, B. Kusmierz, D. Camargo, and W. J. Buchanan, \u201cFast probabilistic consensus with weighted votes,\u201d CoRR, vol. abs\/2006.00928, 2020.","journal-title":"CoRR"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1155\/2019\/4583465","article-title":"Weighted consensus problem for multiagent systems with edge- and nodeweighted directed graphs","volume":"2019","author":"Gao L.","year":"2019","unstructured":"L. Gao , H. Fang , W. Chen , and H. Cao , \u201c Weighted consensus problem for multiagent systems with edge- and nodeweighted directed graphs ,\u201d Complex. , vol. 2019 , pp. 4583465: 1 \u2013 4583465 :13, 2019 . L. Gao, H. Fang, W. Chen, and H. Cao, \u201cWeighted consensus problem for multiagent systems with edge- and nodeweighted directed graphs,\u201d Complex., vol. 2019, pp. 4583465:1\u20134583465:13, 2019.","journal-title":"Complex."},{"key":"e_1_3_2_1_7_1","first-page":"04119","article-title":"Exploiting statistical dependencies of time series with hierarchical correlation reconstruction","volume":"1807","author":"Duda J.","year":"2018","unstructured":"J. Duda , \u201c Exploiting statistical dependencies of time series with hierarchical correlation reconstruction ,\u201d CoRR , vol. abs\/ 1807 . 04119 , 2018 . J. Duda, \u201cExploiting statistical dependencies of time series with hierarchical correlation reconstruction,\u201d CoRR, vol. abs\/1807.04119, 2018.","journal-title":"CoRR"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-015-5486-z"},{"key":"e_1_3_2_1_9_1","volume-title":"Model checking","author":"Clarke E. M.","year":"2018","unstructured":"E. M. Clarke Jr , O. Grumberg , D. Kroening , D. Peled , and H. Veith , Model checking . MIT press , 2018 . E. M. Clarke Jr, O. Grumberg, D. Kroening, D. Peled, and H. Veith, Model checking. MIT press, 2018."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91908-9_23"},{"key":"e_1_3_2_1_11_1","first-page":"235","volume-title":"14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings (E. Brinksma and K. G. Larsen, eds.)","volume":"2404","author":"Younes H. L. S.","year":"2002","unstructured":"H. L. S. Younes and R. G. Simmons , \u201c Probabilistic verification of discrete event systems using acceptance sampling,\u201d in Computer Aided Verification , 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings (E. Brinksma and K. G. Larsen, eds.) , vol. 2404 of Lecture Notes in Computer Science , pp. 223\u2013 235 , Springer, 2002 . H. L. S. Younes and R. G. Simmons, \u201cProbabilistic verification of discrete event systems using acceptance sampling,\u201d in Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings (E. Brinksma and K. G. Larsen, eds.), vol. 2404 of Lecture Notes in Computer Science, pp. 223\u2013235, Springer, 2002."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"e_1_3_2_1_13_1","first-page":"02803","article-title":"Statistical model checking of common attack scenarios on blockchain","volume":"2109","author":"Fedotov I.","year":"2021","unstructured":"I. Fedotov and A. Khritankov , \u201c Statistical model checking of common attack scenarios on blockchain ,\u201d CoRR , vol. abs\/ 2109 . 02803 , 2021 . I. Fedotov and A. Khritankov, \u201cStatistical model checking of common attack scenarios on blockchain,\u201d CoRR, vol. abs\/2109.02803, 2021.","journal-title":"CoRR"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328737"},{"key":"e_1_3_2_1_15_1","first-page":"05113","article-title":"Scaling hyperledger fabric using pipelined execution and sparse peers","volume":"2003","author":"Thakkar P.","year":"2020","unstructured":"P. Thakkar and S. Nathan , \u201c Scaling hyperledger fabric using pipelined execution and sparse peers ,\u201d CoRR , vol. abs\/ 2003 . 05113 , 2020 . P. Thakkar and S. Nathan, \u201cScaling hyperledger fabric using pipelined execution and sparse peers,\u201d CoRR, vol. abs\/2003.05113, 2020.","journal-title":"CoRR"},{"key":"e_1_3_2_1_16_1","first-page":"591","volume-title":"23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings (G. Gopalakrishnan and S. Qadeer, eds.)","volume":"6806","author":"Kwiatkowska M. Z.","year":"2011","unstructured":"M. Z. Kwiatkowska , G. Norman , and D. Parker , \u201c PRISM 4.0: Verification of probabilistic real-time systems,\u201d in Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings (G. Gopalakrishnan and S. Qadeer, eds.) , vol. 6806 of Lecture Notes in Computer Science , pp. 585\u2013 591 , Springer, 2011 . M. Z. Kwiatkowska, G. Norman, and D. Parker, \u201cPRISM 4.0: Verification of probabilistic real-time systems,\u201d in Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings (G. Gopalakrishnan and S. Qadeer, eds.), vol. 6806 of Lecture Notes in Computer Science, pp. 585\u2013591, Springer, 2011."},{"key":"e_1_3_2_1_17_1","volume-title":"Prism models","author":"Fedotov I.","year":"2021","unstructured":"I. Fedotov and A. Khritankov , \u201c Prism models .\u201d https:\/\/github.com\/1vanan\/PRISM-models\/tree\/master\/endorsementpolicy, 2021 I. Fedotov and A. Khritankov, \u201cPrism models.\u201d https:\/\/github.com\/1vanan\/PRISM-models\/tree\/master\/endorsementpolicy, 2021"}],"event":{"name":"ICSIM 2022: 2022 The 5th International Conference on Software Engineering and Information Management","location":"Yokohama Japan","acronym":"ICSIM 2022"},"container-title":["2022 The 5th International Conference on Software Engineering and Information Management (ICSIM)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520084.3520100","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3520084.3520100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:31Z","timestamp":1750183831000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520084.3520100"}},"subtitle":["Constructing algorithms for verification of multi-party protocols with probabilistic properties"],"short-title":[],"issued":{"date-parts":[[2022,1,21]]},"references-count":16,"alternative-id":["10.1145\/3520084.3520100","10.1145\/3520084"],"URL":"https:\/\/doi.org\/10.1145\/3520084.3520100","relation":{},"subject":[],"published":{"date-parts":[[2022,1,21]]},"assertion":[{"value":"2022-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}