{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:22:24Z","timestamp":1776316944178,"version":"3.50.1"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031308284","type":"print"},{"value":"9783031308291","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:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,4,21]],"date-time":"2023-04-21T00:00:00Z","timestamp":1682035200000},"content-version":"vor","delay-in-days":110,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Active automata learning has been a successful technique to learn the behaviour of state-based systems by interacting with them through queries. In this paper, we develop a compositional algorithm for active automata learning in which systems comprising interleaving parallel components are learned compositionally. Our algorithm automatically learns the structure of systems while learning the behaviour of the components. We prove that our approach is sound and that it learns a maximal set of interleaving parallel components. We empirically evaluate the effectiveness of our approach and show that our approach requires significantly fewer numbers of input symbols and resets while learning systems. Our empirical evaluation is based on a large number of subject systems obtained from a case study in the automotive domain.<\/jats:p>","DOI":"10.1007\/978-3-031-30829-1_20","type":"book-chapter","created":{"date-parts":[[2023,4,20]],"date-time":"2023-04-20T19:56:19Z","timestamp":1682020579000},"page":"413-435","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Compositional Learning for Interleaving Parallel Automata"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8812-6702","authenticated-orcid":false,"given":"Faezeh","family":"Labbaf","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2196-6587","authenticated-orcid":false,"given":"Jan Friso","family":"Groote","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4743-8750","authenticated-orcid":false,"given":"Hossein","family":"Hojjat","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4869-6794","authenticated-orcid":false,"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,4,21]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","unstructured":"Aarts, F., de\u00a0Ruiter, J., Poll, E.: Formal models of bank cards for free. In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pp. 461\u2013468. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/ICSTW.2013.60","DOI":"10.1109\/ICSTW.2013.60"},{"key":"20_CR2","doi-asserted-by":"publisher","unstructured":"Aarts, F., Schmaltz, J., Vaandrager, F.W.: Inference and abstraction of the biometric passport. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Lecture Notes in Computer Science, vol.\u00a06415, pp. 673\u2013686. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16558-0_54","DOI":"10.1007\/978-3-642-16558-0_54"},{"key":"20_CR3","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., Tappler, M.: Efficient active automata learning via mutation testing. Journal of Automated Reasoning 63(4), 1103\u20131134 (2019). https:\/\/doi.org\/10.1007\/s10817-018-9486-0","DOI":"10.1007\/s10817-018-9486-0"},{"key":"20_CR4","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., Tappler, M., Wallner, F.: Benchmarking combinations of learning and testing algorithms for active automata learning. In: Ahrendt, W., Wehrheim, H. (eds.) Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]. Lecture Notes in Computer Science, vol. 12165, pp. 3\u201322. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-50995-8_1","DOI":"10.1007\/978-3-030-50995-8_1"},{"key":"20_CR5","doi-asserted-by":"publisher","unstructured":"An, J., Chen, M., Zhan, B., Zhan, N., Zhang, M.: Learning one-clock timed automata. In: Biere, A., Parker, D. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. pp. 444\u2013462. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45190-5_25","DOI":"10.1007\/978-3-030-45190-5_25"},{"key":"20_CR6","doi-asserted-by":"publisher","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987). https:\/\/doi.org\/10.1016\/0890-5401(87)90052-6","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"20_CR7","doi-asserted-by":"publisher","unstructured":"Broy, M., Jonsson, B., Katoen, J., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004], Lecture Notes in Computer Science, vol.\u00a03472. Springer (2005). https:\/\/doi.org\/10.1007\/b137241","DOI":"10.1007\/b137241"},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Cifuentes, C., Simon, D.: Procedure abstraction recovery from binary code. In: Proceedings of the Fourth European Conference on Software Maintenance and Reengineering. pp. 55\u201364. IEEE (2000). https:\/\/doi.org\/10.1109\/CSMR.2000.827306","DOI":"10.1109\/CSMR.2000.827306"},{"key":"20_CR9","doi-asserted-by":"publisher","unstructured":"Damasceno, C.D.N., Mousavi, M.R., da\u00a0Silva\u00a0Sim\u00e3o, A.: Learning by sampling: learning behavioral family models from software product lines. Empir. Softw. Eng. 26(1), \u00a04 (2021). https:\/\/doi.org\/10.1007\/s10664-020-09912-w","DOI":"10.1007\/s10664-020-09912-w"},{"key":"20_CR10","doi-asserted-by":"publisher","unstructured":"al\u00a0Duhaiby, O., Groote, J.F.: Active learning of decomposable systems. In: Bae, K., Bianculli, D., Gnesi, S., Plat, N. (eds.) FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. pp. 1\u201310. ACM (2020). https:\/\/doi.org\/10.1145\/3372020.3391560","DOI":"10.1145\/3372020.3391560"},{"key":"20_CR11","doi-asserted-by":"publisher","unstructured":"Fiterau-Brostean, P., Lenaerts, T., Poll, E., de\u00a0Ruiter, J., Vaandrager, F.W., Verleg, P.: Model learning and model checking of SSH implementations. In: Erdogmus, H., Havelund, K. (eds.) Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pp. 142\u2013151. ACM (2017). https:\/\/doi.org\/10.1145\/3092282.3092289","DOI":"10.1145\/3092282.3092289"},{"key":"20_CR12","doi-asserted-by":"publisher","unstructured":"Frohme, M., Steffen, B.: Compositional learning of mutually recursive procedural systems. Int. J. Softw. Tools Technol. Transf. 23(4), 521\u2013543 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00634-y","DOI":"10.1007\/s10009-021-00634-y"},{"key":"20_CR13","doi-asserted-by":"publisher","unstructured":"Frohme, M., Steffen, B.: From languages to behaviors and back. In: Jansen, N., Stoelinga, M., van\u00a0den Bos, P. (eds.) A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 13560, pp. 180\u2013200. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_11","DOI":"10.1007\/978-3-031-15629-8_11"},{"key":"20_CR14","doi-asserted-by":"publisher","unstructured":"Garhewal, B., Vaandrager, F.W., Howar, F., Schrijvers, T., Lenaerts, T., Smits, R.: Grey-box learning of register automata. In: Dongol, B., Troubitsyna, E. (eds.) Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12546, pp. 22\u201340. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-63461-2_2","DOI":"10.1007\/978-3-030-63461-2_2"},{"key":"20_CR15","doi-asserted-by":"publisher","unstructured":"Hooimeijer, B., Geilen, M., Groote, J.F., Hendriks, D., Schiffelers, R.R.H.: Constructive model inference: Model learning for component-based software architectures. In: Fill, H., van Sinderen, M., Maciaszek, L.A. (eds.) Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022. pp. 146\u2013158. SCITEPRESS (2022). https:\/\/doi.org\/10.5220\/0011145700003266","DOI":"10.5220\/0011145700003266"},{"key":"20_CR16","doi-asserted-by":"publisher","unstructured":"Howar, F., Steffen, B.: Active automata learning in practice - an annotated bibliography of the years 2011 to 2016. In: Bennaceur, A., H\u00e4hnle, R., Meinke, K. (eds.) Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Lecture Notes in Computer Science, vol. 11026, pp. 123\u2013148. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-96562-8_5","DOI":"10.1007\/978-3-319-96562-8_5"},{"key":"20_CR17","doi-asserted-by":"publisher","unstructured":"Howar, F., Steffen, B.: Active automata learning as black-box search and lazy partition refinement. In: Jansen, N., Stoelinga, M., van\u00a0den Bos, P. (eds.) A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 321\u2013338. Springer Nature Switzerland, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_17","DOI":"10.1007\/978-3-031-15629-8_17"},{"key":"20_CR18","doi-asserted-by":"publisher","unstructured":"Isberner, M., Howar, F., Steffen, B.: Learning register automata: from languages to program structures. Machine Learning 96(1), 65\u201398 (2014). https:\/\/doi.org\/10.1007\/s10994-013-5419-7","DOI":"10.1007\/s10994-013-5419-7"},{"key":"20_CR19","doi-asserted-by":"publisher","unstructured":"Isberner, M., Howar, F., Steffen, B.: The TTT algorithm: A redundancy-free approach to active automata learning. In: Bonakdarpour, B., Smolka, S.A. (eds.) Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Lecture Notes in Computer Science, vol.\u00a08734, pp. 307\u2013322. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_26","DOI":"10.1007\/978-3-319-11164-3_26"},{"key":"20_CR20","doi-asserted-by":"publisher","unstructured":"Jones, E., Oliphant, T., Peterson, P.: Scipy: Open source scientific tools for python (01 2001). https:\/\/doi.org\/10.1038\/s41592-019-0686-2","DOI":"10.1038\/s41592-019-0686-2"},{"key":"20_CR21","doi-asserted-by":"publisher","unstructured":"Kearns, M.J., Vazirani, U.: An Introduction to Computational Learning Theory. MIT Press (1994). https:\/\/doi.org\/10.7551\/mitpress\/3897.001.0001","DOI":"10.7551\/mitpress\/3897.001.0001"},{"key":"20_CR22","doi-asserted-by":"publisher","unstructured":"Koschke, R.: Architecture Reconstruction, p. 140\u2013173. Springer-Verlag, Berlin, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-95888-8_6","DOI":"10.1007\/978-3-540-95888-8_6"},{"key":"20_CR23","doi-asserted-by":"publisher","unstructured":"Labbaf, F., Groot, J.F., Hojjat, H., Mousavi, M.R.: Compositional Learning for Interleaving Parallel Automata (CL-Star) (Apr 2023). https:\/\/doi.org\/10.5281\/zenodo.7624699, https:\/\/doi.org\/10.5281\/zenodo.7624699","DOI":"10.5281\/zenodo.7624699"},{"key":"20_CR24","doi-asserted-by":"publisher","unstructured":"Lachmann, R., Lity, S., Lischke, S., Beddig, S., Schulze, S., Schaefer, I.: Delta-oriented test case prioritization for integration testing of software product lines. In: Proceedings of the 19th International Conference on Software Product Line. p. 81\u201390. SPLC \u201915, ACM, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2791060.2791073","DOI":"10.1145\/2791060.2791073"},{"key":"20_CR25","unstructured":"Lity, S., Lachmann, R., Lochau, M., Schaefer, I.: Delta-oriented software product line test models-the body comfort system case study. Tech. Rep. 2012-07, TU Braunschweig (2012)"},{"key":"20_CR26","doi-asserted-by":"publisher","unstructured":"Milner, R., Moller, F.: Unique decomposition of processes. Theoretical Computer Science 107(2), 357\u2013363 (1993). https:\/\/doi.org\/10.1016\/0304-3975(93)90176-T, https:\/\/www.sciencedirect.com\/science\/article\/pii\/030439759390176T","DOI":"10.1016\/0304-3975(93)90176-T"},{"key":"20_CR27","unstructured":"Moerman, J.: Learning product automata. In: Unold, O., Dyrka, W., Wieczorek, W. (eds.) Proceedings of The 14th International Conference on Grammatical Inference 2018. Proceedings of Machine Learning Research, vol.\u00a093, pp. 54\u201366. PMLR (feb 2019), https:\/\/proceedings.mlr.press\/v93\/moerman19a.html"},{"key":"20_CR28","doi-asserted-by":"publisher","unstructured":"Naeem Irfan, M., Oriat, C., Groz, R.: Model inference and testing. Advances in Computers, vol.\u00a089, pp. 89\u2013139. Elsevier (2013). https:\/\/doi.org\/10.1016\/B978-0-12-408094-2.00003-5, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780124080942000035","DOI":"10.1016\/B978-0-12-408094-2.00003-5"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Neele, T., Sammartino, M.: Compositional Automata Learning of Synchronous Systems. In: Lambers, L., Uchitel, S. (eds.) FASE 2023. Lecture Notes in Computer Science, Springer (2023)","DOI":"10.1007\/978-3-031-30826-0_3"},{"key":"20_CR30","doi-asserted-by":"publisher","unstructured":"Raffelt, H., Steffen, B.: Learnlib: A library for automata learning and experimentation. In: Baresi, L., Heckel, R. (eds.) Fundamental Approaches to Software Engineering. pp. 377\u2013380. Springer Berlin Heidelberg, Berlin, Heidelberg (2006). https:\/\/doi.org\/10.1145\/1081180.1081189","DOI":"10.1145\/1081180.1081189"},{"key":"20_CR31","doi-asserted-by":"publisher","unstructured":"Rivest, R., Schapire, R.: Inference of finite automata using homing sequences. Information and Computation 103(2), 299\u2013347 (1993). https:\/\/doi.org\/10.1006\/inco.1993.1021","DOI":"10.1006\/inco.1993.1021"},{"key":"20_CR32","doi-asserted-by":"publisher","unstructured":"Sanchez, L., Groote, J.F., Schiffelers, R.R.H.: Active learning of industrial software with data. In: Hojjat, H., Massink, M. (eds.) Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers. Lecture Notes in Computer Science, vol. 11761, pp. 95\u2013110. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-31517-7_7","DOI":"10.1007\/978-3-030-31517-7_7"},{"key":"20_CR33","doi-asserted-by":"publisher","unstructured":"Smeenk, W., Moerman, J., Vaandrager, F.W., Jansen, D.N.: Applying automata learning to embedded control software. In: Butler, M.J., Conchon, S., Za\u00efdi, F. (eds.) Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Lecture Notes in Computer Science, vol.\u00a09407, pp. 67\u201383. Springer 2015). https:\/\/doi.org\/10.1007\/978-3-319-25423-4_5","DOI":"10.1007\/978-3-319-25423-4_5"},{"key":"20_CR34","doi-asserted-by":"publisher","unstructured":"Tappler, M., Aichernig, B.K., Larsen, K.G., Lorber, F.: Time to learn \u2013 learning timed automata from tests. In: Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27\u201329, 2019, Proceedings. p. 216\u2013235. Springer-Verlag, Berlin, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-030-29662-9_13","DOI":"10.1007\/978-3-030-29662-9_13"},{"key":"20_CR35","doi-asserted-by":"publisher","unstructured":"Tavassoli, S., Damasceno, C.D.N., Khosravi, R., Mousavi, M.R.: Adaptive behavioral model learning for software product lines. In: Felfernig, A., Fuentes, L., Cleland-Huang, J., Assun\u00e7\u00e3o, W.K.G., Falkner, A.A., Azanza, M., Luaces, M.\u00c1.R., Bhushan, M., Semini, L., Devroey, X., Werner, C.M.L., Seidl, C., Le, V., Horcas, J.M. (eds.) SPLC \u201922: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume A. pp. 142\u2013153. ACM (2022). https:\/\/doi.org\/10.1145\/3546932.3546991","DOI":"10.1145\/3546932.3546991"},{"key":"20_CR36","doi-asserted-by":"publisher","unstructured":"Vaandrager, F.: Model learning. Commun. ACM 60(2), 86\u201395 (jan 2017). https:\/\/doi.org\/10.1145\/2967606","DOI":"10.1145\/2967606"},{"key":"20_CR37","doi-asserted-by":"publisher","unstructured":"Vaandrager, F.W., Garhewal, B., Rot, J., Wi\u00dfmann, T.: A new approach for active automata learning based on apartness. In: Fisman, D., Rosu, G. (eds.) Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2022. Lecture Notes in Computer Science, vol. 13243, pp. 223\u2013243. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-99524-9_12","DOI":"10.1007\/978-3-030-99524-9_12"},{"key":"20_CR38","doi-asserted-by":"publisher","unstructured":"Waskom, M.L.: seaborn: statistical data visualization. Journal of Open Source Software 6(60), \u00a03021 (2021). https:\/\/doi.org\/10.21105\/joss.03021","DOI":"10.21105\/joss.03021"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-30829-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,20]],"date-time":"2023-04-20T20:00:39Z","timestamp":1682020839000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-30829-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031308284","9783031308291"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-30829-1_20","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":"21 April 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"22 April 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2023\/fossacs","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":"85","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":"0","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":"31% - 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.1","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":"10","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)"}}]}}