{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:54:08Z","timestamp":1743152048676,"version":"3.40.3"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030884932"},{"type":"electronic","value":"9783030884949"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-88494-9_5","type":"book-chapter","created":{"date-parts":[[2021,10,5]],"date-time":"2021-10-05T17:23:18Z","timestamp":1633454598000},"page":"81-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Specification and Monitoring of Timed Normative Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2165-3698","authenticated-orcid":false,"given":"Shaun","family":"Azzopardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0743-6272","authenticated-orcid":false,"given":"Gordon","family":"Pace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Schapachnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0629-6853","authenticated-orcid":false,"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,6]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: Logics and models of real time: a survey. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 74\u2013106. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0031988"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-21268-0_18","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems VI","author":"S Alvarez-Napagao","year":"2011","unstructured":"Alvarez-Napagao, S., Aldewereld, H., V\u00e1zquez-Salceda, J., Dignum, F.: Normative monitoring: semantics and implementation. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN -2010. LNCS (LNAI), vol. 6541, pp. 321\u2013336. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21268-0_18"},{"unstructured":"Azzopardi, S.: Extending contract automata with reparation, hypothetical and conditional clauses. Technical report, University of Malta, May 2014","key":"5_CR3"},{"doi-asserted-by":"crossref","unstructured":"Azzopardi, S., Colombo, C., Ebejer, J.-P., Mallia, E., Pace, G.J.: Runtime verification using VALOUR. In: RV-CuBES 2017. Kalpa Publications in Computing, vol. 3, pp. 10\u201318 (2017)","key":"5_CR4","DOI":"10.29007\/bwd4"},{"unstructured":"Azzopardi, S., Gatt, A., Pace, G.J.: Reasoning about partial contracts. In: JURIX 2016, pp. 23\u201332 (2016)","key":"5_CR5"},{"unstructured":"Azzopardi, S., Pace, G.J., Schapachnik, F.: Contract automata with reparations. In: JURIX 2014, pp. 49\u201354 (2014)","key":"5_CR6"},{"unstructured":"Azzopardi, S., Pace, G.J., Schapachnik, F.: On observing contracts: deontic contracts meet smart contracts. In: JURIX 2018, pp. 21\u201330 (2018)","key":"5_CR7"},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10506-016-9185-2","volume":"24","author":"S Azzopardi","year":"2016","unstructured":"Azzopardi, S., Pace, G.J., Schapachnik, F., Schneider, G.: Contract automata - an operational view of contracts between interactive parties. Artif. Intell. Law 24(3), 203\u2013243 (2016)","journal-title":"Artif. Intell. Law"},{"doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4) (2011)","key":"5_CR9","DOI":"10.1145\/2000799.2000800"},{"doi-asserted-by":"crossref","unstructured":"Bouyer, P., Laroussinie, F.: Model checking timed automata. In: Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, pp. 111\u2013140 (2010)","key":"5_CR10","DOI":"10.1002\/9780470611012.ch4"},{"unstructured":"Cambronero, M., Llana, L., Pace, G.J.: Timed contract compliance under event timing uncertainty (2019, submitted for publication)","key":"5_CR11"},{"doi-asserted-by":"crossref","unstructured":"Camilleri, J.J., Haghshenas, M.R., Schneider, G.: A web-based tool for analysing normative documents in English. In: SAC-SVT 2018, pp. 1865\u20131872. ACM (2018)","key":"5_CR12","DOI":"10.1145\/3167132.3167331"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.jlamp.2017.05.002","volume":"91","author":"JJ Camilleri","year":"2017","unstructured":"Camilleri, J.J., Schneider, G.: Modelling and analysis of normative documents. Logical Algebraic Methods Program. 91, 33\u201359 (2017)","journal-title":"Logical Algebraic Methods Program."},{"issue":"5","key":"5_CR14","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269\u2013276 (1991)","journal-title":"Inf. Process. Lett."},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-03240-0_13","volume-title":"Formal Methods for Industrial Critical Systems","author":"C Colombo","year":"2009","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol. 5596, pp. 135\u2013149. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03240-0_13"},{"issue":"8","key":"5_CR16","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1109\/TSE.2013.54","volume":"40","author":"G D\u00edaz","year":"2014","unstructured":"D\u00edaz, G., Cambronero, M.-E., Mart\u00ednez, E., Schneider, G.: Specification and verification of normative texts using C-O Diagrams. Trans. Softw. Eng. 40(8), 795\u2013817 (2014)","journal-title":"Trans. Softw. Eng."},{"issue":"2\u20133","key":"5_CR17","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"ADH Farrell","year":"2005","unstructured":"Farrell, A.D.H., Sergot, M.J., Sall\u00e9, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. Int. J. Cooperative Inf. Syst. 14(2\u20133), 99\u2013129 (2005)","journal-title":"Int. J. Cooperative Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Fenech, S., Okika, J., Pace, G.J., Ravn, A.P., Schneider, G.: On the specification of full contracts. In: FESCA 2009. ENTCS, vol. 253(1), pp. 39\u201355 (2009)","key":"5_CR18","DOI":"10.1016\/j.entcs.2009.09.027"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-03466-4_13","volume-title":"Theoretical Aspects of Computing - ICTAC 2009","author":"S Fenech","year":"2009","unstructured":"Fenech, S., Pace, G.J., Schneider, G.: Automatic conflict detection on contracts. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol. 5684, pp. 200\u2013214. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03466-4_13"},{"unstructured":"Gabbay, D., van der Meyden, R., Horty, J., Parent, X., van der Torre, L.: The Handbook of Deontic Logic. College Publications (2013)","key":"5_CR20"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-030-58768-0_13","volume-title":"Software Engineering and Formal Methods","author":"A Aranda Garc\u00eda","year":"2020","unstructured":"Aranda Garc\u00eda, A., Cambronero, M.-E., Colombo, C., Llana, L., Pace, G.J.: Runtime verification of contracts with Themulus. In: de Boer, F., Cerone, A. (eds.) SEFM 2020. LNCS, vol. 12310, pp. 231\u2013246. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58768-0_13"},{"issue":"237","key":"5_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GHV Wright","year":"1951","unstructured":"Wright, G.H.V.: Deontic logic. Mind 60(237), 1\u201315 (1951)","journal-title":"Mind"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1111\/1467-9337.00106","volume":"12","author":"GHV Wright","year":"1999","unstructured":"Wright, G.H.V.: Deontic logic: a personal view. Ratio Juris 12, 26\u201338 (1999)","journal-title":"Ratio Juris"},{"doi-asserted-by":"crossref","unstructured":"Gor\u00edn, D., Mera, S., Schapachnik, F.: A software tool for legal drafting. In: FLACOS 2011, pp. 1\u201315. Elsevier (2011)","key":"5_CR24","DOI":"10.4204\/EPTCS.68.7"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-540-76928-6_50","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G Governatori","year":"2007","unstructured":"Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486\u2013496. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76928-6_50"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-22359-4_25","volume-title":"Computational Logic in Multi-Agent Systems","author":"G Governatori","year":"2011","unstructured":"Governatori, G., Rotolo, A.: Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA 2011. LNCS (LNAI), vol. 6814, pp. 364\u2013382. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22359-4_25"},{"doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005, pp. 25\u201334 (2005)","key":"5_CR27","DOI":"10.1145\/1165485.1165490"},{"issue":"3","key":"5_CR28","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1111\/j.1755-2567.2006.tb00958.x","volume":"72","author":"J Hansen","year":"2006","unstructured":"Hansen, J.: The paradoxes of deontic logic: alive and kicking. Theoria 72(3), 221\u2013232 (2006)","journal-title":"Theoria"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-319-09870-8_22","volume-title":"Rules on the Web. From Theory to Applications","author":"M Hashmi","year":"2014","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Modeling obligations with event-calculus. In: Bikakis, A., Fodor, P., Roman, D. (eds.) RuleML 2014. LNCS, vol. 8620, pp. 296\u2013310. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09870-8_22"},{"issue":"3","key":"5_CR30","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10796-015-9558-1","volume":"18","author":"M Hashmi","year":"2015","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Normative requirements for regulatory compliance: an abstract formal framework. Inf. Syst. Front. 18(3), 429\u2013455 (2015). https:\/\/doi.org\/10.1007\/s10796-015-9558-1","journal-title":"Inf. Syst. Front."},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/BFb0055640","volume-title":"CONCUR\u201998 Concurrency Theory","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A.: It\u2019s about time: real-time logics reviewed. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 439\u2013454. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055640"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-319-11164-3_15","volume-title":"Runtime Verification","author":"H-M Ho","year":"2014","unstructured":"Ho, H.-M., Ouaknine, J., Worrell, J.: Online monitoring of metric temporal logic. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 178\u2013192. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_15"},{"unstructured":"Ho, H.-M., Ouaknine, J., Worrell, J.: On the expressiveness and monitoring of metric temporal logic. CoRR, abs\/1803.02653 (2018)","key":"5_CR33"},{"issue":"2","key":"5_CR34","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1111\/j.1755-2567.1966.tb00594.x","volume":"32","author":"S Kanger","year":"1966","unstructured":"Kanger, S., Kanger, H.: Rights and parliamentarism. Theoria 32(2), 85\u2013115 (1966)","journal-title":"Theoria"},{"unstructured":"Konur, S.: Real-time and probabilistic temporal logics: an overview. CoRR, abs\/1005.3200 (2010)","key":"5_CR35"},{"unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc. (2002)","key":"5_CR36"},{"issue":"1","key":"5_CR37","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Softw. Tools Technol. Transfer 1(1), 134\u2013152 (1997)","journal-title":"Softw. Tools Technol. Transfer"},{"doi-asserted-by":"crossref","unstructured":"Mart\u00ednez, E., D\u00edaz, G., Cambronero, M.-E., Schneider, G.: A model for visual specification of E-contracts. In: IEEE SCC 2010, pp. 1\u20138. IEEE Computer Society (2010)","key":"5_CR38","DOI":"10.1109\/SCC.2010.32"},{"doi-asserted-by":"crossref","unstructured":"McNamara, P.: Deontic logic. In: Gabbay, D.M., Woods, J., (eds.) Handbook of the History of Logic, vol. 7, pp. 197\u2013289. North-Holland Publishing (2006)","key":"5_CR39","DOI":"10.1016\/S1874-5857(06)80029-4"},{"unstructured":"Meyer, J.-J., Dignum, F., Johannes, R.: The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective. Technical report UU-CS-1994-38, EWI-IS: Department of Computer Science, University of Utrecht, Utrecht, September 1994","key":"5_CR40"},{"key":"5_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-12896-4_374","volume-title":"Logics of Programs","author":"B Moszkowski","year":"1984","unstructured":"Moszkowski, B., Manna, Z.: Reasoning in interval temporal logic. In: Clarke, E., Kozen, D. (eds.) Logic of Programs 1983. LNCS, vol. 164, pp. 371\u2013382. Springer, Heidelberg (1984). https:\/\/doi.org\/10.1007\/3-540-12896-4_374"},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-15297-9_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"D Ni\u010dkovi\u0107","year":"2010","unstructured":"Ni\u010dkovi\u0107, D., Piterman, N.: From Mtl to deterministic timed automata. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 152\u2013167. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_13"},{"key":"5_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-642-00255-7_20","volume-title":"Integrated Formal Methods","author":"GJ Pace","year":"2009","unstructured":"Pace, G.J., Schneider, G.: Challenges in the specification of full contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 292\u2013306. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00255-7_20"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-72952-5_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C Prisacariu","year":"2007","unstructured":"Prisacariu, C., Schneider, G.: A formal language for electronic contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174\u2013189. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72952-5_11"},{"issue":"4","key":"5_CR45","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1016\/j.jlap.2012.03.003","volume":"81","author":"C Prisacariu","year":"2012","unstructured":"Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. J. Logic Algebraic Program. 81(4), 458\u2013490 (2012)","journal-title":"J. Logic Algebraic Program."},{"key":"5_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-030-30942-8_25","volume-title":"Formal Methods \u2013 The Next 30 Years","author":"S Stucki","year":"2019","unstructured":"Stucki, S., S\u00e1nchez, C., Schneider, G., Bonakdarpour, B.: Gray-box monitoring of hyperproperties. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 406\u2013424. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_25"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88494-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:14:00Z","timestamp":1725876840000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88494-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030884932","9783030884949"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88494-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"6 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/uva-mcps-lab.github.io\/RV21\/","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":"40","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":"11","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":"7","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.5","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.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)"}}]}}