{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T23:40:20Z","timestamp":1775259620999,"version":"3.50.1"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030034269","type":"print"},{"value":"9783030034276","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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":[[2018]]},"DOI":"10.1007\/978-3-030-03427-6_20","type":"book-chapter","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:54:48Z","timestamp":1540817688000},"page":"249-272","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods"],"prefix":"10.1007","author":[{"given":"Rupert","family":"Schlick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Felderer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istvan","family":"Majzik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Raschke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Snook","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,30]]},"reference":[{"key":"20_CR1","unstructured":"Abrial, J.R., B\u00f6rger, E., Langmaack, H.: Methods for Semantics and Specification, vol. 117. Dagstuhl Seminar No. 9523, Schloss Dagstuhl, International Conference and Research Center for Computer Science (1995)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027227","volume-title":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R., B\u00f6rger, E., Langmaack, H.: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS, vol. 9. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0027227"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-24372-1_3","volume-title":"Automated Technology for Verification and Analysis","author":"J Alglave","year":"2011","unstructured":"Alglave, J., Donaldson, A.F., Kroening, D., Tautschnig, M.: Making software verification tools really work. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 28\u201342. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24372-1_3"},{"key":"20_CR4","volume-title":"Process Patterns","author":"SW Ambler","year":"1998","unstructured":"Ambler, S.W.: Process Patterns. Cambridge University Press, Cambridge (1998)"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.scico.2016.09.002","volume":"133","author":"M Benerecetti","year":"2017","unstructured":"Benerecetti, M., et al.: Dynamic state machines for modelling railway control systems. Sci. Comput. Programm. 133, 116\u2013153 (2017)","journal-title":"Sci. Comput. Programm."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Bettenburg, N., Nagappan, M., Hassan, A.E.: Think locally, act globally: improving defect and effort prediction models. In: Proceedings of the 9th IEEE Working Conference on Mining Software Repositories, pp. 60\u201369 (2012)","DOI":"10.1109\/MSR.2012.6224300"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Beyer, D., L\u00f6we, S., Wendler, P.: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 1\u201329 (2017)","DOI":"10.1007\/s10009-017-0469-y"},{"issue":"2","key":"20_CR8","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00165-005-0079-4","volume":"18","author":"J Bicarregui","year":"2006","unstructured":"Bicarregui, J., Hoare, C., Woodcock, J.: The verified software repository: a step towards the verifying compiler. Formal Aspects Comput. 18(2), 143\u2013151 (2006). https:\/\/doi.org\/10.1007\/s00165-005-0079-4","journal-title":"Formal Aspects Comput."},{"key":"20_CR9","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07512-9","volume-title":"ABZ 2014: The Landing Gear Case Study","year":"2014","unstructured":"Boniol, F., Wiels, V., Ait-Ameur, Y., Schewe, K.D. (eds.): ABZ 2014: The Landing Gear Case Study. Communications in Computer and Information Science, vol. 433. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9"},{"key":"20_CR10","unstructured":"Boulanger, J.L., Ochem, Q.: AdaCore Technologies for CENELEC EN 50128: 2011 (2015)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Hinchey, M.G.: The use of industrial-strength formal methods. In: Proceedings of The Twenty-First Annual International Computer Software and Applications Conference, COMPSAC 1997, pp. 332\u2013337 (1997)","DOI":"10.1109\/CMPSAC.1997.624973"},{"issue":"1","key":"20_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MC.2006.35","volume":"39","author":"JP Bowen","year":"2006","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods... ten years later. Computer 39(1), 40\u201348 (2006)","journal-title":"Computer"},{"issue":"5","key":"20_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MS.2017.3571562","volume":"34","author":"L Briand","year":"2017","unstructured":"Briand, L., Bianculli, D., Nejati, S., Pastore, F., Sabetzadeh, M.: The case for context-driven software engineering research: generalizability is overrated. IEEE Softw. 34(5), 72\u201375 (2017)","journal-title":"IEEE Softw."},{"key":"20_CR14","unstructured":"Center for Internet Security: CIS Benchmarks (2018). https:\/\/www.cisecurity.org\/cis-benchmarks\/"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/248603.248616","volume":"26","author":"S Chauduri","year":"1997","unstructured":"Chauduri, S., Dayal, U.: An overview of data warehousing and OLAP technology. ACM SIGMOD Rec. 26, 65\u201374 (1997)","journal-title":"ACM SIGMOD Rec."},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-41010-9_5","volume-title":"Formal Methods for Industrial Critical Systems","author":"JA Davis","year":"2013","unstructured":"Davis, J.A., et al.: Study on the barriers to the industrial adoption of formal methods. In: Pecheur, C., Dierkes, M. (eds.) FMICS 2013. LNCS, vol. 8187, pp. 63\u201377. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41010-9_5"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings 1999 International Conference on Software Engineering, pp. 411\u2013420. IEEE (1999)","DOI":"10.1145\/302405.302672"},{"key":"20_CR18","unstructured":"ENABLE-S3 Consortium: V&V Methodology. Project deliverable D3.2.2 v1 (2017). https:\/\/www.enable-s3.eu\/media\/deliverables\/"},{"key":"20_CR19","unstructured":"Farkas, R., Bergmann, G.: Towards reliable benchmarks of timed automata. In: Proceedings of the 25th PhD Mini-Symposium, pp. 20\u201323. Budapest University of Technology and Economics (2018)"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Frappier, M., Habrias, H.: Software Specification Methods. ISTE Ltd. (2006)","DOI":"10.1002\/9780470612514"},{"issue":"5","key":"20_CR21","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MS.2017.3641116","volume":"34","author":"V Garousi","year":"2017","unstructured":"Garousi, V., Felderer, M.: Worlds apart: industrial and academic focus areas in software testing. IEEE Softw. 34(5), 38\u201345 (2017)","journal-title":"IEEE Softw."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Garousi, V., Felderer, M., Kuhrmann, M., Herkilo\u011flu, K.: What industry wants from academia in software testing?: hearing practitioners\u2019 opinions. In: Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, pp. 65\u201369. ACM (2017)","DOI":"10.1145\/3084226.3084264"},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1007\/978-3-319-47169-3_59","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"M Geske","year":"2016","unstructured":"Geske, M., Jasper, M., Steffen, B., Howar, F., Schordan, M., van de Pol, J.: RERS 2016: parallel and sequential benchmarks with focus on LTL verification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 787\u2013803. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_59"},{"key":"20_CR24","unstructured":"Glinz, M.: Statecharts for requirements specification-as simple as possible, as rich as needed. In: Proceedings of the ICSE2002 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (2002)"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Havelund, K., Skou, A., Larsen, K.G., Lund, K.: Formal modelling and analysis of an audio\/video protocol: an industrial case study using UPPAAL. In: Proceedings of 18th IEEE Real-Time Systems Symposium, pp. 2\u201313. IEEE CS (1997)","DOI":"10.7146\/brics.v4i31.18957"},{"key":"20_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-319-91271-4_17","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"TS Hoang","year":"2018","unstructured":"Hoang, T.S., Butler, M., Reichl, K.: The hybrid ERTMS\/ETCS level 3 case study. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 251\u2013261. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_17"},{"key":"20_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69149-5_1","volume-title":"Verified Software: Theories, Tools, Experiments","author":"T Hoare","year":"2008","unstructured":"Hoare, T., Misra, J.: Verified software: theories, tools, experiments vision of a grand challenge project. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 1\u201318. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69149-5_1"},{"key":"20_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-10424-4_3","volume-title":"Performance Evaluation and Benchmarking","author":"K Huppler","year":"2009","unstructured":"Huppler, K.: The art of building a good benchmark. In: Nambiar, R., Poess, M. (eds.) TPCTC 2009. LNCS, vol. 5895, pp. 18\u201330. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10424-4_3"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Kanoun, K., Spainhower, L.: Dependability Benchmarking for Computer Systems. Wiley - IEEE Computer Society Press (2008)","DOI":"10.1002\/9780470370506"},{"key":"20_CR30","unstructured":"Kaplan, D.: How to Fix Peer Review, June 2005. https:\/\/www.the-scientist.com\/?articles.view\/articleNo\/16474\/title\/How-to-Fix-Peer-Review\/"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"Kitchenham, B.A., Dyba, T., Jorgensen, M.: Evidence-based software engineering. In: Proceedings of the 26th International Conference on Software Engineering, pp. 273\u2013281. IEEE Computer Society (2004)","DOI":"10.1109\/ICSE.2004.1317449"},{"key":"20_CR32","doi-asserted-by":"crossref","unstructured":"Kunzli, S., Poletti, F., Benini, L., Thiele, L.: Combining simulation and formal methods for system-level performance analysis. In: Proceedings of Design, Automation and Test in Europe, DATE 2006, vol. 1, pp. 1\u20136. IEEE (2006)","DOI":"10.1109\/DATE.2006.244109"},{"key":"20_CR33","unstructured":"Madeira, H., Costa, J., Vieira, M.: The OLAP and data warehousing approaches for analysis and sharing of results from dependability evaluation experiments. In: Proceedings of IEEE 2003 International Conference on Dependable Systems and Networks, DSN 2003, pp. 22\u201325. IEEE CS (2003)"},{"key":"20_CR34","unstructured":"Mankins, J.C.: Technology readiness levels. White Paper, 6 April 1995"},{"key":"20_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-33600-8_29","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Mashkoor","year":"2016","unstructured":"Mashkoor, A.: The hemodialysis machine case study. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 329\u2013343. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_29"},{"key":"20_CR36","unstructured":"MBAT Consortium: MBAT Analysis and Testing Patterns (2014). http:\/\/mbat-wiki.iese.fraunhofer.de\/index.php\/MBAT_Analysis_and_Testing_Patterns"},{"key":"20_CR37","unstructured":"Menzies, T., Krishna, R., Pryor, D.: The Promise Repository of Empirical Software Engineering Data (2015). North Carolina State University, Department of Computer Science. http:\/\/openscience.us\/repo"},{"key":"20_CR38","volume-title":"Sharing Data and Models in Software Engineering","author":"T Menzies","year":"2014","unstructured":"Menzies, T., Kocaguneli, E., Turhan, B., Minku, L., Peters, F.: Sharing Data and Models in Software Engineering. Morgan Kaufmann, Burlington (2014)"},{"key":"20_CR39","unstructured":"Morin, G.: EN 50128:2011 \u2013 what\u2019s new and applying it to your development and verification process (2014). http:\/\/www.esterel-technologies.com\/wp-content\/uploads\/2014\/10\/Webinar-EN-50128-2011-Wha-is-New.pdf. Accessed 17 May 2018"},{"key":"20_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43652-3_3","volume-title":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"C Newcombe","year":"2014","unstructured":"Newcombe, C.: Why Amazon chose TLA$$^{+}$$. In: Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014. LNCS, vol. 8477. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43652-3_3"},{"issue":"4","key":"20_CR41","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/2699417","volume":"58","author":"C Newcombe","year":"2015","unstructured":"Newcombe, C., Rath, T., Zhang, F., Munteanu, B., Brooker, M., Deardeuff, M.: How Amazon web services uses formal methods. Commun. ACM 58(4), 66\u201373 (2015)","journal-title":"Commun. ACM"},{"key":"20_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-24580-0_11","volume-title":"Testing Software and Systems","author":"J Peleska","year":"2011","unstructured":"Peleska, J., et al.: A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 146\u2013161. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24580-0_11"},{"key":"20_CR43","unstructured":"Standard Performance Evaluation Corporation: SPEC\u2019s Benchmarks (2018). http:\/\/spec.org\/benchmarks.html"},{"key":"20_CR44","unstructured":"Stepney, S., Cooper, D., Woodcock, J.: An electronic purse: specification, refinement, and proof. Technical monograph PRG-126, Oxford University Computing Laboratory, July 2000"},{"key":"20_CR45","doi-asserted-by":"crossref","unstructured":"Stieglbauer, G., Roncevic, I.: Objecting to the revolution: model-based engineering and the industry - root causes beyond classical research topics. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.) Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, pp. 629\u2013639. SciTePress (2017)","DOI":"10.5220\/0006216506290639"},{"issue":"4","key":"20_CR46","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1007\/s10270-016-0571-8","volume":"17","author":"G Sz\u00e1rnyas","year":"2017","unstructured":"Sz\u00e1rnyas, G., Izs\u00f3, B., R\u00e1th, I., Varr\u00f3, D.: The train benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. 17(4), 1365\u20131393 (2017)","journal-title":"Softw. Syst. Model."},{"key":"20_CR47","doi-asserted-by":"publisher","unstructured":"Tempero, E., et al.: The qualitas corpus: a curated collection of java code for empirical studies. In: Proceedings of the 2010 Asia Pacific Software Engineering Conference, APSEC 2010, pp. 336\u2013345. IEEE Computer Society, Washington, DC (2010). https:\/\/doi.org\/10.1109\/APSEC.2010.46","DOI":"10.1109\/APSEC.2010.46"},{"key":"20_CR48","unstructured":"Transaction Processing Performance Council: Active TPC Benchmarks (2018). http:\/\/www.tpc.org\/information\/benchmarks.asp"},{"key":"20_CR49","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2010","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, Burlington (2010)"},{"issue":"4","key":"20_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1\u201336 (2009)","journal-title":"ACM Comput. Surv."},{"key":"20_CR51","doi-asserted-by":"crossref","unstructured":"Zendel, O., Honauer, K., Murschitz, M., Humenberger, M., Dom\u00ednguez, G.F.: Analyzing computer vision data \u2014 the good, the bad and the ugly. In: 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), pp. 6670\u20136680, July 2017","DOI":"10.1109\/CVPR.2017.706"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03427-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T22:18:58Z","timestamp":1775254738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03427-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034269","9783030034276"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03427-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"30 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","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":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","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":"126","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":"85% - 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":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","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":"invitation-based event","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)"}}]}}