{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T19:49:20Z","timestamp":1777578560011,"version":"3.51.4"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031331695","type":"print"},{"value":"9783031331701","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-33170-1_19","type":"book-chapter","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T12:55:27Z","timestamp":1685710527000},"page":"312-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Formalising Liveness Properties in\u00a0Event-B with\u00a0the\u00a0Reflexive EB4EB Framework"],"prefix":"10.1007","author":[{"given":"P.","family":"Rivi\u00e8re","sequence":"first","affiliation":[]},{"given":"N. K.","family":"Singh","sequence":"additional","affiliation":[]},{"given":"Y.","family":"A\u00eft-Ameur","sequence":"additional","affiliation":[]},{"given":"G.","family":"Dupont","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,3]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"19_CR2","doi-asserted-by":"publisher","unstructured":"A\u00eft Ameur, Y. et al.: Empowering the Event-B method using external theories. In: ter Beek, M.H., Monahan, R. (eds.) Integrated Formal Methods. IFM 2022. LNCS, vol. 13274, pp. 18\u201335. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07727-2_2","DOI":"10.1007\/978-3-031-07727-2_2"},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL . In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. SFM-RT 2004. LNCS, vol. 3185. Springer, Berlin, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"19_CR4","doi-asserted-by":"publisher","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development - Coq\u2019Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series. Springer Berlin, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-662-07964-5","DOI":"10.1007\/978-3-662-07964-5"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-54834-3_23","volume-title":"VDM\u201991 Formal Software Development Methods","author":"JC Bicarregui","year":"1991","unstructured":"Bicarregui, J.C., Ritchie, B.: Reasoning about VDM developments using the VDM support tool in mural. In: Prehn, S., Toetenel, W.J. (eds.) VDM 1991. LNCS, vol. 551, pp. 371\u2013388. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3-540-54834-3_23"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-030-77543-8_5","volume-title":"Rigorous State-Based Methods","author":"J-P Bodeveix","year":"2021","unstructured":"Bodeveix, J.-P., Filali, M.: Event-B formalization of Event-B contexts. In: Raschke, A., M\u00e9ry, D. (eds.) ABZ 2021. LNCS, vol. 12709, pp. 66\u201380. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-77543-8_5"},{"key":"19_CR7","first-page":"30","volume":"106","author":"J Bodeveix","year":"2015","unstructured":"Bodeveix, J., Filali, M., Garnacho, M., Spadotti, R., Yang, Z.: Towards a verified transformation from AADL to the formal component-based language FIACRE. Elsevier SCP 106, 30\u201353 (2015)","journal-title":"Elsevier SCP"},{"key":"19_CR8","doi-asserted-by":"publisher","unstructured":"Butler, M., et al.: Formal modelling techniques for efficient development of railway control products. In: Fantechi, A., Lecomte, T., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2017. LNCS, vol. 10598, pp. 71\u201386. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68499-4_5","DOI":"10.1007\/978-3-319-68499-4_5"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-030-58298-2_8","volume-title":"Formal Methods for Industrial Critical Systems","author":"M Butler","year":"2020","unstructured":"Butler, M., et al.: The first twenty-five years of industrial use of the B-Method. In: ter Beek, M.H., Ni\u010dkovi\u0107, D. (eds.) FMICS 2020. LNCS, vol. 12327, pp. 189\u2013209. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58298-2_8"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-39698-4_5","volume-title":"Theories of Programming and Formal Methods","author":"M Butler","year":"2013","unstructured":"Butler, M., Maamria, I.: Practical theory extension in Event-B. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 67\u201381. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39698-4_5"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-981-15-5054-6_8","volume-title":"Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems","author":"P Cast\u00e9ran","year":"2021","unstructured":"Cast\u00e9ran, P.: An explicit semantics for event-b refinements. In: Ait-Ameur, Y., Nakajima, S., M\u00e9ry, D. (eds.) Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, pp. 155\u2013173. Springer, Singapore (2021). https:\/\/doi.org\/10.1007\/978-981-15-5054-6_8"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., et al.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Dupont, G., A\u00eft Ameur, Y., Singh, N.K., Pantel, M.: Event-B hybridation: a proof and refinement-based framework for modelling hybrid systems. ACM TECS 20(4), 35:1\u201335:37 (2021)","DOI":"10.1145\/3448270"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Ebner, G., Ullrich, S., Roesch, J., Avigad, J., de Moura, L.: A metaprogramming framework for formal verification. ACM PACMPL 1(ICFP), 34:1\u201334:29 (2017)","DOI":"10.1145\/3110278"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-319-22102-1_11","volume-title":"Interactive Theorem Proving","author":"B Fallenstein","year":"2015","unstructured":"Fallenstein, B., Kumar, R.: Proof-producing reflection for HOL. In: Urban, C., Zhang, X. (eds.) ITP 2015. LNCS, vol. 9236, pp. 170\u2013186. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22102-1_11"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-72044-9_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M Farrell","year":"2017","unstructured":"Farrell, M., Monahan, R., Power, J.F.: An institution for Event-B. In: James, P., Roggenbach, M. (eds.) WADT 2016. LNCS, vol. 10644, pp. 104\u2013119. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72044-9_8"},{"key":"19_CR17","doi-asserted-by":"publisher","unstructured":"Farrell, M., Monahan, R., Power, J.F.: Building specifications in the Event-B institution. Log.Methods Comput. Sci. 18(4) (2022). https:\/\/doi.org\/10.46298\/lmcs-18(4:4)2022","DOI":"10.46298\/lmcs-18(4:4)2022"},{"key":"19_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102477","volume":"196","author":"A Halchin","year":"2020","unstructured":"Halchin, A., Ameur, Y.A., Singh, N.K., Ordioni, J., Feliachi, A.: Handling B models in the PERF integrated verification framework: formalised and certified embedding. Sci. Comput. Program. Elsevier 196, 102477 (2020)","journal-title":"Sci. Comput. Program. Elsevier"},{"key":"19_CR19","first-page":"144","volume":"94","author":"S Hallerstede","year":"2014","unstructured":"Hallerstede, S., Hoang, T.S.: Refinement of decomposed models by interface instantiation. Elsevier SCP 94, 144\u2013163 (2014)","journal-title":"Elsevier SCP"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1007\/978-3-642-24559-6_31","volume-title":"Formal Methods and Software Engineering","author":"TS Hoang","year":"2011","unstructured":"Hoang, T.S., Abrial, J.-R.: Reasoning about liveness properties in Event-B. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 456\u2013471. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24559-6_31"},{"issue":"6","key":"19_CR21","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1007\/s00165-016-0376-0","volume":"28","author":"TS Hoang","year":"2016","unstructured":"Hoang, T.S., Schneider, S., Treharne, H., Williams, D.M.: Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. 28(6), 909\u2013935 (2016). https:\/\/doi.org\/10.1007\/s00165-016-0376-0","journal-title":"Formal Aspects Comput."},{"key":"19_CR22","unstructured":"Holzmann, G.: Spin Model Checker, The: Primer and Reference Manual, first edn. Addison-Wesley Professional, Boston (2003)"},{"key":"19_CR23","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"},{"issue":"2","key":"19_CR24","first-page":"125","volume":"3","author":"L Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE TSE 3(2), 125\u2013143 (1977)","journal-title":"IEEE TSE"},{"key":"19_CR25","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)"},{"key":"19_CR26","unstructured":"Leroy, X., Blazy, S., K\u00e4stner, D., Schommer, B., Pister, M., Ferdinand, C.: CompCert - a formally verified optimizing compiler. In: Embedded Real Time Software and Systems (ERTS). SEE (2016)"},{"issue":"2","key":"19_CR27","first-page":"185","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. Springer Int. J. STTT 10(2), 185\u2013203 (2008)","journal-title":"Springer Int. J. STTT"},{"issue":"3","key":"19_CR28","first-page":"257","volume":"4","author":"Z Manna","year":"1984","unstructured":"Manna, Z., Pnueli, A.: Adequate proof principles for invariance and liveness properties of concurrent programs. Elsevier SCP 4(3), 257\u2013289 (1984)","journal-title":"Elsevier SCP"},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"Mendil, I., Riviere, P., Ameur, Y.A., Singh, N.K., M\u00e9ry, D., Palanque, P.A.: Non-intrusive annotation-based domain-specific analysis to certify event-b models behaviours. In: 29th Asia-Pacific Software Engineering Conference, APSEC, pp. 129\u2013138. IEEE (2022)","DOI":"10.1109\/APSEC57359.2022.00025"},{"issue":"4","key":"19_CR30","first-page":"1083","volume":"16","author":"D M\u00e9ry","year":"2017","unstructured":"M\u00e9ry, D., Poppleton, M.: Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. SoSyM 16(4), 1083\u20131115 (2017)","journal-title":"SoSyM"},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"Mitra, S., Archer, M.: PVS strategies for proving abstraction properties of automata. In: International Workshop on Strategies in Automated Deduction. ENTCS, vol. 125, pp. 45\u201365. Elsevier (2004)","DOI":"10.1016\/j.entcs.2005.01.005"},{"key":"19_CR32","doi-asserted-by":"publisher","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C.: Isabelle\/HOL - A Proof Assistant for Higher-Order Logic, LNCS, vol. 2283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9","DOI":"10.1007\/3-540-45949-9"},{"key":"19_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction\u2014CADE-11","author":"S Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748\u2013752. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55602-8_217"},{"key":"19_CR34","unstructured":"Paul van der Walt: Reflection in Agda. Master\u2019s thesis, University of Utrecht, Department of Computing Science (2012)"},{"key":"19_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 151\u2013166. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0054170"},{"key":"19_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-24773-9_9","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"E Riccobene","year":"2004","unstructured":"Riccobene, E., Scandurra, P.: Towards an interchange language for ASMs. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 111\u2013126. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24773-9_9"},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"Riviere, P., Singh, N.K., A\u00eft Ameur, Y.: EB4EB: a framework for reflexive Event-B. In: International Conference on Engineering of Complex Computer Systems, ICECCS 2022, pp. 71\u201380. IEEE (2022)","DOI":"10.1109\/ICECCS54210.2022.00017"},{"key":"19_CR38","doi-asserted-by":"crossref","unstructured":"Riviere, P., Singh, N.K., A\u00eft Ameur, Y.: Reflexive Event-B: semantics and correctness the EB4EB framework. IEEE Transactions on Reliability, pp. 1\u201316 (2022)","DOI":"10.1109\/TR.2022.3219649"},{"key":"19_CR39","doi-asserted-by":"publisher","unstructured":"Riviere, P., Singh, N.K., A\u00eft Ameur, Y., Dupont, G.: Standalone Event-B models analysis relying on the EB4EB meta-theory. In: Gl\u00e4sser, U., Campos, J.C., M\u00e9ry, D., Palanque, P. (eds.) International Conference on Rigorous State Based Methods, ABZ 2023. LNCS, vol. 14010. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33163-3_15","DOI":"10.1007\/978-3-031-33163-3_15"},{"key":"19_CR40","doi-asserted-by":"publisher","unstructured":"Singh, N.K.: Using Event-B for Critical Device Software Systems. Springer, London (2013). https:\/\/doi.org\/10.1007\/978-1-4471-5260-6","DOI":"10.1007\/978-1-4471-5260-6"},{"issue":"5","key":"19_CR41","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1007\/s10817-019-09540-0","volume":"64","author":"M Sozeau","year":"2020","unstructured":"Sozeau, M., et al.: The MetaCoq project. Springer J. Autom. Reason. 64(5), 947\u2013999 (2020)","journal-title":"Springer J. Autom. Reason."},{"issue":"2","key":"19_CR42","first-page":"141","volume":"19","author":"W Su","year":"2017","unstructured":"Su, W., Abrial, J.: Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system. Springer Int. J. STTT 19(2), 141\u2013166 (2017)","journal-title":"Springer Int. J. STTT"},{"key":"19_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: towards flexible verification under fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 709\u2013714. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_59"},{"key":"19_CR44","volume":"225","author":"C Zhu","year":"2023","unstructured":"Zhu, C., Butler, M., Cirstea, C., Hoang, T.S.: A fairness-based refinement strategy to transform liveness properties in Event-B models. Elsevier SCP 225, 102907 (2023)","journal-title":"Elsevier SCP"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-33170-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T12:58:35Z","timestamp":1685710715000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-33170-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031331695","9783031331701"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-33170-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"3 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Houston, TX","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 May 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/nfm-2023","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":"75","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":"26","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":"3","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":"35% - 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.9","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":"6","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)"}}]}}