{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T03:30:56Z","timestamp":1772940656312,"version":"3.50.1"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031067723","type":"print"},{"value":"9783031067730","type":"electronic"}],"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-06773-0_28","type":"book-chapter","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T11:24:44Z","timestamp":1652959484000},"page":"527-537","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Elucidation and\u00a0Analysis of\u00a0Specification Patterns in\u00a0Aerospace System Telemetry"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0704-843X","authenticated-orcid":false,"given":"Zachary","family":"Luppen","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1680-4535","authenticated-orcid":false,"given":"Michael","family":"Jacks","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1217-2267","authenticated-orcid":false,"given":"Nathan","family":"Baughman","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0184-9925","authenticated-orcid":false,"given":"Muhamed","family":"Stilic","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2114-062X","authenticated-orcid":false,"given":"Ryan","family":"Nasers","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1627-9715","authenticated-orcid":false,"given":"Benjamin","family":"Hertz","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6984-6851","authenticated-orcid":false,"given":"James","family":"Cutler","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6083-1805","authenticated-orcid":false,"given":"Dae-Young","family":"Lee","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6718-2828","authenticated-orcid":false,"given":"Kristin Yvonne","family":"Rozier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,20]]},"reference":[{"key":"28_CR1","unstructured":"AeroVironment, I.: Vapor uas: Helicopter drone with drop delivery (2021). https:\/\/www.avinc.com\/uas\/vapor"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Aurandt, A., Jones, P., Rozier, K.Y.: Runtime verification triggers real-time, autonomous fault recovery on the CySat-I. In: Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022). Springer, Caltech, California, USA, May 2022","DOI":"10.1007\/978-3-031-06773-0_45"},{"key":"28_CR3","unstructured":"Balloonnews, Balloonnews: 10 ways that a high altitude balloon flight can go wrong August 2014. https:\/\/balloonnews.wordpress.com\/2014\/04\/10\/10-ways-that-a-high-altitude-balloon-flight-can-go-wrong\/"},{"key":"28_CR4","unstructured":"Basta, T., Miller, S., Clark, R.T.: Weather Balloon Altitude Control System. Montana State University (2014\u20132015)"},{"key":"28_CR5","unstructured":"Bekker, D.L., et al.: Grifex payload data system architecture for on-orbit focal plane array evaluation. In: Proceedings of the American Geophysical Union, Fall Meeting 2012 (2012)"},{"key":"28_CR6","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., Avgeriou, P., Buhnova, B., Camara, J., Caporuscio, M., Franzago, M., Koziolek, A., Scandurra, P., Trubiani, C., Weyns, D., Zdun, U. (eds.) ECSA 2020. CCIS, vol. 1269, pp. 340\u2013357. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59155-7_26"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Dabney, J.B., Badger, J.M., Rajagopal, P.: Adding a verification view for an autonomous real-time system architecture. In: AIAA Scitech 2021 Forum, p. 0566, January 2021. https:\/\/doi.org\/10.2514\/6.2021-0566","DOI":"10.2514\/6.2021-0566"},{"key":"28_CR8","unstructured":"ESRA Board of Directors: 2019 spaceport america cup (2019). http:\/\/www.soundingrocket.org\/2019-sa-cup.html"},{"issue":"1","key":"28_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-020-09487-2","volume":"35","author":"M Fisher","year":"2020","unstructured":"Fisher, M., Mascardi, V., Rozier, K.Y., Schlingloff, B.-H., Winikoff, M., Yorke-Smith, N.: Towards a framework for certification of reliable autonomous systems. Auton. Agent. Multi-Agent Syst. 35(1), 1\u201365 (2020). https:\/\/doi.org\/10.1007\/s10458-020-09487-2","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"28_CR10","unstructured":"Garg, K.: Autonomous Navigation System for High Altitude Balloons. Ph.D. thesis, Lule\u00e5 Technical University, Graphic Production 2019 (2019)"},{"key":"28_CR11","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":"28_CR12","doi-asserted-by":"publisher","unstructured":"Gross, K.H., et al.: Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System, pp. 1\u201315. AIAA Infotech (2020). https:\/\/doi.org\/10.2514\/6.2016-0222, https:\/\/arc.aiaa.org\/doi\/abs\/10.2514\/6.2016-0222","DOI":"10.2514\/6.2016-0222"},{"key":"28_CR13","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. Innovations in Systems and Software Engineering: A NASA Journal, July 2021. https:\/\/doi.org\/10.1007\/s11334-021-00407-5","DOI":"10.1007\/s11334-021-00407-5"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-030-76384-8_10","volume-title":"NASA Formal Methods","author":"B Hertz","year":"2021","unstructured":"Hertz, B., Luppen, Z., Rozier, K.Y.: Integrating runtime verification into a sounding rocket control system. In: Dutle, A., Moscato, M.M., Titolo, L., Mu\u00f1oz, C.A., Perez, I. (eds.) NFM 2021. LNCS, vol. 12673, pp. 151\u2013159. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76384-8_10"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Kempa, B., Zhang, P., Jones, P.H., Zambreno, J., Rozier, K.Y.: Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. In: Proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Lecture Notes in Computer Science (LNCS), vol. TBD, p. TBD. Springer, Vienna, Austria (September 2020). TBD, http:\/\/research.temporallogic.org\/papers\/KZJZR20.pdf","DOI":"10.1007\/978-3-030-57628-8_12"},{"key":"28_CR16","unstructured":"eXploration Lab, T.M.: Grifex (2021). https:\/\/exploration.engin.umich.edu\/blog\/?page_id=2684"},{"key":"28_CR17","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":"28_CR18","unstructured":"Luppen, Z., Jacks, M., Baughman, N., Stilic, M., Nasers, R., Lee, D.Y., Rozier, K.Y., Cutler, J.: Runtime verification of the dynamic performance degradation of the grifex cubesat (under review). In: NASA Formal Methods. Springer International Publishing (2022)"},{"key":"28_CR19","unstructured":"M2I: Make to innovate (m:2:i) (2021). https:\/\/m2i.aere.iastate.edu\/"},{"key":"28_CR20","unstructured":"M2I: Project goals (habet) (2021). https:\/\/m2i.aere.iastate.edu\/habet\/project-goals-and-scope-of-work\/"},{"key":"28_CR21","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (2012). https:\/\/books.google.com\/books?id=lfIGCAAAQBAJ"},{"key":"28_CR22","unstructured":"Marshall, R.: Cutdown mechanisms, March 2021. https:\/\/sites.google.com\/site\/ki4mcw\/Home\/cutdown-mechanisms"},{"key":"28_CR23","doi-asserted-by":"publisher","unstructured":"Merkert, R., Bushell, J.: Managing the drone revolution: a systematic literature review into the current use of airborne drones and future strategic directions for their effective control. J. Air Transp. Manage. 89, 101929 (2020). https:\/\/doi.org\/10.1016\/j.jairtraman.2020.101929. https:\/\/doi.org\/10.1016\/j.jairtraman.2020.101929","DOI":"10.1016\/j.jairtraman.2020.101929"},{"key":"28_CR24","unstructured":"Meyer, J.J., Flaten, J.A., Candler, G.V.: Pdf, April 2021"},{"key":"28_CR25","unstructured":"Tolmasoff, M., Santos, R.D., Venturini, C.: Improving mission success of cubesats. In: Proceedings of the U.S. Space Program Mission Assurance Improvement Workshop, May 2007"},{"key":"28_CR26","doi-asserted-by":"publisher","unstructured":"Moldwin, M., Sharma, S., Deshmukh, A., Scott, C., Cutler, J.: Machine learning algorithms for spacecraft magnetic field interference cancellation: enabling satellite magnetometry without a boom. Earth and Space Science Open Archive, p. 1 (2019). https:\/\/doi.org\/10.1002\/essoar.10500304.1. https:\/\/www.essoar.org\/doi\/abs\/10.1002\/essoar.10500304.1","DOI":"10.1002\/essoar.10500304.1"},{"issue":"1","key":"28_CR27","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10703-017-0275-x","volume":"51","author":"P Moosbrugger","year":"2017","unstructured":"Moosbrugger, P., Rozier, K.Y., Schumann, J.: R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. Formal Methods Syst. Design 51(1), 31\u201361 (2017). https:\/\/doi.org\/10.1007\/s10703-017-0275-x","journal-title":"Formal Methods Syst. Design"},{"key":"28_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11916246_16","volume-title":"Rigorous Development of Complex Fault-Tolerant Systems","author":"C Mu\u00f1oz","year":"2006","unstructured":"Mu\u00f1oz, C., Carre\u00f1o, V., Dowek, G.: Formal analysis of the operational concept for the small aircraft transportation system. In: Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds.) Rigorous Development of Complex Fault-Tolerant Systems. LNCS, vol. 4157, pp. 306\u2013325. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11916246_16"},{"key":"28_CR29","volume-title":"CubeSat 101","author":"NASA CubeSat Launch Initiative","year":"2017","unstructured":"NASA CubeSat Launch Initiative: CubeSat 101, 1st edn. California Polytechnic State University, San Luis Obispo (Cal Poly) CubeSat Systems Engineer Lab (2017)","edition":"1"},{"key":"28_CR30","doi-asserted-by":"publisher","unstructured":"Norton, C.D., Pasciuto, M.P., Pingree, P., Chien, S., Rider, D.: Spaceborne flight validation of nasa esto technologies. In: 2012 IEEE International Geoscience and Remote Sensing Symposium, pp. 5650\u20135653 (2012). https:\/\/doi.org\/10.1109\/IGARSS.2012.6352330","DOI":"10.1109\/IGARSS.2012.6352330"},{"key":"28_CR31","unstructured":"Papp, D.: Archery release becomes reusable balloon cutdown mechanism, March 2021. https:\/\/hackaday.com\/2021\/03\/27\/archery-release-becomes-reusable-balloon-cutdown-mechanism\/"},{"key":"28_CR32","doi-asserted-by":"publisher","unstructured":"Peng, Z., Lu, Y., Miller, A., Johnson, C., Zhao, T.: A probabilistic model checking approach to analysing reliability, availability, and maintainability of a single satellite system. In: 2013 European Modelling Symposium, pp. 611\u2013616, November 2013. https:\/\/doi.org\/10.1109\/EMS.2013.102","DOI":"10.1109\/EMS.2013.102"},{"key":"28_CR33","doi-asserted-by":"publisher","unstructured":"Phillips, T., et al.: Space weather ballooning. Space Weather 14(10), 697\u2013703 (2016). https:\/\/doi.org\/10.1002\/2016SW001410. https:\/\/agupubs.onlinelibrary.wiley.com\/doi\/abs\/10.1002\/2016SW001410","DOI":"10.1002\/2016SW001410"},{"key":"28_CR34","doi-asserted-by":"crossref","unstructured":"Pike, L., Goodloe, A., Morisset, R., Niller, S.: Copilot: A hard real-time runtime monitor. In: Proceedings of the 1st International Conference on Runtime Verification. LNCS, Springer (November 2010), preprint available at https:\/\/leepike.github.io\/pub_pages\/rv2010.html","DOI":"10.1007\/978-3-642-16612-9_26"},{"key":"28_CR35","unstructured":"Pike, L., et al.: Copilot - realtime programming language and runtime verification framework, March 2022. https:\/\/copilot-language.github.io\/"},{"key":"28_CR36","unstructured":"Pingree, P., et al.: Cove, marina, and the future of on-board processing (obp) platforms for cubesat science missions, December 2012"},{"key":"28_CR37","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":"28_CR38","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":"28_CR39","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":"28_CR40","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). vol. 3, pp. 138\u2013156. Kalpa Publications, Seattle, WA, USA, September 2017. TBD. https:\/\/easychair.org\/publications\/paper\/Vncw"},{"key":"28_CR41","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":"28_CR42","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"},{"issue":"1","key":"28_CR43","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)"},{"key":"28_CR44","unstructured":"Science, H.A.: Intro to weather balloons (2021). https:\/\/www.highaltitudescience.com\/pages\/intro-to-weather-balloons"},{"key":"28_CR45","unstructured":"Seibert, G.: The history of sounding rockets and their contribution to European space research. ESA History Study Reports, November 2006"},{"key":"28_CR46","unstructured":"Wong, K.: Nasa\u2019s deuce-carrying rocket fails to collect data due to technical glitch, November 2017. https:\/\/www.aerospace-technology.com\/news\/newsnasas-deuce-carrying-rocket-fails-to-collect-data-due-to-technical-glitch-5962942"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-06773-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T11:12:46Z","timestamp":1659352366000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-06773-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031067723","9783031067730"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-06773-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 May 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pasadena, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"24 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/shemesh.larc.nasa.gov\/nfm2022\/","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":"118","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":"33","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":"28% - 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":"6.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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}