{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T14:40:35Z","timestamp":1780497635546,"version":"3.54.1"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030451899","type":"print"},{"value":"9783030451905","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45190-5_26","type":"book-chapter","created":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T09:03:02Z","timestamp":1587114182000},"page":"463-482","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Rare Event Simulation for Non-Markovian Repairable Fault Trees"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8807-1548","authenticated-orcid":false,"given":"Carlos E.","family":"Budde","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8956-1175","authenticated-orcid":false,"given":"Marco","family":"Biagi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6964-1426","authenticated-orcid":false,"given":"Ra\u00fal E.","family":"Monti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8528-9215","authenticated-orcid":false,"given":"Pedro R.","family":"D\u2019Argenio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"key":"26_CR1","unstructured":"Abate, A., Budde, C.E., Cauchi, N., Hoque, K.A., Stoelinga, M.: Assessment of maintenance policies for smart buildings: Application of formal methods to fault maintenance trees. PHM Society European Conference 4(1) (2018), \nhttps:\/\/www.phmpapers.org\/index.php\/phme\/article\/view\/385"},{"key":"26_CR2","unstructured":"Bayes, A.J.: Statistical techniques for simulation models. Australian computer journal 2(4), 180\u2013184 (1970)"},{"key":"26_CR3","doi-asserted-by":"publisher","unstructured":"Beccuti, M., Codetta-Raiteri, D., Franceschinis, G., Haddad, S.: Non deterministic repairable fault trees for computing optimal repair strategy. In: VALUETOOLS 2008 (2010). \nhttps:\/\/doi.org\/10.4108\/ICST.VALUETOOLS2008.4411","DOI":"10.4108\/ICST.VALUETOOLS2008.4411"},{"key":"26_CR4","doi-asserted-by":"publisher","unstructured":"Blanchet, J., Mandjes, M.: Rare event simulation for queues. In: Rubino and Tuffin [36], pp. 87\u2013124. \nhttps:\/\/doi.org\/10.1002\/9780470745403.ch5","DOI":"10.1002\/9780470745403.ch5"},{"key":"26_CR5","doi-asserted-by":"publisher","unstructured":"Blom, H.A.P., Bakker, G.J.B., Krystul, J.: Rare event estimation for a large-scale stochastic hybrid system with air traffic application. In: Rubino and Tuffin [36], pp. 193\u2013214. \nhttps:\/\/doi.org\/10.1002\/9780470745403.ch9","DOI":"10.1002\/9780470745403.ch9"},{"key":"26_CR6","doi-asserted-by":"publisher","unstructured":"Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic gates and repair boxes. In: RAMS 2004. pp. 459\u2013465. IEEE (2004). \nhttps:\/\/doi.org\/10.1109\/RAMS.2004.1285491","DOI":"10.1109\/RAMS.2004.1285491"},{"key":"26_CR7","doi-asserted-by":"publisher","unstructured":"Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.: Architectural dependability evaluation with arcade. In: DSN\u201908. pp. 512\u2013521. IEEE Computer Society (2008). \nhttps:\/\/doi.org\/10.1109\/DSN.2008.4630122","DOI":"10.1109\/DSN.2008.4630122"},{"key":"26_CR8","unstructured":"Budde, C.E.: \nAutomation of Importance Splitting Techniques for Rare Event Simulation\n\n. Ph.D. thesis, FAMAF, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina (2017), \nhttps:\/\/famaf.biblio.unc.edu.ar\/cgi-bin\/koha\/opac-detail.pl?biblionumber=18143"},{"key":"26_CR9","unstructured":"Budde, C.E., Biagi, M., Monti, R.E., D\u2019Argenio, P.R., Stoelinga, M.: Rare event simulation for non-Markovian repairable fault trees. arXiv e-prints \narXiv:1910.11672\n\n (2019), \nhttps:\/\/arxiv.org\/abs\/1910.11672"},{"key":"26_CR10","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A.: Better automated importance splitting for transient rare events. In: SETTA. LNCS, vol. 10606, pp. 42\u201358. Springer (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-69483-2_3","DOI":"10.1007\/978-3-319-69483-2_3"},{"key":"26_CR11","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hermanns, H.: Rare event simulation with fully automated importance splitting. In: EPEW 2015. LNCS, vol. 9272, pp. 275\u2013290. Springer (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-23267-6_18","DOI":"10.1007\/978-3-319-23267-6_18"},{"key":"26_CR12","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: VALUETOOLS 2016. pp. 30\u201337 (2017). \nhttps:\/\/doi.org\/10.4108\/eai.25-10-2016.2266501","DOI":"10.4108\/eai.25-10-2016.2266501"},{"key":"26_CR13","doi-asserted-by":"publisher","unstructured":"Codetta-Raiteri, D., Iacono, M., Franceschinis, G., Vittorini, V.: Repairable fault tree for the automatic evaluation of repair policies. In: DSN 2004. pp. 659\u2013668. IEEE Computer Society (2004). \nhttps:\/\/doi.org\/10.1109\/DSN.2004.1311936","DOI":"10.1109\/DSN.2004.1311936"},{"key":"26_CR14","doi-asserted-by":"publisher","unstructured":"Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: a case study on dynamic fault trees. In: ISSRE 2000. pp. 270\u2013282 (2000). \nhttps:\/\/doi.org\/10.1109\/ISSRE.2000.885878","DOI":"10.1109\/ISSRE.2000.885878"},{"key":"26_CR15","doi-asserted-by":"publisher","unstructured":"Crouzen, P., Boudali, H., Stoelinga, M.: Dynamic fault tree analysis using input\/output interactive Markov chains. In: DSN 2007. pp. 708\u2013717. IEEE Computer Society (2007). \nhttps:\/\/doi.org\/10.1109\/DSN.2007.37","DOI":"10.1109\/DSN.2007.37"},{"key":"26_CR16","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Monti, R.E.: Input\/Output Stochastic Automata with Urgency: Confluence and weak determinism. In: ICTAC. LNCS, vol. 11187, pp. 132\u2013152. Springer (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-02508-3_8","DOI":"10.1007\/978-3-030-02508-3_8"},{"key":"26_CR17","doi-asserted-by":"publisher","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: ARMS 1990. pp. 286\u2013293. IEEE (1990). \nhttps:\/\/doi.org\/10.1109\/ARMS.1990.67971","DOI":"10.1109\/ARMS.1990.67971"},{"key":"26_CR18","doi-asserted-by":"publisher","unstructured":"Garvels, M.J.J., van Ommeren, J.K.C.W., Kroese, D.P.: On the importance function in splitting simulation. European Transactions on Telecommunications 13(4), 363\u2013371 (2002). \nhttps:\/\/doi.org\/10.1002\/ett.4460130408","DOI":"10.1002\/ett.4460130408"},{"key":"26_CR19","unstructured":"Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, Department of Computer Science, University of Twente, Enschede, The Netherlands (2000), \nhttp:\/\/eprints.eemcs.utwente.nl\/14291\/\n\n."},{"key":"26_CR20","doi-asserted-by":"publisher","unstructured":"Goyal, A., Shahabuddin, P., Heidelberger, P., Nicola, V.F., Glynn, P.W.: A unified framework for simulating Markovian models of highly dependable systems. IEEE Transactions on Computers 41(1), 36\u201351 (1992). \nhttps:\/\/doi.org\/10.1109\/12.123381","DOI":"10.1109\/12.123381"},{"key":"26_CR21","doi-asserted-by":"publisher","unstructured":"Guck, D., Spel, J., Stoelinga, M.: DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper). In: ICFEM 2015. LNCS, vol. 9407, pp. 304\u2013311. Springer (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-25423-4_19","DOI":"10.1007\/978-3-319-25423-4_19"},{"key":"26_CR22","doi-asserted-by":"publisher","unstructured":"Guck, D., Katoen, J.P., Stoelinga, M., Luiten, T., Romijn, J.: Smart railroad maintenance engineering with stochastic model checking. In: Railways 2014. Civil-Comp Proceedings, Civil-Comp Press (2014). \nhttps:\/\/doi.org\/10.4203\/ccp.104.299","DOI":"10.4203\/ccp.104.299"},{"key":"26_CR23","doi-asserted-by":"publisher","unstructured":"Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. ACM Trans. Model. Comput. Simul. 5(1), 43\u201385 (1995). \nhttps:\/\/doi.org\/10.1145\/203091.203094","DOI":"10.1145\/203091.203094"},{"key":"26_CR24","doi-asserted-by":"publisher","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Importance splitting for statistical model checking rare properties. In: CAV 2013. LNCS, vol. 8044, pp. 576\u2013591. Springer (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-39799-8_38","DOI":"10.1007\/978-3-642-39799-8_38"},{"key":"26_CR25","doi-asserted-by":"publisher","unstructured":"J\u00e9gourel, C., Legay, A., Sedwards, S., Traonouez, L.M.: Distributed verification of rare properties using importance splitting observers. In: AVoCS 2015. ECEASST, vol. 72 (2015). \nhttps:\/\/doi.org\/10.14279\/tuj.eceasst.72.1024","DOI":"10.14279\/tuj.eceasst.72.1024"},{"key":"26_CR26","doi-asserted-by":"publisher","unstructured":"Junges, S., Guck, D., Katoen, J.P., Rensink, A., Stoelinga, M.: Fault trees on a diet. In: SETTA 2015. LNCS, vol. 9409, pp. 3\u201318. Springer (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-25942-0_1","DOI":"10.1007\/978-3-319-25942-0_1"},{"key":"26_CR27","doi-asserted-by":"publisher","unstructured":"Junges, S., Guck, D., Katoen, J., Stoelinga, M.: Uncovering dynamic fault trees. In: DSN 2016. pp. 299\u2013310. IEEE Computer Society (2016). \nhttps:\/\/doi.org\/10.1109\/DSN.2016.35","DOI":"10.1109\/DSN.2016.35"},{"key":"26_CR28","unstructured":"Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling. National Bureau of Standards applied mathematics series 12, 27\u201330 (1951)"},{"key":"26_CR29","doi-asserted-by":"publisher","unstructured":"Katoen, J.P., Stoelinga, M.: Boosting Fault Tree Analysis by Formal Methods, LNCS, vol. 10500, pp. 368\u2013389. Springer (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-68270-9_19","DOI":"10.1007\/978-3-319-68270-9_19"},{"key":"26_CR30","doi-asserted-by":"publisher","unstructured":"L\u2019Ecuyer, P., Le Gland, F., Lezaud, P., Tuffin, B.: Splitting techniques. In: Rubino and Tuffin [36], pp. 39\u201361. \nhttps:\/\/doi.org\/10.1002\/9780470745403.ch3","DOI":"10.1002\/9780470745403.ch3"},{"key":"26_CR31","doi-asserted-by":"publisher","unstructured":"Liu, Y., Wu, Y., Kalbarczyk, Z.: Smart maintenance via dynamic fault tree analysis: A case study on Singapore MRT system. In: DSN 2017. pp. 511\u2013518. IEEE Computer Society (2017). \nhttps:\/\/doi.org\/10.1109\/DSN.2017.50","DOI":"10.1109\/DSN.2017.50"},{"key":"26_CR32","unstructured":"Monti, R.E.: Stochastic Automata for Fault Tolerant Concurrent Systems. Ph.D. thesis, FAMAF, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina (2018)"},{"key":"26_CR33","doi-asserted-by":"publisher","unstructured":"Nicola, V.F., Shahabuddin, P., Nakayama, M.K.: Techniques for fast simulation of models of highly dependable systems. IEEE Transactions on Reliability 50(3), 246\u2013264 (2001). \nhttps:\/\/doi.org\/10.1109\/24.974122","DOI":"10.1109\/24.974122"},{"key":"26_CR34","doi-asserted-by":"publisher","unstructured":"Ridder, A.: Importance sampling simulations of Markovian reliability systems using cross-entropy. Annals of Operations Research 134(1), 119\u2013136 (2005). \nhttps:\/\/doi.org\/10.1007\/s10479-005-5727-9","DOI":"10.1007\/s10479-005-5727-9"},{"key":"26_CR35","doi-asserted-by":"publisher","unstructured":"Rubino, G., Tuffin, B.: Introduction to rare event simulation. In: Rare Event Simulation Using Monte Carlo Methods [36], pp. 1\u201313. \nhttps:\/\/doi.org\/10.1002\/9780470745403.ch1","DOI":"10.1002\/9780470745403.ch1"},{"key":"26_CR36","doi-asserted-by":"crossref","unstructured":"Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods. John Wiley & Sons, Ltd (2009)","DOI":"10.1002\/9780470745403"},{"key":"26_CR37","doi-asserted-by":"publisher","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance analysis and optimization via statistical model checking. In: QEST 2016. LNCS, vol. 9826, pp. 331\u2013347. Springer (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-43425-4_22","DOI":"10.1007\/978-3-319-43425-4_22"},{"key":"26_CR38","doi-asserted-by":"publisher","unstructured":"Ruijters, E., Guck, D., van Noort, M., Stoelinga, M.: Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: A practical experience report. In: DSN 2016. pp. 662\u2013669. IEEE Computer Society (2016). \nhttps:\/\/doi.org\/10.1109\/DSN.2016.67","DOI":"10.1109\/DSN.2016.67"},{"key":"26_CR39","doi-asserted-by":"publisher","unstructured":"Ruijters, E., Reijsbergen, D., de\u00a0Boer, P.T., Stoelinga, M.: Rare event simulation for dynamic fault trees. Reliability Engineering & System Safety 186, 220\u2013231 (2019). \nhttps:\/\/doi.org\/10.1016\/j.ress.2019.02.004","DOI":"10.1016\/j.ress.2019.02.004"},{"key":"26_CR40","doi-asserted-by":"publisher","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer Science Review 15-16, 29\u201362 (2015). \nhttps:\/\/doi.org\/10.1016\/j.cosrev.2015.03.001","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"26_CR41","unstructured":"Sullivan, K.J., Dugan, J.B.: Galileo user\u2019s manual & design overview. \nhttps:\/\/www.cse.msu.edu\/~cse870\/Materials\/FaultTolerant\/manual-galileo.htm\n\n (1998), v2.1-alpha"},{"key":"26_CR42","doi-asserted-by":"publisher","unstructured":"Sullivan, K., Dugan, J., Coppit, D.: The Galileo fault tree analysis tool. In: 29th Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352). pp. 232\u2013235. IEEE (1999). \nhttps:\/\/doi.org\/10.1109\/FTCS.1999.781056","DOI":"10.1109\/FTCS.1999.781056"},{"key":"26_CR43","unstructured":"Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance (2002), version 1.1"},{"key":"26_CR44","unstructured":"Vill\u00e9n-Altamirano, J.: RESTART method for the case where rare events can occur in retrials from any threshold. Int. J. Electron. Commun. 52(3), 183\u2013189 (1998)"},{"key":"26_CR45","doi-asserted-by":"publisher","unstructured":"Vill\u00e9n-Altamirano, J.: Importance functions for RESTART simulation of highly-dependable systems. Simulation 83(12), 821\u2013828 (2007). \nhttps:\/\/doi.org\/10.1177\/0037549707081257","DOI":"10.1177\/0037549707081257"},{"key":"26_CR46","doi-asserted-by":"publisher","unstructured":"Vill\u00e9n-Altamirano, J.: RESTART vs splitting: A comparative study. Performance Evaluation 121-122, 38\u201347 (2018). \nhttps:\/\/doi.org\/10.1016\/j.peva.2018.02.002","DOI":"10.1016\/j.peva.2018.02.002"},{"key":"26_CR47","doi-asserted-by":"publisher","unstructured":"Vill\u00e9n-Altamirano, M., Mart\u00ednez-Marr\u00f3n, A., Gamo, J., Fern\u00e1ndez-Cuesta, F.: Enhancement of the accelerated simulation method RESTART by considering multiple thresholds. In: Proc. 14th Int. Teletraffic Congress, Teletraffic Science and Engineering, vol. 1, pp. 797\u2013810. Elsevier (1994). \nhttps:\/\/doi.org\/10.1016\/B978-0-444-82031-0.50084-6","DOI":"10.1016\/B978-0-444-82031-0.50084-6"},{"key":"26_CR48","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Queueing, Performance and Control in ATM (ITC-13). pp. 71\u201376. Elsevier (1991)"},{"key":"26_CR49","doi-asserted-by":"publisher","unstructured":"Xiao, G., Li, Z., Li, T.: Dependability estimation for non-Markov consecutive-k-out-of-n: F repairable systems by fast simulation. Reliability Engineering & System Safety 92(3), 293\u2013299 (2007). \nhttps:\/\/doi.org\/10.1016\/j.ress.2006.04.004","DOI":"10.1016\/j.ress.2006.04.004"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45190-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T13:15:17Z","timestamp":1597929317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45190-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030451899","9783030451905"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45190-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2020\/tacas","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":"155","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":"40","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":"8","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":"14","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":"The conference could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.","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)"}}]}}