{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T16:15:21Z","timestamp":1747152921807,"version":"3.40.5"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030409135"},{"type":"electronic","value":"9783030409142"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-40914-2_8","type":"book-chapter","created":{"date-parts":[[2020,2,12]],"date-time":"2020-02-12T16:03:52Z","timestamp":1581523432000},"page":"147-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Compositional Liveness-Preserving Conformance Testing of Timed I\/O\u00a0Automata"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9868-365X","authenticated-orcid":false,"given":"Lars","family":"Luthmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2753-7719","authenticated-orcid":false,"given":"Hendrik","family":"G\u00f6ttmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8404-753X","authenticated-orcid":false,"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,13]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BFb0054177","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Aceto","year":"1998","unstructured":"Aceto, L., Burgue\u00f1o, A., Larsen, K.G.: Model checking via reachability testing for timed automata. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 263\u2013280. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0054177"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R Alur","year":"1990","unstructured":"Alur, R., Dill, D.: Automata for modeling real-time systems. In: Paterson, M.S. (ed.) ICALP 1990. LNCS, vol. 443, pp. 322\u2013335. Springer, Heidelberg (1990). \nhttps:\/\/doi.org\/10.1007\/BFb0032042"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994). \nhttps:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theor. Comput. Sci."},{"key":"8_CR4","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-319-29510-7_3","volume-title":"Formal Techniques for Safety-Critical Systems","author":"\u00c9 Andr\u00e9","year":"2016","unstructured":"Andr\u00e9, \u00c9.: What\u2019s decidable about parametric timed automata? In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 52\u201368. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-29510-7_3"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Bannour, B., Gaston, C., Aiguier, M., Lapitre, A.: Results for compositional timed testing. In: APSEC 2013, pp. 559\u2013564. IEEE (2013). \nhttps:\/\/doi.org\/10.1109\/APSEC.2013.81","DOI":"10.1109\/APSEC.2013.81"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-12002-2_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Belinfante","year":"2010","unstructured":"Belinfante, A.: JTorX: a tool for on-line model-driven test derivation and execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266\u2013270. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-12002-2_21"},{"key":"8_CR7","volume-title":"Dynamic Programming","author":"R Bellman","year":"1957","unstructured":"Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-27755-2_3"},{"issue":"6","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1016\/j.jlamp.2016.09.007","volume":"85","author":"H Beohar","year":"2016","unstructured":"Beohar, H., Mousavi, M.R.: Input\u2013output conformance testing for software product lines. J. Log. Algebraic Methods Program. 85(6), 1131\u20131153 (2016). \nhttps:\/\/doi.org\/10.1016\/j.jlamp.2016.09.007","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"2,3","key":"8_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.3233\/FI-1998-36233","volume":"36","author":"B B\u00e9rard","year":"1998","unstructured":"B\u00e9rard, B., Petit, A., Diekert, V., Gastin, P.: Characterization of the expressive power of silent transitions in timed automata. Fundam. Inform. 36(2,3), 145\u2013182 (1998). \nhttps:\/\/doi.org\/10.3233\/FI-1998-36233","journal-title":"Fundam. Inform."},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3540539816_63","volume-title":"TAPSOFT \u201991","author":"G Bernot","year":"1991","unstructured":"Bernot, G.: Testing against formal specifications: a theoretical view. In: Abramsky, S., Maibaum, T.S.E. (eds.) TAPSOFT 1991. LNCS, vol. 494, pp. 99\u2013119. Springer, Heidelberg (1991). \nhttps:\/\/doi.org\/10.1007\/3540539816_63"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11526841_13","volume-title":"FM 2005: Formal Methods","author":"H Bohnenkamp","year":"2005","unstructured":"Bohnenkamp, H., Belinfante, A.: Timed testing with TorX. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 173\u2013188. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11526841_13"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-46419-0_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Bornot","year":"2000","unstructured":"Bornot, S., G\u00f6\u00dfler, G., Sifakis, J.: On the construction of live timed systems. In: Graf, S., Schwartzbach, M. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 109\u2013126. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/3-540-46419-0_9"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"LB Briones","year":"2005","unstructured":"Briones, L.B., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64\u201378. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/978-3-540-31848-4_5"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/11498490_10","volume-title":"Model-Based Testing of Reactive Systems","author":"L Brand\u00e1n Briones","year":"2005","unstructured":"Brand\u00e1n Briones, L., R\u00f6hl, M.: Test derivation from timed automata. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 201\u2013231. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11498490_10"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/b137241"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed I\/O automata: a complete specification theory for real-time systems. In: HSCC 2010, pp. 91\u2013100. ACM (2010). \nhttps:\/\/doi.org\/10.1145\/1755952.1755967","DOI":"10.1145\/1755952.1755967"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"DL Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 197\u2013212. Springer, Heidelberg (1990). \nhttps:\/\/doi.org\/10.1007\/3-540-52148-8_17"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-44830-6_16","volume-title":"Testing of Communicating Systems","author":"A En-Nouaary","year":"2003","unstructured":"En-Nouaary, A., Dssouli, R.: A guided method for testing timed input output automata. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 211\u2013225. Springer, Heidelberg (2003). \nhttps:\/\/doi.org\/10.1007\/3-540-44830-6_16"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/978-3-642-31424-7_33","volume-title":"Computer Aided Verification","author":"S Guha","year":"2012","unstructured":"Guha, S., Narayan, C., Arun-Kumar, S.: On decidability of prebisimulation for timed automata. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 444\u2013461. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-31424-7_33"},{"key":"8_CR21","doi-asserted-by":"publisher","unstructured":"Havelund, K., Skou, A., Larsen, K.G., Lund, K.: Formal modeling and analysis of an audio\/video protocol: an industrial case study using UPPAAL. In: RTSS 1997, pp. 2\u201313 (1997). \nhttps:\/\/doi.org\/10.1109\/REAL.1997.641264","DOI":"10.1109\/REAL.1997.641264"},{"key":"8_CR22","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Temporal proof methodologies for real-time systems. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1991, pp. 353\u2013366. ACM (1991). \nhttps:\/\/doi.org\/10.1145\/99583.99629","DOI":"10.1145\/99583.99629"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111(2), 193\u2013244 (1994). \nhttps:\/\/doi.org\/10.1006\/inco.1994.1045","journal-title":"Inf. Comput."},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 77\u2013117. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-78917-8_3"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Jensen, H.E., Larsen, K.G., Skou, A.: Modelling and analysis of a collision avoidance protocol using SPIN and UPPAAL. In: DIMACS 1996 (1996)","DOI":"10.7146\/brics.v3i24.20005"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109\u2013126. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-24732-6_8"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"KG Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79\u201394. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/978-3-540-31848-4_6"},{"key":"8_CR28","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B., Skou, A.: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. In: EMSOFT 2005, pp. 299\u2013306. ACM (2005). \nhttps:\/\/doi.org\/10.1145\/1086228.1086283","DOI":"10.1145\/1086228.1086283"},{"issue":"1","key":"8_CR29","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. Int. J. Softw. Tools Technol. Transf. 1(1), 134\u2013152 (1997). \nhttps:\/\/doi.org\/10.1007\/s100090050010","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/BFb0054178","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Lindahl","year":"1998","unstructured":"Lindahl, M., Pettersson, P., Yi, W.: Formal design and analysis of a gear controller. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 281\u2013297. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0054178"},{"key":"8_CR31","unstructured":"Luthmann, L., G\u00f6ttmann, H., Lochau, M.: Compositional liveness-preserving conformance testing of timed I\/O automata. Technical report, arXiv (2019). \narXiv:1909.03703"},{"key":"8_CR32","doi-asserted-by":"publisher","unstructured":"Luthmann, L., Mennicke, S., Lochau, M.: Towards an I\/O conformance testing theory for software product lines based on modal interface automata. In: FMSPLE 2015, EPTCS, vol. 182, pp. 1\u201313. arXiv (2015). \nhttps:\/\/doi.org\/10.4204\/EPTCS.182.1","DOI":"10.4204\/EPTCS.182.1"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-319-57666-4_5","volume-title":"Formal Aspects of Component Software","author":"L Luthmann","year":"2017","unstructured":"Luthmann, L., Mennicke, S., Lochau, M.: Compositionality, decompositionality and refinement in input\/output conformance testing. In: Kouchnarenko, O., Khosravi, R. (eds.) FACS 2016. LNCS, vol. 10231, pp. 54\u201372. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-57666-4_5"},{"key":"8_CR34","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2018.09.008","volume":"172","author":"L Luthmann","year":"2019","unstructured":"Luthmann, L., Mennicke, S., Lochau, M.: Unifying modal interface theories and compositional input\/output conformance testing. Sci. Comput. Program. 172, 27\u201347 (2019). \nhttps:\/\/doi.org\/10.1016\/j.scico.2018.09.008","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"8_CR35","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF02252683","volume":"6","author":"NA Lynch","year":"1992","unstructured":"Lynch, N.A., Attiya, H.: Using mappings to prove timing properties. Distrib. Comput. 6(2), 121\u2013139 (1992). \nhttps:\/\/doi.org\/10.1007\/BF02252683","journal-title":"Distrib. Comput."},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-54430-5_103","volume-title":"CONCUR \u201991","author":"M Merritt","year":"1991","unstructured":"Merritt, M., Modugno, F., Tuttle, M.R.: Time-constrained automata. In: Baeten, J.C.M., Groote, J.F. (eds.) CONCUR 1991. LNCS, vol. 527, pp. 408\u2013423. Springer, Heidelberg (1991). \nhttps:\/\/doi.org\/10.1007\/3-540-54430-5_103"},{"key":"8_CR37","unstructured":"Pettersson, P.: Modelling and verification of real-time systems using timed automata: theory and practice. Ph.D. thesis (1999)"},{"key":"8_CR38","unstructured":"Rokicki, T.G.: Representing and modeling digital circuits. Ph.D. thesis (1994)"},{"key":"8_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-85778-5_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J Schmaltz","year":"2008","unstructured":"Schmaltz, J., Tretmans, J.: On conformance testing for timed systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 250\u2013264. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-85778-5_18"},{"issue":"1","key":"8_CR40","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J Springintveld","year":"2001","unstructured":"Springintveld, J., Vaandrager, F.W., D\u2019Argenio, P.R.: Testing timed automata. Theor. Comput. Sci. 254(1), 225\u2013257 (2001). \nhttps:\/\/doi.org\/10.1016\/S0304-3975(99)00134-6","journal-title":"Theor. Comput. Sci."},{"key":"8_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-15297-9_19","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"S Styp von","year":"2010","unstructured":"von Styp, S., Bohnenkamp, H., Schmaltz, J.: A conformance testing relation for symbolic timed automata. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 243\u2013255. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15297-9_19"},{"key":"8_CR42","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence (1996). \nhttp:\/\/doc.utwente.nl\/65463"},{"key":"8_CR43","unstructured":"Tretmans, J., Brinksma, E.: TorX: automated model-based testing, pp. 31\u201343 (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-40914-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T01:49:22Z","timestamp":1581558562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-40914-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030409135","9783030409142"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-40914-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/facs2019.org\/","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":"27","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":"9","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":"3","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":"33% - 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":"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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2 other accepted papers","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)"}}]}}