{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T03:15:57Z","timestamp":1770002157988,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662476659","type":"print"},{"value":"9783662476666","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-47666-6_6","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T07:46:47Z","timestamp":1434700007000},"page":"69-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["Language Emptiness of Continuous-Time Parametric Timed Automata"],"prefix":"10.1007","author":[{"given":"Nikola","family":"Bene\u0161","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Bezd\u011bk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: LICS 1990. pp. 414\u2013425. IEEE (1990)","DOI":"10.1109\/LICS.1990.113766"},{"issue":"2","key":"6_CR2","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.: A theory of timed automata. Theoretical Computer Science 126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Vardi, M.: Parametric real-time reasoning. In: Proceedings of 25th Annual Symposium on Theory of Computing (STOC 1993), pp. 592\u2013601. ACM Press (1993)","DOI":"10.1145\/167088.167242"},{"key":"6_CR4","first-page":"29","volume":"223","author":"\u00c9 Andr\u00e9","year":"2008","unstructured":"Andr\u00e9, \u00c9., Chatain, T., Fribourg, L., Encrenaz, E.: An inverse method for parametric timed automata. ENTCS 223, 29\u201346 (2008)","journal-title":"ENTCS"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-45351-2_15","volume-title":"Hybrid Systems: Computation and Control","author":"Gerd Behrmann","year":"2001","unstructured":"Behrmann, Gerd, Fehnker, Ansgar, Hune, Thomas, Larsen, Kim Guldstrand, Pettersson, Paul, Romijn, Judi M.T., Vaandrager, Frits W.: Minimum-cost reachability for priced timed automata. In: Di Benedetto, Maria Domenica, Sangiovanni-Vincentelli, Alberto L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 147\u2013161. Springer, Heidelberg (2001)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bene\u0161, N., Bezd\u011bk, P., Larsen, K.G., Srba, J.: Language emptiness of continuous-time parametric timed automata (2015). CoRR abs\/1504.07838","DOI":"10.1007\/978-3-662-47666-6_6"},{"issue":"5","key":"6_CR7","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/j.ipl.2006.01.012","volume":"98","author":"P Bouyer","year":"2006","unstructured":"Bouyer, P., Brihaye, T., Markey, N.: Improved undecidability results on weighted timed automata. Inform. Proc. Letters 98(5), 188\u2013194 (2006)","journal-title":"Inform. Proc. Letters"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10703-009-0074-0","volume":"35","author":"L Bozzelli","year":"2009","unstructured":"Bozzelli, L., La Torre, S.: Decision problems for lower\/upper bound parametric timed automata. Formal Methods in Syst. Design 35(2), 121\u2013151 (2009)","journal-title":"Formal Methods in Syst. Design"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-24597-1_9","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"V\u00e9ronique Bruy\u00e8re","year":"2003","unstructured":"Bruy\u00e8re, V\u00e9ronique, Raskin, Jean-Fran\u00e7ois: Real-time model-checking: parameters everywhere. In: Pandya, Paritosh K., Radhakrishnan, Jaikumar (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 100\u2013111. Springer, Heidelberg (2003)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-662-44522-8_11","volume-title":"Mathematical Foundations of Computer Science 2014","author":"Daniel Bundala","year":"2014","unstructured":"Bundala, Daniel, Ouaknine, Jo\u00ebl: Advances in parametric real-time reasoning. In: Csuhaj-Varj\u00fa, Erzs\u00e9bet, Dietzfelbinger, Martin, \u00c9sik, Zolt\u00e1n (eds.) MFCS 2014, Part I. LNCS, vol. 8634, pp. 123\u2013134. Springer, Heidelberg (2014)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-41036-9_7","volume-title":"Reachability Problems","author":"Beatrice B\u00e9rard","year":"2013","unstructured":"B\u00e9rard, Beatrice, Haddad, Serge, Jovanovi\u0107, Aleksandra, Lime, Didier: Parametric interrupt timed automata. In: Abdulla, Parosh Aziz, Potapov, Igor (eds.) RP 2013. LNCS, vol. 8169, pp. 59\u201369. Springer, Heidelberg (2013)"},{"issue":"5","key":"6_CR12","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1016\/j.ipl.2006.11.018","volume":"102","author":"L Doyen","year":"2007","unstructured":"Doyen, L.: Robust parametric reachability for timed automata. Information Processing Letters 102(5), 208\u2013213 (2007)","journal-title":"Information Processing Letters"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1007\/978-3-319-06410-9_44","volume-title":"FM 2014: Formal Methods","author":"Sergio Feo-Arenis","year":"2014","unstructured":"Feo-Arenis, Sergio, Westphal, Bernd, Dietsch, Daniel, Mu\u00f1iz, Marco, Andisha, Ahmad Siyar: The wireless fire alarm system: ensuring conformance to industrial standards through formal verification. In: Jones, Cliff, Pihlajasaari, Pekka, Sun, Jun (eds.) FM 2014. LNCS, vol. 8442, pp. 658\u2013672. Springer, Heidelberg (2014)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-45319-9_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Thomas Hune","year":"2001","unstructured":"Hune, Thomas, Romijn, Judi M.T., Stoelinga, Mari\u00eblle, Vaandrager, Frits W.: Linear parametric model checking of timed automata. In: Margaria, Tiziana, Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 189\u2013203. Springer, Heidelberg (2001)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-642-36742-7_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Aleksandra Jovanovi\u0107","year":"2013","unstructured":"Jovanovi\u0107, Aleksandra, Lime, Didier, Roux, Olivier H.: Integer parameter synthesis for timed automata. In: Piterman, Nir, Smolka, Scott A. (eds.) TACAS 2013 (ETAPS 2013). LNCS, vol. 7795, pp. 401\u2013415. Springer, Heidelberg (2013)"},{"issue":"7","key":"6_CR16","doi-asserted-by":"publisher","first-page":"387","DOI":"10.3103\/S0146411610070047","volume":"44","author":"E Kuzmin","year":"2010","unstructured":"Kuzmin, E., Chalyy, D.: Decidability of boundedness problems for Minsky counter machines. Automatic Control and Computer Sciences 44(7), 387\u2013397 (2010)","journal-title":"Automatic Control and Computer Sciences"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-46430-1_26","volume-title":"Hybrid Systems: Computation and Control","author":"Joseph S Miller","year":"2000","unstructured":"Miller, Joseph S.: Decidability and complexity results for timed automata and semi-linear hybrid automata. In: Lynch, Nancy A., Krogh, Bruce H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 296\u2013310. Springer, Heidelberg (2000)"},{"key":"6_CR18","unstructured":"Minsky, M.: Computation: Finite and Infinite Machines. Prentice (1967)"},{"issue":"2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1996.0086","volume":"130","author":"F Wang","year":"1996","unstructured":"Wang, F.: Parametric timing analysis for real-time systems. Information and Computation 130(2), 131\u2013150 (1996)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-47666-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T19:03:14Z","timestamp":1748458994000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-47666-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662476659","9783662476666"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-47666-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}