{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:29:42Z","timestamp":1772836182083,"version":"3.50.1"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030598532","type":"print"},{"value":"9783030598549","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-59854-9_6","type":"book-chapter","created":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T23:02:42Z","timestamp":1604358162000},"page":"54-73","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Probabilistic Model Checking of AODV"],"prefix":"10.1007","author":[{"given":"Mojgan","family":"Kamali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,3]]},"reference":[{"issue":"1","key":"6_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\u20136:39 (2018)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1109\/COMST.2015.2420686","volume":"17","author":"MA Alsheikh","year":"2015","unstructured":"Alsheikh, M.A., Hoang, D.T., Niyato, D., Tan, H.P., Lin, S.: Markov decision processes with applications in wireless sensor networks: a survey. IEEE Commun. Surv. Tutor. 17(3), 1239\u20131267 (2015)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-29280-4_36","volume-title":"Advanced Computing, Networking and Security","author":"A Biswas","year":"2012","unstructured":"Biswas, A., Saha, B., Guha, S.: Performance analysis of AODV and DSR routing protocols for Ad-Hoc networks. In: Thilagam, P.S., Pais, A.R., Chandrasekaran, K., Balakrishnan, N. (eds.) ADCONS 2011. LNCS, vol. 7135, pp. 297\u2013305. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29280-4_36"},{"issue":"10","key":"6_CR5","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"HC Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H.C., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.: MODEST: a compositional modeling formalism for hard and softly timed systems. IEEE Trans. Software Eng. 32(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. Software Eng."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Cavin, D., Sasson, Y., Schiper, A.: On the accuracy of MANET simulators. In: POMC, pp. 38\u201343. ACM (2002)","DOI":"10.1145\/584490.584499"},{"key":"6_CR7","unstructured":"Chakeres, I.D., Belding-Royer, E.M.: AODV routing protocol implementation design. In: Proceedings of the 24th International Conference on Distributed Computing Systems Workshops, 2004, pp. 698\u2013703 (2004)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Chaudhary, K., Fehnker, A., Mehta, V.: Modelling, verification, and comparative performance analysis of the B.A.T.M.A.N. protocol. In: MARS, EPTCS, vol. 244, pp. 53\u201365 (2017)","DOI":"10.4204\/EPTCS.244.3"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/j.procs.2016.03.108","volume":"79","author":"A Chavan","year":"2016","unstructured":"Chavan, A., Kurule, D., Dere, P.: Performance analysis of AODV and DSDV routing protocol in MANET and modifications in AODV against black hole attack. Procedia Comput. Sci. 79, 835\u2013844 (2016)","journal-title":"Procedia Comput. Sci."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11494881_20","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"S Chiyangwa","year":"2005","unstructured":"Chiyangwa, S., Kwiatkowska, M.: A timing analysis of AODV. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 306\u2013321. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11494881_20"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-319-17524-9_9","volume-title":"NASA Formal Methods","author":"A Dal Corso","year":"2015","unstructured":"Dal Corso, A., Macedonio, D., Merro, M.: Statistical model checking of ad hoc routing protocols in lossy grid networks. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 112\u2013126. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17524-9_9"},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Tech. Trans. 17(4), 397\u2013415 (2015)","journal-title":"Int. J. Softw. Tools Tech. Trans."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Dombrowski, C., Junges, S., Katoen, J., Gross, J.: Model-checking assisted protocol design for ultra-reliable low-latency wireless networks. In: IEEE 35th Symposium on Reliable Distributed Systems (SRDS), pp. 307\u2013316. IEEE (2016)","DOI":"10.1109\/SRDS.2016.048"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-28756-5_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Fehnker","year":"2012","unstructured":"Fehnker, A., van Glabbeek, R., H\u00f6fner, P., McIver, A., Portmann, M., Tan, W.L.: Automated analysis of AODV using UPPAAL. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 173\u2013187. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_13"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-73210-5_14","volume-title":"Integrated Formal Methods","author":"A Fehnker","year":"2007","unstructured":"Fehnker, A., van Hoesel, L., Mader, A.: Modelling and verification of the LMAC protocol for wireless sensor networks. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 253\u2013272. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73210-5_14"},{"key":"6_CR16","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-981-10-3935-5_34","volume-title":"Computing and Network Sustainability","author":"S Garg","year":"2017","unstructured":"Garg, S., Verma, A.K.: Simulation and comparison of AODV variants under different mobility models in MANETs. In: Vishwakarma, H.R., Akashe, S. (eds.) Computing and Network Sustainability. LNNS, vol. 12, pp. 333\u2013342. Springer, Singapore (2017). https:\/\/doi.org\/10.1007\/978-981-10-3935-5_34"},{"issue":"4","key":"6_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00446-015-0262-7","volume":"29","author":"R van Glabbeek","year":"2016","unstructured":"van Glabbeek, R., H\u00f6fner, P., Portmann, M., Tan, W.L.: Modelling and verifying the AODV routing protocol. Distrib. Comput. 29(4), 279\u2013315 (2016). https:\/\/doi.org\/10.1007\/s00446-015-0262-7","journal-title":"Distrib. Comput."},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-77096-1_13","volume-title":"Principles of Distributed Systems","author":"C Gro\u00df","year":"2007","unstructured":"Gro\u00df, C., Hermanns, H., Pulungan, R.: Does clock precision influence Zigbee\u2019s energy consumptions? In: Tovar, E., Tsigas, P., Fouchal, H. (eds.) OPODIS 2007. LNCS, vol. 4878, pp. 174\u2013188. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-77096-1_13"},{"issue":"2","key":"6_CR19","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. Design 43(2), 191\u2013232 (2013). https:\/\/doi.org\/10.1007\/s10703-012-0167-z","journal-title":"Formal Methods Syst. Design"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Hartmanns, A., Hermanns, H.: A Modest approach to checking probabilistic timed automata. In: QEST, pp. 187\u2013196. IEEE (2009)","DOI":"10.1109\/QEST.2009.41"},{"key":"6_CR21","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":"6_CR22","first-page":"60","volume":"3","author":"J Hoebeke","year":"2004","unstructured":"Hoebeke, J., Moerman, I., Dhoedt, B., Demeester, P.: An overview of mobile ad hoc networks: applications and challenges. Commun. Netw. 3, 60\u201366 (2004)","journal-title":"Commun. Netw."},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-642-38088-4_22","volume-title":"NASA Formal Methods","author":"P H\u00f6fner","year":"2013","unstructured":"H\u00f6fner, P., McIver, A.: Statistical model checking of wireless mesh routing protocols. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 322\u2013336. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38088-4_22"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-40229-6_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"P H\u00f6fner","year":"2013","unstructured":"H\u00f6fner, P., Kamali, M.: Quantitative analysis of AODV and its variants on dynamic topologies using statistical model checking. In: Braberman, V., Fribourg, L. (eds.) FORMATS 2013. LNCS, vol. 8053, pp. 121\u2013136. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40229-6_9"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-030-02146-7_9","volume-title":"Formal Aspects of Component Software","author":"M Kamali","year":"2018","unstructured":"Kamali, M., Fehnker, A.: Adaptive formal framework for WMN routing protocols. In: Bae, K., \u00d6lveczky, P.C. (eds.) FACS 2018. LNCS, vol. 11222, pp. 175\u2013195. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02146-7_9"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-22969-0_13","volume-title":"Software Engineering and Formal Methods","author":"M Kamali","year":"2015","unstructured":"Kamali, M., H\u00f6fner, P., Kamali, M., Petre, L.: Formal analysis of proactive, distributed routing. In: Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9276, pp. 175\u2013189. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22969-0_13"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-319-73117-9_24","volume-title":"SOFSEM 2018: Theory and Practice of Computer Science","author":"M Kamali","year":"2018","unstructured":"Kamali, M., Merro, M., Dal Corso, A.: AODVv2: performance vs. loop freedom. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 337\u2013350. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73117-9_24"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Katoen, J.: The probabilistic model checking landscape. In: LICS, pp. 31\u201345. ACM (2016)","DOI":"10.1145\/2933575.2934574"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Kolipaka, S., Bhandari, B.N., Rajani, A.: Performance analysis of AODV with multi-radio in hybrid wireless mesh network. In: Eleventh International Conference on Wireless and Optical Communications Networks (WOCN), pp. 1\u20135. IEEE (2014)","DOI":"10.1109\/WOCN.2014.6923087"},{"issue":"2","key":"6_CR30","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1109\/TNET.2005.845533","volume":"13","author":"BJ Kwak","year":"2005","unstructured":"Kwak, B.J., Song, N.O., Miller, L.E.: Performance analysis of exponential backoff. IEEE\/ACM Trans. Network. 13(2), 343\u2013355 (2005)","journal-title":"IEEE\/ACM Trans. Network."},{"issue":"1","key":"6_CR31","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"MZ Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M.Z., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(1), 101\u2013150 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"6_CR32","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1109\/TPDS.2006.54","volume":"17","author":"J Misic","year":"2006","unstructured":"Misic, J., Shafi, S., Misic, V.B.: Performance of a beacon enabled IEEE 802.15.4 cluster with downlink and uplink traffic. IEEE Trans. Parallel Distrib. Syst. 17(4), 361\u2013376 (2006)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"1274","DOI":"10.1016\/j.procs.2016.04.266","volume":"83","author":"R Negra","year":"2016","unstructured":"Negra, R., Jemili, I., Belghith, A.: Wireless body area networks: applications and technologies. Procedia Comput. Sci. 83, 1274\u20131281 (2016)","journal-title":"Procedia Comput. Sci."},{"key":"6_CR34","unstructured":"Neumann, A., Aichele, C., Lindner, M., Wunderlich, S.: Better approach to mobile ad-hoc networking (BATMAN). Internet draft00 (2008). https:\/\/tools.ietf.org\/html\/draft-wunderlich-openmesh-manet-routing-00"},{"issue":"2","key":"6_CR35","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/s10703-012-0177-x","volume":"43","author":"G Norman","year":"2013","unstructured":"Norman, G., Parker, D., Sproston, J.: Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2), 164\u2013190 (2013). https:\/\/doi.org\/10.1007\/s10703-012-0177-x","journal-title":"Formal Methods Syst. Des."},{"key":"6_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9218-5_6","volume-title":"Applied System Simulation","author":"MS Obaidat","year":"2003","unstructured":"Obaidat, M.S., Green, D.B.: Simulation of wireless networks. In: Obaidat, M.S., Papadimitriou, G.I. (eds.) Applied System Simulation. Springer, Boston (2003). https:\/\/doi.org\/10.1007\/978-1-4419-9218-5_6"},{"key":"6_CR37","unstructured":"Perkins, C., Stan, R., Dowdell, J., Steenbrink, L., Mercieca, V.: DynamicMANET On-demand (AODVv2) Routing draft-ietf-manet-aodvv2. Internet Draft 2016 (2016)"},{"key":"6_CR38","unstructured":"Perkins, C., Belding-Royer, E., Das, S.: Ad hoc on-demand distance vector (AODV) routing. RFC 3561 (2003). https:\/\/www.ietf.org\/rfc\/rfc3561"},{"key":"6_CR39","unstructured":"Perkins, C., Stan, R., Dowdell, J.: Dynamic manet on-demand (AODVv2) routing draft-ietf-manet-dymo. Internat draft26 (2013). https:\/\/tools.ietf.org\/html\/draft-ietf-manet-dymo-26"},{"key":"6_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/978-3-319-96142-2_27","volume-title":"Computer Aided Verification","author":"D Schemmel","year":"2018","unstructured":"Schemmel, D., B\u00fcning, J., Soria Dustmann, O., Noll, T., Wehrle, K.: Symbolic liveness analysis of real-world software. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10982, pp. 447\u2013466. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96142-2_27"},{"key":"6_CR41","unstructured":"Shao, C., Hui, D., Pazhyannur, R., Bari, F., Zhang, R., Matsushima, S.: IEEE 802.11 medium access control (MAC) profile for control and provisioning of wireless access points (CAPWAP). RFC 7494 (2015). https:\/\/tools.ietf.org\/html\/rfc7494"},{"issue":"2","key":"6_CR42","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/SURV.2011.020211.00036","volume":"14","author":"P Suriyachai","year":"2012","unstructured":"Suriyachai, P., Roedig, U., Scott, A.: A survey of MAC protocols for mission-critical applications in wireless sensor networks. IEEE Commun. Surv. Tutor. 14(2), 240\u2013264 (2012)","journal-title":"IEEE Commun. Surv. Tutor."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-59854-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,17]],"date-time":"2020-12-17T16:12:47Z","timestamp":1608221567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-59854-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030598532","9783030598549"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-59854-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"3 November 2020","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":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.qest.org\/qest2020\/","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":"42","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":"12","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":"7","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":"29% - 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,10","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":"4,06","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)"}}]}}