{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:23:28Z","timestamp":1743117808613,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031150074"},{"type":"electronic","value":"9783031150081"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-15008-1_8","type":"book-chapter","created":{"date-parts":[[2022,9,4]],"date-time":"2022-09-04T23:02:47Z","timestamp":1662332567000},"page":"103-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Chemical Case Studies in\u00a0KeYmaera X"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5201-9895","authenticated-orcid":false,"given":"Rose","family":"Bohrer","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,5]]},"reference":[{"key":"8_CR1","unstructured":"\u00c1brah\u00e1m-Mumm, E., Steffen, M., Hannemann, U.: Verification of hybrid systems: formalization and proof rules in PVS. In: ICECCS. IEEE (2001)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Althoff, M., Grebenyuk, D., Kochdumper, N.: Implementation of Taylor models in CORA 2018. In: ARCH. EPiC Series in Computing, vol. 54. EasyChair (2018)","DOI":"10.29007\/zzc7"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bak, S., Tran, H., Johnson, T.T.: Numerical verification of affine systems with up to a billion dimensions. In: HSCC. ACM (2019)","DOI":"10.29007\/b8zr"},{"key":"8_CR4","unstructured":"Bauer, N., Kowalewski, S., Sand, G., L\u00f6hl, T.: A case study: multi product batch plant for the demonstration of control and scheduling problems. In: ADPM (2000)"},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1002\/rnc.2914","volume":"24","author":"L Benvenuti","year":"2014","unstructured":"Benvenuti, L., Bresolin, D., Collins, P., Ferrari, A., Geretti, L., Villa, T.: Assume-guarantee verification of nonlinear hybrid systems with Ariadne. Intl. J. Robust Nonlinear Control 24(4), 699\u2013724 (2014)","journal-title":"Intl. J. Robust Nonlinear Control"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Bohrer, R., Luo, A., Chuang, X.A., Platzer, A.: CoasterX: a case study in component-driven hybrid systems proof automation. In: ADHS. Elsevier (2018)","DOI":"10.1016\/j.ifacol.2018.08.010"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Bohrer, R., Rahli, V., Vukotic, I., V\u00f6lp, M., Platzer, A.: Formally verified differential dynamic logic. In: CPP. ACM (2017)","DOI":"10.1145\/3018610.3018616"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Bohrer, R., Tan, Y.K., Mitsch, S., Myreen, M.O., Platzer, A.: VeriPhy: verified controller executables from verified cyber-physical system models. In: PLDI. ACM (2018)","DOI":"10.1145\/3192366.3192406"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"8_CR10","unstructured":"Collins, P., Niqui, M., Revol, N.: A Taylor function calculus for hybrid system analysis: validation in Coq. In: NSV (2010)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Potok, M., Mitra, S., Viswanathan, M.: C2E2: a tool for verifying annotated hybrid systems. In: HSCC. ACM (2015)","DOI":"10.1145\/2728606.2728646"},{"issue":"4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3448270","volume":"20","author":"G Dupont","year":"2021","unstructured":"Dupont, G., Ameur, Y.A., Singh, N.K., Pantel, M.: Event-B hybridation: a proof and refinement-based framework for modelling hybrid systems. ACM Trans. Embed. Comput. Syst. 20(4), 1\u201337 (2021)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-319-96145-3_25","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2018","unstructured":"Frehse, G., Giacobbe, M., Henzinger, T.A.: Space-time interpolants. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10981, pp. 468\u2013486. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96145-3_25"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-319-66107-0_14","volume-title":"Interactive Theorem Proving","author":"N Fulton","year":"2017","unstructured":"Fulton, N., Mitsch, S., Bohrer, B., Platzer, A.: Bellerophon: tactical theorem proving for hybrid systems. In: Ayala-Rinc\u00f3n, M., Mu\u00f1oz, C.A. (eds.) ITP 2017. LNCS, vol. 10499, pp. 207\u2013224. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66107-0_14"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-319-21401-6_36","volume-title":"Automated Deduction - CADE-25","author":"N Fulton","year":"2015","unstructured":"Fulton, N., Mitsch, S., Quesel, J.-D., V\u00f6lp, M., Platzer, A.: KeYmaera X: an axiomatic tactical theorem prover for hybrid systems. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 527\u2013538. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_36"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-030-17462-0_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Fulton","year":"2019","unstructured":"Fulton, N., Platzer, A.: Verifiably safe off-model reinforcement learning. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 413\u2013430. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17462-0_28"},{"key":"8_CR18","doi-asserted-by":"publisher","DOI":"10.1201\/9781315274737","volume-title":"Control Theory","author":"T Glad","year":"2018","unstructured":"Glad, T., Ljung, L.: Control Theory. CRC Press, Boca Raton (2018)"},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","first-page":"772","DOI":"10.3390\/e12040772","volume":"12","author":"KM Hangos","year":"2010","unstructured":"Hangos, K.M.: Engineering model reduction and entropy-based Lyapunov functions in chemical reaction kinetics. Entropy 12(4), 772\u2013797 (2010)","journal-title":"Entropy"},{"issue":"15","key":"8_CR20","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S1474-6670(17)40537-4","volume":"31","author":"G Hassapis","year":"1998","unstructured":"Hassapis, G., Kotini, I., Doulgeri, Z.: Validation of a SFC software specification by using hybrid automata. IFAC Proc. 31(15), 107\u2013112 (1998)","journal-title":"IFAC Proc."},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1008293802713","volume":"8","author":"XD Koutsoukos","year":"1998","unstructured":"Koutsoukos, X.D., He, K.X., Lemmon, M.D., Antsaklis, P.J.: Timed Petri nets in hybrid systems: stability and supervisory control. Discrete Event Dyn. Syst. 8, 137\u2013173 (1998). https:\/\/doi.org\/10.1023\/A:1008293802713","journal-title":"Discrete Event Dyn. Syst."},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-17164-2_1","volume-title":"Programming Languages and Systems","author":"J Liu","year":"2010","unstructured":"Liu, J., et al.: A calculus for hybrid CSP. In: Ueda, K. (ed.) APLAS 2010. LNCS, vol. 6461, pp. 1\u201315. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17164-2_1"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Liu, J., Zhan, N., Zhao, H.: Computing semi-algebraic invariants for polynomial dynamical systems. In: EMSOFT. ACM (2011)","DOI":"10.1145\/2038642.2038659"},{"issue":"3","key":"8_CR24","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0167-6911(00)00025-6","volume":"40","author":"R Lozano","year":"2000","unstructured":"Lozano, R., Fantoni, I., Block, D.J.: Stabilization of the inverted pendulum around its homoclinic orbit. Syst. Control Lett. 40(3), 197\u2013204 (2000)","journal-title":"Syst. Control Lett."},{"key":"8_CR25","unstructured":"Lukoschus, B.: Compositional verification of industrial control systems: methods and case studies. Ph.D. thesis, Christian-Albrechts Universit\u00e4t Kiel (2004)"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-71067-7_20","volume-title":"Theorem Proving in Higher Order Logics","author":"S Mitra","year":"2008","unstructured":"Mitra, S., Chandy, K.M.: A formalized theory for verifying stability and convergence of automata in PVS. In: Mohamed, O.A., Mu\u00f1oz, C., Tahar, S. (eds.) TPHOLs 2008. LNCS, vol. 5170, pp. 230\u2013245. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-71067-7_20"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Mitra, S., Liberzon, D.: Stability of hybrid automata with average dwell time: an invariant approach. In: CDC. IEEE (2004)","DOI":"10.1109\/CDC.2004.1430238"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Mitsch, S., Platzer, A.: The KeYmaera X proof IDE: concepts on usability in hybrid systems theorem proving. In: FIDE. EPTCS, vol. 240 (2016)","DOI":"10.4204\/EPTCS.240.5"},{"key":"8_CR29","series-title":"Mathematical Engineering","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-15956-5_1","volume-title":"Modeling, Design, and Simulation of Systems with Uncertainties","author":"NS Nedialkov","year":"2011","unstructured":"Nedialkov, N.S.: Implementing a rigorous ODE solver through literate programming. In: Rauh, A., Auer, E. (eds.) Modeling, Design, and Simulation of Systems with Uncertainties. MATHENGIN, vol. 3, pp. 3\u201319. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-15956-5_1"},{"key":"8_CR30","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-16577-6_3","volume-title":"Formalisms for Reuse and Systems Integration","author":"J Nellen","year":"2015","unstructured":"Nellen, J., \u00c1brah\u00e1m, E., Wolters, B.: A CEGAR tool for the reachability analysis of PLC-controlled plants using hybrid automata. In: Bouabana-Tebibel, T., Rubin, S.H. (eds.) Formalisms for Reuse and Systems Integration. AISC, vol. 346, pp. 55\u201378. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16577-6_3"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-319-23820-3_19","volume-title":"Runtime Verification","author":"LV Nguyen","year":"2015","unstructured":"Nguyen, L.V., Schilling, C., Bogomolov, S., Johnson, T.T.: Runtime verification for hybrid analysis tools. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 281\u2013286. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_19"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Platzer, A.: The structure of differential invariants and differential cut elimination. Log. Meth. Comput. Sci. (2012)","DOI":"10.2168\/LMCS-8(4:16)2012"},{"issue":"3","key":"8_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3091123","volume":"18","author":"A Platzer","year":"2017","unstructured":"Platzer, A.: Differential hybrid games. ACM Trans. Comput. Log. 18(3), 1\u201344 (2017)","journal-title":"ACM Trans. Comput. Log."},{"key":"8_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0","volume-title":"Logical Foundations of Cyber-Physical Systems","author":"A Platzer","year":"2018","unstructured":"Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63588-0"},{"issue":"1","key":"8_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3380825","volume":"67","author":"A Platzer","year":"2020","unstructured":"Platzer, A., Tan, Y.K.: Differential equation invariance axiomatization. J. ACM 67(1), 1\u201366 (2020)","journal-title":"J. ACM"},{"issue":"9","key":"8_CR36","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.1016\/j.conengprac.2003.11.010","volume":"12","author":"B Poto\u010dnik","year":"2004","unstructured":"Poto\u010dnik, B., Bemporad, A., Torrisi, F.D., Mu\u0161i\u010d, G., Zupan\u010di\u010d, B.: Hybrid modelling and optimal control of a multiproduct batch plant. Control. Eng. Pract. 12(9), 1127\u20131137 (2004)","journal-title":"Control. Eng. Pract."},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Rouhling, D.: A formal proof in Coq of a control function for the inverted pendulum. In: CPP. ACM (2018)","DOI":"10.1145\/3167101"},{"key":"8_CR38","volume-title":"The Engineering of Chemical Reactions","author":"LD Schmidt","year":"1998","unstructured":"Schmidt, L.D.: The Engineering of Chemical Reactions. Oxford University Press, Oxford (1998)"},{"key":"8_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-57288-8_14","volume-title":"NASA Formal Methods","author":"A Sogokon","year":"2017","unstructured":"Sogokon, A., Jackson, P.B., Johnson, T.T.: Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 194\u2013211. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_14"},{"key":"8_CR40","volume-title":"Chemical Process Control: An Introduction to Theory and Practice","author":"G Stephanopoulos","year":"1984","unstructured":"Stephanopoulos, G.: Chemical Process Control: An Introduction to Theory and Practice. Prentice-Hall, Hoboken (1984)"},{"key":"8_CR41","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s00165-020-00525-0","volume":"33","author":"YK Tan","year":"2021","unstructured":"Tan, Y.K., Platzer, A.: An axiomatic approach to existence and liveness for differential equations. Formal Aspects Comput. 33, 461\u2013518 (2021). https:\/\/doi.org\/10.1007\/s00165-020-00525-0","journal-title":"Formal Aspects Comput."},{"key":"8_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-030-72013-1_10","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"YK Tan","year":"2021","unstructured":"Tan, Y.K., Platzer, A.: Deductive stability proofs for ordinary differential equations. In: TACAS 2021. LNCS, vol. 12652, pp. 181\u2013199. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_10"},{"key":"8_CR43","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1016\/j.compchemeng.2018.01.012","volume":"112","author":"C Tsay","year":"2018","unstructured":"Tsay, C., Pattison, R.C., Piana, M.R., Baldea, M.: A survey of optimal process design capabilities and practices in the chemical and petrochemical industries. Comput. Chem. Eng. 112, 180\u2013189 (2018)","journal-title":"Comput. Chem. Eng."},{"key":"8_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-319-25423-4_25","volume-title":"Formal Methods and Software Engineering","author":"S Wang","year":"2015","unstructured":"Wang, S., Zhan, N., Zou, L.: An improved HHL prover: an interactive theorem prover for hybrid systems. In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 382\u2013399. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25423-4_25"},{"key":"8_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/BFb0020952","volume-title":"Hybrid Systems III","author":"X Qiwen","year":"1996","unstructured":"Qiwen, X., Weidong, H.: Hierarchical design of a chemical concentration control system. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 270\u2013281. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0020952"}],"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-031-15008-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,3]],"date-time":"2024-10-03T05:51:15Z","timestamp":1727934675000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15008-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031150074","9783031150081"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15008-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"5 September 2022","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":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fmics2022.fsa.win.tue.nl\/","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":"22","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":"13","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":"59% - 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":"2.5","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)"}}]}}