{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:57:05Z","timestamp":1777658225814,"version":"3.51.4"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031377082","type":"print"},{"value":"9783031377099","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,7,17]],"date-time":"2023-07-17T00:00:00Z","timestamp":1689552000000},"content-version":"vor","delay-in-days":197,"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>R2U2 is a modular runtime verification framework capable of monitoring sets of specifications in real time and in resource-constrained environments. Such environments demand that a runtime monitor be fast, easily integratable, accessible to domain experts, and have predictable resource requirements. Version 3.0 adds new features to R2U2 and its associated suite of tools that meet these needs including a new front-end compiler that accepts a custom specification language, a GUI for resource estimation, and improvements to R2U2\u2019s internal architecture.<\/jats:p>","DOI":"10.1007\/978-3-031-37709-9_23","type":"book-chapter","created":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T10:01:21Z","timestamp":1689501681000},"page":"483-497","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["R2U2 Version 3.0: Re-Imagining a\u00a0Toolchain for\u00a0Specification, Resource Estimation, and\u00a0Optimized Observer Generation for\u00a0Runtime Verification in\u00a0Hardware and\u00a0Software"],"prefix":"10.1007","author":[{"given":"Chris","family":"Johannsen","sequence":"first","affiliation":[]},{"given":"Phillip","family":"Jones","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Kempa","sequence":"additional","affiliation":[]},{"given":"Kristin Yvonne","family":"Rozier","sequence":"additional","affiliation":[]},{"given":"Pei","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,7,17]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Ryan, J.C., Cummings, M.L., Roy, N., Banerjee, A., Schulte, A.: Designing an Interactive Local and Global Decision Support System for Aircraft Carrier Deck Scheduling. AIAA Infotech (2011)","DOI":"10.2514\/6.2011-1516"},{"key":"23_CR2","doi-asserted-by":"publisher","unstructured":"Aurandt, A., Jones, P., Rozier, K.Y.: Runtime verification triggers real-time, autonomous fault recovery on the CySat-I. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NASA Formal Methods. NFM 2022. LNCS, vol. 13260, pp. 816\u2013825. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_45","DOI":"10.1007\/978-3-031-06773-0_45"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Badger, J.M., Strawser, P., Claunch, C.: A distributed hierarchical framework for autonomous spacecraft control. In: 2019 IEEE Aerospace Conference, pp. 1\u20138. IEEE (2019)","DOI":"10.1109\/AERO.2019.8742199"},{"issue":"8","key":"23_CR4","first-page":"677","volume":"C\u201335","author":"R Bryant","year":"1986","unstructured":"Bryant, R.: Graph-based algorithms for Boolean-function manipulation. IEEE TC C\u201335(8), 677\u2013691 (1986)","journal-title":"IEEE TC"},{"key":"23_CR5","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-030-59155-7_26","volume-title":"Software Architecture","author":"M Cauwels","year":"2020","unstructured":"Cauwels, M., Hammer, A., Hertz, B., Jones, P.H., Rozier, K.Y.: Integrating runtime verification into an automated UAS traffic management system. In: Muccini, H., et al. (eds.) ECSA 2020. CCIS, vol. 1269, pp. 340\u2013357. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59155-7_26"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Cooper, K., Eckhardt, J., Kennedy, K.: Redundancy elimination revisited. In: 2008 International Conference on Parallel Architectures and Compilation Techniques (PACT), pp. 12\u201321 (2008)","DOI":"10.1145\/1454115.1454120"},{"key":"23_CR7","unstructured":"Cooper, K.D., Torczon, L.: Engineering a Compiler. Elsevier (2011)"},{"key":"23_CR8","doi-asserted-by":"publisher","unstructured":"Dabney, J.B., Badger, J.M., Rajagopal, P.: Adding a verification view for an autonomous real-time system architecture. In: Proceedings of SciTech Forum. p. Online. 2021\u20130566, AIAA, January 2021. https:\/\/doi.org\/10.2514\/6.2021-0566","DOI":"10.2514\/6.2021-0566"},{"key":"23_CR9","unstructured":"Dabney, J.B.: Using assume-guarantee contracts in autonomous spacecraft. Flight Software Workshop (FSW), February 2021. https:\/\/www.youtube.com\/watch?v=zrtyiyNf674"},{"key":"23_CR10","unstructured":"Dabney, J.B., Rajagopal, P., Badger, J.M.: Using assume-guarantee contracts for developmental verification of autonomous spacecraft. Flight Software Workshop (FSW), February 2022. https:\/\/www.youtube.com\/watch?v=HFnn6TzblPg"},{"key":"23_CR11","doi-asserted-by":"publisher","unstructured":"Erzberger, H., Heere, K.: Algorithm and operational concept for resolving short-range conflicts. Proc. IMechE G J. Aerosp. Eng. 224(2), 225\u2013243 (2010). https:\/\/doi.org\/10.1243\/09544100JAERO546, http:\/\/pig.sagepub.com\/content\/224\/2\/225.abstract","DOI":"10.1243\/09544100JAERO546"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-030-03769-7_14","volume-title":"Runtime Verification","author":"Y Falcone","year":"2018","unstructured":"Falcone, Y., Krsti\u0107, S., Reger, G., Traytel, D.: A taxonomy for classifying runtime verification tools. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 241\u2013262. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_14"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-11164-3_18","volume-title":"Runtime Verification","author":"J Geist","year":"2014","unstructured":"Geist, J., Rozier, K.Y., Schumann, J.: Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 215\u2013230. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_18"},{"key":"23_CR14","doi-asserted-by":"publisher","unstructured":"Hammer, A., Cauwels, M., Hertz, B., Jones, P., Rozier, K.Y.: Integrating runtime verification into an automated UAS traffic management system (2021). https:\/\/doi.org\/10.1007\/s11334-021-00407-5","DOI":"10.1007\/s11334-021-00407-5"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Hertz, B., Luppen, Z., Rozier, K.Y.: Integrating runtime verification into a sounding rocket control system. In: Proceedings of the 13th NASA Formal Methods Symposium (NFM 2021), May 2021. http:\/\/temporallogic.org\/research\/NFM21\/","DOI":"10.1007\/978-3-030-76384-8_10"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Johannsen, C., et al.: OpenUAS Version 1.0. IEEE, Athens, Greece (Virtual), June 2021","DOI":"10.1109\/ICUAS51884.2021.9476814"},{"key":"23_CR17","unstructured":"Kempa, B., Johannsen, C., Rozier, K.Y.: Improving usability and trust in real-time verification of a large-scale complex safety-critical system. Ada User Journal (2022)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-030-57628-8_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B Kempa","year":"2020","unstructured":"Kempa, B., Zhang, P., Jones, P.H., Zambreno, J., Rozier, K.Y.: Embedding online runtime verification for fault disambiguation on Robonaut2. In: Bertrand, N., Jansen, N. (eds.) FORMATS 2020. LNCS, vol. 12288, pp. 196\u2013214. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57628-8_12https:\/\/research.temporallogic.org\/papers\/KZJZR20.pdf"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-030-03769-7_25","volume-title":"Runtime Verification","author":"J Li","year":"2018","unstructured":"Li, J., Rozier, K.Y.: MLTL benchmark generation via formula progression. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 426\u2013433. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_25"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-25543-5_1","volume-title":"Computer Aided Verification","author":"J Li","year":"2019","unstructured":"Li, J., Vardi, M.Y., Rozier, K.Y.: Satisfiability checking for mission-time LTL. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11562, pp. 3\u201322. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25543-5_1"},{"key":"23_CR21","unstructured":"Lowry, M., Bajwa, A., Quach, P., Karsai, G., Rozier, K., Rayadurgam, S.: Autonomy Operating System for UAVs, April 2017. https:\/\/nari.arc.nasa.gov\/sites\/default\/files\/attachments\/15%29%20Mike%20Lowry%20SAEApril19-2017.Final_.pdf"},{"key":"23_CR22","unstructured":"Lowry, M., Bajwa, A.: Autonomy Operating System (AOS) for UAVs. Proposal Presentation, NASA Ames Research Center, Moffett Field, California, June 2015"},{"key":"23_CR23","doi-asserted-by":"publisher","unstructured":"Luppen, Z., et al.: Elucidation and analysis of specification patterns in aerospace system telemetry. In: In: Deshmukh, J.V., Havelund, K., Perez, I. (eds) NASA Formal Methods. NFM 2022. LNCS, vol. 13260, pp. 527\u2013537. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_28","DOI":"10.1007\/978-3-031-06773-0_28"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Luppen, Z.A., Lee, D.Y., Rozier, K.Y.: A case study in formal specification and runtime verification of a CubeSat communications system. In: SciTech. AIAA, Nashville, TN, USA, January 2021","DOI":"10.2514\/6.2021-0997"},{"key":"23_CR25","unstructured":"McComas, D.: NASA\/GSFC\u2019s Flight Software Core Flight System. In: Flight Software Workshop. Southwest Research Institute, San Antonio, Texas, November 2012"},{"key":"23_CR26","unstructured":"McMillan, K.L.: The SMV Language. Cadence Berkeley Labs, pp. 1\u201349 (1999)"},{"key":"23_CR27","doi-asserted-by":"publisher","unstructured":"Moosbrugger, P., Rozier, K.Y., Schumann, J.: R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems, pp. 1\u201331, April 2017. https:\/\/doi.org\/10.1007\/s10703-017-0275-x","DOI":"10.1007\/s10703-017-0275-x"},{"key":"23_CR28","unstructured":"NASA: core Flight System (cFS) Background and Overview (2014). https:\/\/cfs.gsfc.nasa.gov\/cFS-OviewBGSlideDeck-ExportControl-Final.pdf"},{"key":"23_CR29","unstructured":"NASA: NASA Export Control Program Operations Manual (2015). https:\/\/nodis3.gsfc.nasa.gov\/NPR_attachments\/N_AII_2190_0001.pdf"},{"key":"23_CR30","unstructured":"Okubo, N.: Using R2U2 in JAXA program. Electronic correspondence (November-December 2020). series of emails and zoom call from JAXA to PI with technical questions about embedding R2U2 into an autonomous satellite mission with a provable memory bound of 200KB"},{"key":"23_CR31","unstructured":"Open Robotics: Robot Operating System (ROS) (2021). https:\/\/www.ros.org\/"},{"key":"23_CR32","unstructured":"Radio Technical Commission for Aeronautics: DO-333 - formal methods supplement to DO-178C and DO-278A (2011). https:\/\/www.rtca.org\/content\/standards-guidance-materials"},{"key":"23_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-030-59152-6_13","volume-title":"Automated Technology for Verification and Analysis","author":"M Raszyk","year":"2020","unstructured":"Raszyk, M., Basin, D., Traytel, D.: Multi-head monitoring of metric dynamic logic. In: Hung, D.V., Sokolsky, O. (eds.) ATVA 2020. LNCS, vol. 12302, pp. 233\u2013250. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_13"},{"key":"23_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-54862-8_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Reinbacher","year":"2014","unstructured":"Reinbacher, T., Rozier, K.Y., Schumann, J.: Temporal-logic based runtime observer pairs for system health management of real-time systems. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 357\u2013372. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_24"},{"key":"23_CR35","unstructured":"Rozier, K.Y.: R2U2 in space: system and software health management for small satellites. In: Spacecraft Flight Software Workshop (FSW), December 2016. https:\/\/www.youtube.com\/watch?v=OAgQFuEGSi8, https:\/\/www.youtube.com\/watch?v=OAgQFuEGSi8"},{"key":"23_CR36","unstructured":"Rozier, K.Y., Schumann, J., Ippolito, C.: Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS. Technical Memorandum NASA\/TM-2015-218817, NASA, NASA Ames Research Center, Moffett Field, CA 94035, USA, May 2015"},{"key":"23_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-319-48869-1_2","volume-title":"Verified Software. Theories, Tools, and Experiments","author":"KY Rozier","year":"2016","unstructured":"Rozier, K.Y.: Specification: the biggest bottleneck in formal methods and autonomy. In: Blazy, S., Chechik, M. (eds.) VSTTE 2016. LNCS, vol. 9971, pp. 8\u201326. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48869-1_2"},{"key":"23_CR38","doi-asserted-by":"crossref","unstructured":"Rozier, K.Y.: On the evaluation and comparison of runtime verification tools for hardware and cyber-physical systems. In: Proceedings of International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CUBES), Seattle, WA, USA, vol. 3, pp. 123\u2013137. Kalpa Publications, September 2017. https:\/\/easychair.org\/publications\/paper\/877G","DOI":"10.29007\/pld3"},{"key":"23_CR39","unstructured":"Rozier, K.Y., Schumann, J.: R2U2: tool overview. In: Proceedings of International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CUBES), Seattle, WA, USA, vol. 3, pp. 138\u2013156. Kalpa Publications, September 2017. https:\/\/easychair.org\/publications\/paper\/Vncw"},{"key":"23_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-23820-3_15","volume-title":"Runtime Verification","author":"J Schumann","year":"2015","unstructured":"Schumann, J., Moosbrugger, P., Rozier, K.Y.: R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 233\u2013249. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_15"},{"key":"23_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-319-46982-9_35","volume-title":"Runtime Verification","author":"J Schumann","year":"2016","unstructured":"Schumann, J., Moosbrugger, P., Rozier, K.Y.: Runtime analysis with R2U2: a tool exhibition report. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 504\u2013509. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46982-9_35"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"Schumann, J., Roychoudhury, I., Kulkarni, C.: Diagnostic reasoning using prognostic information for unmanned aerial systems. In: Proceedings of the 2015 Annual Conference of the Prognostics and Health Management Society (PHM2015) (2015)","DOI":"10.36001\/phmconf.2015.v7i1.2548"},{"key":"23_CR43","doi-asserted-by":"crossref","unstructured":"Schumann, J., Rozier, K.Y., Reinbacher, T., Mengshoel, O.J., Mbaya, T., Ippolito, C.: Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems. In: Proceedings of the 2013 Annual Conference of the Prognostics and Health Management Society (PHM2013), pp. 381\u2013401, October 2013","DOI":"10.36001\/phmconf.2013.v5i1.2275"},{"issue":"1","key":"23_CR44","first-page":"1","volume":"6","author":"J Schumann","year":"2015","unstructured":"Schumann, J., Rozier, K.Y., Reinbacher, T., Mengshoel, O.J., Mbaya, T., Ippolito, C.: Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems. Int. J. Prognostics Health Manage. (IJPHM) 6(1), 1\u201327 (2015)","journal-title":"Int. J. Prognostics Health Manage. (IJPHM)"},{"issue":"3","key":"23_CR45","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/j.scico.2014.04.002","volume":"96","author":"Y Zhao","year":"2014","unstructured":"Zhao, Y., Rozier, K.Y.: Formal specification and verification of a coordination protocol for an automated air traffic control system. Sci. Comput. Program. J. 96(3), 337\u2013353 (2014)","journal-title":"Sci. Comput. Program. J."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-37709-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T06:58:25Z","timestamp":1729753105000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-37709-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031377082","9783031377099"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-37709-9_23","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":"17 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","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":"17 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.i-cav.org\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"hotcrp","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"261","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":"67","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":"26% - 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":"11","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)"}}]}}