{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:05:51Z","timestamp":1743131151267,"version":"3.40.3"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030852474"},{"type":"electronic","value":"9783030852481"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-85248-1_8","type":"book-chapter","created":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T23:04:46Z","timestamp":1629327886000},"page":"126-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Standard Conformance-by-Construction with Event-B"],"prefix":"10.1007","author":[{"given":"Ismail","family":"Mendil","sequence":"first","affiliation":[]},{"given":"Yamine","family":"A\u00eft-Ameur","sequence":"additional","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,8,19]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"8_CR3","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Leuschel, M., Schmalz, M., Voisin, L.: Proposals for mathematical extensions for event-B. Technical report (2009)"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s00500-015-1633-5","volume":"21","author":"Y A\u00eft Ameur","year":"2017","unstructured":"A\u00eft Ameur, Y., Baron, M., Bellatreche, L., Jean, S., Sardet, E.: Ontologies in engineering: the OntoDB\/OntoQL platform. Soft. Comput. 21(2), 369\u2013389 (2017)","journal-title":"Soft. Comput."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.scico.2015.12.004","volume":"121","author":"Y A\u00eft Ameur","year":"2016","unstructured":"A\u00eft Ameur, Y., M\u00e9ry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. Elsevier J. 121, 100\u2013127 (2016)","journal-title":"Sci. Comput. Program. Elsevier J."},{"key":"8_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-5054-6","volume-title":"Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems","author":"Y A\u00eft Ameur","year":"2021","unstructured":"A\u00eft Ameur, Y., Nakajima, S., M\u00e9ry, D.: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems. Springer, Singapore (2021). https:\/\/doi.org\/10.1007\/978-981-15-5054-6"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-24750-0_4","volume-title":"Handbook on Ontologies. International Handbooks on Information Systems","author":"G Antoniou","year":"2004","unstructured":"Antoniou, G., van Harmelen, F.: Web ontology language: OWL. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 67\u201392. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24750-0_4"},{"key":"8_CR8","unstructured":"ARINC: ARINC 661 specification: Cockpit Display System Interfaces to User Systems, Prepared by AEEC, Published by SAE, Melford Blvd., Bowie, Maryland, USA, June 2019"},{"key":"8_CR9","unstructured":"Bartolini, C., Giurgiu, A., Lenzini, G., Robaldo, L.: A framework to reason about the legal compliance of security standards. In: 10th International Workshop on Juris-Informatics (2016)"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s00165-016-0385-z","volume":"29","author":"D Bj\u00f8rner","year":"2017","unstructured":"Bj\u00f8rner, D.: Manifest domains: analysis and description. Formal Aspects Comput. 29(2), 175\u2013225 (2017)","journal-title":"Formal Aspects Comput."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D.: Domain analysis and description principles, techniques, and modelling languages. ACM Trans. Softw. Eng. Methodol. 28(2), 8:1\u20138:67 (2019)","DOI":"10.1145\/3295738"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-319-96812-4_3","volume-title":"Intelligent Computer Mathematics","author":"AD Brucker","year":"2018","unstructured":"Brucker, A.D., Ait-Sadoune, I., Crisafulli, P., Wolff, B.: Using the Isabelle ontology framework. In: Rabe, F., Farmer, W.M., Passmore, G.O., Youssef, A. (eds.) CICM 2018. LNCS (LNAI), vol. 11006, pp. 23\u201338. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96812-4_3"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-030-30446-1_15","volume-title":"Software Engineering and Formal Methods","author":"AD Brucker","year":"2019","unstructured":"Brucker, A.D., Wolff, B.: Isabelle\/DOF: design and implementation. In: \u00d6lveczky, P.C., Sala\u00fcn, G. (eds.) SEFM 2019. LNCS, vol. 11724, pp. 275\u2013292. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30446-1_15"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-030-34968-4_4","volume-title":"Integrated Formal Methods","author":"AD Brucker","year":"2019","unstructured":"Brucker, A.D., Wolff, B.: Using ontologies in formal developments targeting certification. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 65\u201382. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_4"},{"key":"8_CR15","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":"8_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-99414-7_1","volume-title":"Introduction to Conformance Checking","author":"J Carmona","year":"2018","unstructured":"Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Introduction to Conformance Checking, pp. 3\u201320. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7_1"},{"key":"8_CR17","unstructured":"Emmerich, W., Finkelstein, A., Montangero, C., Stevens, R.: Standards compliant software development. In: Proceedings of the International Conference on Software Engineering Workshop on Living with Inconsistency, pp. 1\u20138. IEEE CS Press (1997)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-981-15-5054-6_1","volume-title":"Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems","author":"JP Gibson","year":"2021","unstructured":"Gibson, J.P., Raffy, J.-L.: Modelling an E-voting domain for the formal development of a software product line: when the implicit should be made explicit. In: Ait-Ameur, Y., Nakajima, S., M\u00e9ry, D. (eds.) Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, pp. 3\u201318. Springer, Singapore (2021). https:\/\/doi.org\/10.1007\/978-981-15-5054-6_1"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Goodenough, J., Weinstock, C., Klein, A.: Toward a theory of assurance case confidence. Technical report. CMU\/SEI-2012-TR-002, Software Engineering Institute, CMU, Pittsburgh (2012)","DOI":"10.21236\/ADA609836"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Grigorova, S., Maibaum, T.S.E.: Argument evaluation in the context of assurance case confidence modeling. In: 25th IEEE ISSRE Workshops, pp. 485\u2013490. IEEE CS (2014)","DOI":"10.1109\/ISSREW.2014.87"},{"key":"8_CR21","volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","author":"TR Gruber","year":"1993","unstructured":"Gruber, T.R.: Towards principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publisher\u2019s, Deventer (1993)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-319-24255-2_23","volume-title":"Computer Safety, Reliability, and Security","author":"J Guiochet","year":"2015","unstructured":"Guiochet, J., Do Hoang, Q.A., Kaaniche, M.: A model for safety case confidence assessment. In: Koornneef, F., van Gulijk, C. (eds.) SAFECOMP 2015. LNCS, vol. 9337, pp. 313\u2013327. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24255-2_23"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-319-47166-2_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"K Hacid","year":"2016","unstructured":"Hacid, K., Ait-Ameur, Y.: Strengthening MDE and formal design models by references to domain ontologies. A model annotation based approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 340\u2013357. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_24"},{"key":"8_CR24","first-page":"1","volume":"74","author":"K Hacid","year":"2017","unstructured":"Hacid, K., A\u00eft Ameur, Y.: Handling domain knowledge in design and analysis of engineering models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74, 1\u201321 (2017)","journal-title":"Electron. Commun. Eur. Assoc. Softw. Sci. Technol."},{"key":"8_CR25","series-title":"Springer Briefs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29825-7","volume-title":"On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages","author":"B Henderson-Sellers","year":"2012","unstructured":"Henderson-Sellers, B.: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. Springer Briefs in Computer Science, Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29825-7"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"IEC 62304: Medical Device Software - Software Life Cycle Processes, May 2006","DOI":"10.1049\/ic:20060141"},{"key":"8_CR27","unstructured":"ISO: Industrial automation systems and integration - parts library - part 42: Description methodology: Methodology for structuring parts families. ISO ISO13584-42, International Organization for Standardization, Geneva, Switzerland (1998)"},{"key":"8_CR28","unstructured":"Information technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 1: General concepts (1991)"},{"key":"8_CR29","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-540-74063-6_19","volume-title":"Web Information Systems and Technologies","author":"S Jean","year":"2007","unstructured":"Jean, S., Pierra, G., Ait-Ameur, Y.: Domain ontologies: a database-oriented analysis. In: Filipe, J., Cordeiro, J., Pedrosa, V. (eds.) Web Information Systems and Technologies. LNBIP, vol. 1, pp. 238\u2013254. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74063-6_19"},{"key":"8_CR30","unstructured":"Kelly, T.: Arguing safety - a systematic approach to managing safety cases. Ph.D. thesis, University of York, September 1998"},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-981-15-5054-6_5","volume-title":"Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems","author":"NK Singh","year":"2021","unstructured":"Singh, N.K., Ait-Ameur, Y., M\u00e9ry, D.: Formal ontological analysis for medical protocols. In: Ait-Ameur, Y., Nakajima, S., M\u00e9ry, D. (eds.) Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, pp. 83\u2013107. Springer, Singapore (2021). https:\/\/doi.org\/10.1007\/978-981-15-5054-6_5"},{"key":"8_CR32","volume-title":"Requirements Engineering - From System Goals to UML Models to Software Specifications","author":"A van Lamsweerde","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, Hoboken (2009)"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855\u2013874. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45236-2_46"},{"key":"8_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-540-87875-9_26","volume-title":"Model Driven Engineering Languages and Systems","author":"H-V Luong","year":"2008","unstructured":"Luong, H.-V., Lambolais, T., Courbis, A.-L.: Implementation of the conformance relation for incremental development of behavioural models. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 356\u2013370. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87875-9_26"},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2014.12.002","volume":"60","author":"S Nair","year":"2015","unstructured":"Nair, S., de la Vara, J.L., Sabetzadeh, M., Falessi, D.: Evidence management for compliance of critical systems with safety standards: a survey on the state of practice. Inf. Softw. Technol. 60, 1\u201315 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"8_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-order Logic","author":"T Nipkow","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C.: Isabelle\/HOL: A Proof Assistant for Higher-order Logic. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9"},{"key":"8_CR37","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":"8_CR38","first-page":"174","volume":"10","author":"G Pierra","year":"2008","unstructured":"Pierra, G.: Context representation in domain ontologies and its use for semantic integration of data. J. Data Semant. 10, 174\u2013211 (2008)","journal-title":"J. Data Semant."},{"key":"8_CR39","unstructured":"Rushby, J.: The interpretation and evaluation of assurance cases. Technical report. SRI-CSL-15-01, Computer Science Laboratory, SRI International, Menlo Park, CA, July 2015"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"Singh, N.K., A\u00eft Ameur, Y., M\u00e9ry, D.: Formal ontology driven model refactoring. In: 23rd International ICECCS, pp. 136\u2013145. IEEE CS (2018)","DOI":"10.1109\/ICECCS2018.2018.00022"},{"key":"8_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-319-91271-4_18","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"SJ Tueno Fotso","year":"2018","unstructured":"Tueno Fotso, S.J., Frappier, M., Laleau, R., Mammar, A.: Modeling the Hybrid ERTMS\/ETCS Level 3 standard using a formal requirements engineering approach. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 262\u2013276. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_18"},{"key":"8_CR42","unstructured":"Wassyng, A., Joannou, P., Lawford, M., Maibaum, T.S.E., Singh, N.K.: New standards for trustworthy cyber-physical systems. In: Romanovsky, A., Ishikawa, F. (eds.) Trustworthy Cyber-Physical Systems Engineering, pp. 337\u2013368. Taylor & Francis Group (2016)"},{"issue":"5","key":"8_CR43","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MDAT.2015.2462720","volume":"32","author":"A Wassyng","year":"2015","unstructured":"Wassyng, A., et al.: Can product-specific assurance case templates be used as medical device standards? IEEE Des. Test 32(5), 45\u201355 (2015)","journal-title":"IEEE Des. Test"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85248-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:58:22Z","timestamp":1725656302000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85248-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030852474","9783030852481"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85248-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"19 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","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":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2021","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":"fmics2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/qonfest2021.lacl.fr\/index.php","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":"31","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":"10","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":"6","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":"32% - 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":"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)"}},{"value":"Conference was held online due to COVID-19 pandemic","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}