{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T17:24:04Z","timestamp":1778693044687,"version":"3.51.4"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031163357","type":"print"},{"value":"9783031163364","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-16336-4_17","type":"book-chapter","created":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:02:40Z","timestamp":1662832960000},"page":"337-355","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Comparing Statistical and\u00a0Analytical Routing Approaches for\u00a0Delay-Tolerant Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8528-9215","authenticated-orcid":false,"given":"Pedro R.","family":"D\u2019Argenio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9816-6989","authenticated-orcid":false,"given":"Juan A.","family":"Fraire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3268-8674","authenticated-orcid":false,"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Raverta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,11]]},"reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1-6:39 (2018). https:\/\/doi.org\/10.1145\/3158668","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"3","key":"17_CR2","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MCOM.2015.7060480","volume":"53","author":"G Araniti","year":"2015","unstructured":"Araniti, G., et al.: Contact graph routing in DTN space networks: overview, enhancements and performance. IEEE Comms. Mag. 53(3), 38\u201346 (2015). https:\/\/doi.org\/10.1109\/MCOM.2015.7060480","journal-title":"IEEE Comms. Mag."},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1007\/978-3-319-10575-8_28","volume-title":"Handbook of Model Checking","author":"C Baier","year":"2018","unstructured":"Baier, C., de Alfaro, L., Forejt, V., Kwiatkowska, M.: Model checking probabilistic systems. In: Handbook of Model Checking, pp. 963\u2013999. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_28"},{"key":"17_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.comcom.2014.03.024","volume":"48","author":"N Benamar","year":"2014","unstructured":"Benamar, N., Singh, K.D., Benamar, M., Ouadghiri, D.E., Bonnin, J.M.: Routing protocols in vehicular delay tolerant networks: a comprehensive survey. Comput. Commun. 48, 141\u2013158 (2014). https:\/\/doi.org\/10.1016\/j.comcom.2014.03.024","journal-title":"Comput. Commun."},{"key":"17_CR6","doi-asserted-by":"publisher","unstructured":"Benhamida, F.Z., Bouabdellah, A., Challal, Y.: Using delay tolerant network for the Internet of Things: Opportunities and challenges. In: 2017 8th International Conference on Information and Communication Systems (ICICS), pp. 252\u2013257, April 2017. https:\/\/doi.org\/10.1109\/IACS.2017.7921980","DOI":"10.1109\/IACS.2017.7921980"},{"issue":"6","key":"17_CR7","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1007\/s10009-020-00563-2","volume":"22","author":"CE Budde","year":"2020","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 22(6), 759\u2013780 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00563-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Burleigh, S., Caini, C., Messina, J., Rodolfi, M.: Toward a unified routing framework for DTN. In: 2016 IEEE International Conference on Wireless for Space and Extreme Environments (WiSEE), pp. 82\u201386, Sept 2016","DOI":"10.1109\/WiSEE.2016.7877309"},{"issue":"6","key":"17_CR9","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/MCOM.2003.1204759","volume":"41","author":"S Burleigh","year":"2003","unstructured":"Burleigh, S., et al.: Delay-tolerant networking: an approach to interplanetary internet. Comm. Mag. 41(6), 128\u2013136 (2003). https:\/\/doi.org\/10.1109\/MCOM.2003.1204759","journal-title":"Comm. Mag."},{"issue":"11","key":"17_CR10","doi-asserted-by":"publisher","first-page":"1980","DOI":"10.1109\/JPROC.2011.2158378","volume":"99","author":"C Caini","year":"2011","unstructured":"Caini, C., Cruickshank, H., Farrell, S., Marchese, M.: Delay- and disruption-tolerant networking (DTN): an alternative solution for future satellite networking applications. Proc. IEEE 99(11), 1980\u20131997 (2011). https:\/\/doi.org\/10.1109\/JPROC.2011.2158378","journal-title":"Proc. IEEE"},{"key":"17_CR11","unstructured":"Cerf, V., et al.: Delay-tolerant networking architecture. RFC 4838, RFC Editor, April 2007. http:\/\/www.rfc-editor.org\/rfc\/rfc4838.txt"},{"issue":"1\u20132","key":"17_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.tcs.2006.07.033","volume":"365","author":"L Cheung","year":"2006","unstructured":"Cheung, L., Lynch, N.A., Segala, R., Vaandrager, F.W.: Switched PIOA: parallel composition via distributed scheduling. Theor. Comput. Sci. 365(1\u20132), 83\u2013108 (2006). https:\/\/doi.org\/10.1016\/j.tcs.2006.07.033","journal-title":"Theor. Comput. Sci."},{"key":"17_CR13","unstructured":"Consultative Committee for Space Data Systems (CCSDS): CCSDS bundle protocol specification (blue book, recommended standard CCSDS 734.2-B-1), September 2015. https:\/\/public.ccsds.org\/Pubs\/734x2b1.pdf"},{"key":"17_CR14","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Fraire, J.A., Hartmanns, A., Raverta, F.: Comparing statistical and analytical routing approaches for delay-tolerant networks (artifact). 4TU.ResearchData (2022). https:\/\/doi.org\/10.4121\/20334687","DOI":"10.4121\/20334687"},{"issue":"4","key":"17_CR15","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10009-015-0383-0","volume":"17","author":"P D\u2019Argenio","year":"2015","unstructured":"D\u2019Argenio, P., Legay, A., Sedwards, S., Traonouez, L.-M.: Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17(4), 469\u2013484 (2015). https:\/\/doi.org\/10.1007\/s10009-015-0383-0","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"17_CR16","doi-asserted-by":"publisher","unstructured":"Dehnert, C., Junges, S., Katoen, JP., Volk, M.: A STORM is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-030-55754-6_17","volume-title":"NASA Formal Methods","author":"PR D\u2019Argenio","year":"2020","unstructured":"D\u2019Argenio, P.R., Fraire, J.A., Hartmanns, A.: Sampling distributed schedulers for resilient space communication. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 291\u2013310. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_17"},{"key":"17_CR18","doi-asserted-by":"publisher","unstructured":"Fall, K.: A delay-tolerant network architecture for challenged internets. In: Proceedings of the 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, SIGCOMM 2003, pp. 27\u201334. ACM, New York (2003). https:\/\/doi.org\/10.1145\/863955.863960","DOI":"10.1145\/863955.863960"},{"key":"17_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4054-9","volume-title":"Competitive Markov Decision Processes","author":"J Filar","year":"1996","unstructured":"Filar, J., Vrieze, K.: Competitive Markov Decision Processes. Springer-Verlag, Heidelberg (1996). https:\/\/doi.org\/10.1007\/978-1-4612-4054-9"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Fraire, J., Gasparini, E.: Centralized and decentralized routing solutions for present and future space information networks. IEEE communication Magazine, SI on Space Information Networks: Technological Challenges, Design Issues and Solutions (2021, in Press)","DOI":"10.1109\/MNET.011.2100102"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Fraire, J.A., Feldmann, M., Burleigh, S.C.: Benefits and challenges of cross-linked ring road satellite networks: a case study. In: 2017 IEEE International Conference on Communications (ICC), pp. 1\u20137 (2017)","DOI":"10.1109\/ICC.2017.7996778"},{"issue":"5","key":"17_CR22","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/MCOM.2015.7105656","volume":"53","author":"JA Fraire","year":"2015","unstructured":"Fraire, J.A., Finochietto, J.M.: Design challenges in contact plans for disruption-tolerant satellite networks. IEEE Commun. Mag. 53(5), 163\u2013169 (2015). https:\/\/doi.org\/10.1109\/MCOM.2015.7105656","journal-title":"IEEE Commun. Mag."},{"key":"17_CR23","doi-asserted-by":"publisher","DOI":"10.1155\/2017\/2830542","author":"JA Fraire","year":"2017","unstructured":"Fraire, J.A., et al.: Assessing contact graph routing performance and reliability in distributed satellite constellations. Hindawi J. Comput. Netw. Commun. (2017). https:\/\/doi.org\/10.1155\/2017\/2830542","journal-title":"Hindawi J. Comput. Netw. Commun."},{"key":"17_CR24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2020.102884","volume":"174","author":"JA Fraire","year":"2021","unstructured":"Fraire, J.A., De Jonck\u00e8re, O., Burleigh, S.C.: Routing in the space internet: a contact graph routing tutorial. J. Netw. Comput. Appl. 174, 102884 (2021). https:\/\/doi.org\/10.1016\/j.jnca.2020.102884","journal-title":"J. Netw. Comput. Appl."},{"key":"17_CR25","unstructured":"Giro, S.: On the Automatic Verification of Distributed Probabilistic Automata with Partial Information. Ph.D. thesis, Universidad Nacional de C\u00f3rdoba, Argentina (2010)"},{"key":"17_CR26","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.tcs.2013.07.017","volume":"538","author":"S Giro","year":"2014","unstructured":"Giro, S., D\u2019Argenio, P.R., Fioriti, L.M.F.: Distributed probabilistic input\/output automata: expressiveness, (un)decidability and algorithms. Theor. Comput. Sci. 538, 84\u2013102 (2014). https:\/\/doi.org\/10.1016\/j.tcs.2013.07.017","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"17_CR27","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1109\/COMST.2015.2495297","volume":"18","author":"L Gupta","year":"2015","unstructured":"Gupta, L., Jain, R., Vaszkun, G.: Survey of important issues in UAV communication networks. IEEE Commun. Surv. Tutor. 18(2), 1123\u20131152 (2015)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"17_CR28","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2016.12.003","volume":"735","author":"S Haddad","year":"2018","unstructured":"Haddad, S., Monmege, B.: Interval iteration algorithm for MDPs and IMDPs. Theor. Comput. Sci. 735, 111\u2013131 (2018). https:\/\/doi.org\/10.1016\/j.tcs.2016.12.003","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"17_CR29","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10703-012-0167-z","volume":"43","author":"EM Hahn","year":"2013","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.P.: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. 43(2), 191\u2013232 (2013). https:\/\/doi.org\/10.1007\/s10703-012-0167-z","journal-title":"Formal Methods Syst. Des."},{"key":"17_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The Modest Toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_51"},{"key":"17_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-030-53291-8_26","volume-title":"Computer Aided Verification","author":"A Hartmanns","year":"2020","unstructured":"Hartmanns, A., Kaminski, B.L.: Optimistic value iteration. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020, Part II. LNCS, vol. 12225, pp. 488\u2013511. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_26"},{"key":"17_CR32","doi-asserted-by":"publisher","unstructured":"Hom, J., Good, L., Yang, S.: A survey of social-based routing protocols in delay tolerant networks. In: 2017 International Conference on Computing, Networking and Communications (ICNC), pp. 788\u2013792, January 2017. https:\/\/doi.org\/10.1109\/ICCNC.2017.7876231","DOI":"10.1109\/ICCNC.2017.7876231"},{"issue":"5","key":"17_CR33","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1109\/TR.1981.5221152","volume":"30","author":"C Hwang","year":"1981","unstructured":"Hwang, C., Tillman, F.A., Lee, M.: System-reliability evaluation techniques for complex\/large systems: a review. IEEE Trans. Reliab. 30(5), 416\u2013423 (1981)","journal-title":"IEEE Trans. Reliab."},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Jenkins, A., Kuzminsky, S., Gifford, K.K., Pitts, R.L., Nichols, K.: DTN: flight test results from the international space station. In: 2010 IEEE Aerospace Conference, pp. 1\u20138, March 2010","DOI":"10.1109\/AERO.2010.5446948"},{"key":"17_CR35","unstructured":"Kalaputapu, R., Demetsky, M.J.: Modeling schedule deviations of buses using automatic vehicle-location data and artificial neural networks. In: Transportation Research Record, pp. 44\u201352 (1995)"},{"key":"17_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"17_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-319-15201-1_23","volume-title":"Software Engineering and Formal Methods","author":"A Legay","year":"2015","unstructured":"Legay, A., Sedwards, S., Traonouez, L.-M.: Scalable verification of Markov decision processes. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 350\u2013362. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15201-1_23"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Madoery, P., Raverta, F., Fraire, J., Finochietto, J.: On the performance analysis of disruption tolerant satellite networks under uncertainties. In: Proceedings of the 2017 XVII RPIC Workshop, September 2017","DOI":"10.23919\/RPIC.2017.8214346"},{"key":"17_CR39","doi-asserted-by":"publisher","unstructured":"Madoery, P.G., Raverta, F.D., Fraire, J.A., Finochietto, J.M.: Routing in space delay tolerant networks under uncertain contact plans. In: 2018 IEEE International Conference on Communications (ICC), pp. 1\u20136, May 2018. https:\/\/doi.org\/10.1109\/ICC.2018.8422917","DOI":"10.1109\/ICC.2018.8422917"},{"issue":"4","key":"17_CR40","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/1347364.1347372","volume":"11","author":"J Partan","year":"2007","unstructured":"Partan, J., Kurose, J., Levine, B.N.: A survey of practical issues in underwater networks. SIGMOBILE Mob. Comput. Commun. Rev. 11(4), 23\u201333 (2007). https:\/\/doi.org\/10.1145\/1347364.1347372","journal-title":"SIGMOBILE Mob. Comput. Commun. Rev."},{"key":"17_CR41","doi-asserted-by":"crossref","unstructured":"P\u00f6ttner, W.B., Morgenroth, J., Schildt, S., Wolf, L.: Performance comparison of DTN bundle protocol implementations. In: Proceedings of the 6th ACM Workshop on Challenged Networks, pp. 61\u201364. ACM (2011)","DOI":"10.1145\/2030652.2030670"},{"key":"17_CR42","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"ML Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1st edn. Wiley, New York (1994)","edition":"1"},{"key":"17_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/978-3-319-96145-3_37","volume-title":"Computer Aided Verification","author":"T Quatmann","year":"2018","unstructured":"Quatmann, T., Katoen, J.-P.: Sound value iteration. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018, Part I. LNCS, vol. 10981, pp. 643\u2013661. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96145-3_37"},{"key":"17_CR44","doi-asserted-by":"publisher","unstructured":"Raverta, F.D., Demasi, R., Madoery, P.G., Fraire, J.A., Finochietto, J.M., D\u2019Argenio, P.R.: A Markov decision process for routing in space DTNs with uncertain contact plans. In: 2018 6th IEEE International Conference on Wireless for Space and Extreme Environments (WiSEE), pp. 189\u2013194, December2018. https:\/\/doi.org\/10.1109\/WiSEE.2018.8637330","DOI":"10.1109\/WiSEE.2018.8637330"},{"key":"17_CR45","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2021.102663","volume":"123","author":"FD Raverta","year":"2021","unstructured":"Raverta, F.D., Fraire, J.A., Madoery, P.G., Demasi, R.A., Finochietto, J.M., D\u2019Argenio, P.R.: Routing in delay-tolerant networks under uncertain contact plans. Ad Hoc Netw. 123, 102663 (2021). https:\/\/doi.org\/10.1016\/j.adhoc.2021.102663","journal-title":"Ad Hoc Netw."},{"key":"17_CR46","doi-asserted-by":"crossref","unstructured":"Sahai, A., Tandra, R., Mishra, S.M., Hoven, N.: Fundamental design tradeoffs in cognitive radio systems. In: Proceedings of the First International Workshop on Technology and Policy for Accessing Spectrum, p. 2. ACM (2006)","DOI":"10.1145\/1234388.1234390"},{"key":"17_CR47","unstructured":"Scott, K., Burleigh, S.: Bundle protocol specification. RFC 5050, RFC Editor, November 2007. http:\/\/www.rfc-editor.org\/rfc\/rfc5050.txt"},{"key":"17_CR48","doi-asserted-by":"publisher","unstructured":"Wyatt, J., Burleigh, S., Jones, R., Torgerson, L., Wissler, S.: Disruption tolerant networking flight validation experiment on NASA\u2019s EPOXI mission. In: First International Conference on Advances in Satellite and Space Communications, 2009. SPACOMM 2009, pp. 187\u2013196, July 2009. https:\/\/doi.org\/10.1109\/SPACOMM.2009.39","DOI":"10.1109\/SPACOMM.2009.39"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16336-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:04:30Z","timestamp":1662833070000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16336-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031163357","9783031163364"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16336-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest.org\/qest2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}