{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T04:26:22Z","timestamp":1744604782726},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423140"},{"type":"electronic","value":"9783540477648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47764-0_17","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T04:55:55Z","timestamp":1181624155000},"page":"299-318","source":"Crossref","is-referenced-by-count":2,"title":["Parametric Optimization of Open Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Farn","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hsu-Chun","family":"Yen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., and Dill, D.L. (1993), Model-Checking in Dense Real-Time, Information and Computation 104, Nr. 1, pp. 2\u201334.","journal-title":"Information and Computation"},{"key":"17_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming: Proceedings of the 17th ICALP","author":"R. Alur","year":"1990","unstructured":"Alur, R. and Dill, D. (1990), Automata for Modeling Real-Time Systems, in \u201cAutomata, Languages and Programming: Proceedings of the 17th ICALP,\u201d LNCS 443, pp. 332\u2013335, Springer-Verlag, Berlin\/New York."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., La Torre, S. and Peled, D. (1999), Parametric Temporal Logic for \u201cModel Measuring,\u201d in \u201cAutomata, Languages and Programming: Proceedings of the 26th IC ALP,\u201d Springer Verlag.","DOI":"10.1007\/3-540-48523-6_13"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., and Vardi, M.Y. (1993), Parametric Real-Time Reasoning, in \u201cProceedings, 25th ACM STOC,\u201d pp. 592\u2013601.","DOI":"10.1145\/167088.167242"},{"key":"17_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-48983-5_6","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"1999","unstructured":"Asarin, E. and Maler, O.(1999), As Soon as Possible: Time Optimal Control for Timed Automata, in F. Vaandrage and J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, pp. 19\u201330."},{"key":"17_CR6","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Hybrid Systems II","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O. and Pnueli, A. (1995), Symbolic Controller Synthesis for Discrete and Timed Systems, in Antsaklis, P., Kohn, W., Nerode, A., Sastry, S.(eds): Hybrid Systems II. LNCS 999,Springer 1995, pp. 1\u201320"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, O. Pnueli, A. and Sifakis, J. (1998), Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, Elsevier, pp. 469\u2013474.","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"17_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings, Workshop on Logic of Programs,\u201d","author":"E. Clarke","year":"1981","unstructured":"Clarke, E. and Emerson, E.A. (1981), Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic, in \u201cProceedings, Workshop on Logic of Programs,\u201d LNCS 131, Springer-Verlag."},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"Clarke, E., Emerson, E.A., and Sistla, A.P. (1986), Automatic Verification of Finite-State Concurrent Systems using Temporal-Logic Specifications, ACM Trans. Programming, Languages, and Systems, 8, Nr. 2, pp. 244\u2013263.","journal-title":"ACM Trans. Programming, Languages, and Systems"},{"key":"17_CR10","series-title":"Lect Notes Comput Sci","first-page":"385","volume-title":"Formal Methods in System Design","author":"C. Courcoubetis","year":"1991","unstructured":"Courcoubetis, C. and Yannakakis, M. (1992), Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods in System Design 1: 385\u2013415, Kluwer Academic Publishers; also in \u201cProceedings, 3rd CAV,\u201d 1991, Springer-Verlag, LNCS 575."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., and Trefler, R. (1999), Parametric Quantitative Temporal Reasoning, Proceedings of IEEE-CS Conference on Logic in Computer Science (LICS), pp. 336\u2013343.","DOI":"10.1109\/LICS.1999.782628"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic Model Checking for Real-Time Systems, IEEE LICS 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"17_CR13","series-title":"Lect Notes Comput Sci","volume-title":"STACS\u201995","author":"O. Maler","year":"1995","unstructured":"Maler, O. Pnueli, A. and Sifakis, J. (1995), On the Synthesis of Discrete Controllers for Timed Systems. STACS\u201995, LNCS 900, Springer-Verlag."},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. Ramadge","year":"1987","unstructured":"Ramadge, P. and Wonham, W. (1987), Supervisory Control of a Class of Discrete Event Processes, SIAM J. of Control and Optimization 25: 206\u2013230.","journal-title":"SIAM J. of Control and Optimization"},{"key":"17_CR15","unstructured":"Wang, F. (1996), Scalable Compositional Reachability Analysis of Real-Time Concurrent Systems. In Proceedings of the 2nd IEEE RTAS (Real-Time Technology and Applications Symposium), Boston, June, 1996."},{"issue":"2","key":"17_CR16","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1996.0086","volume":"130","author":"F.O. Wang","year":"1996","unstructured":"Wang, F.O. (1996), Parametric Timing Analysis for Real-Time Systems, Information and Computation, Vol. 130, Nr 2, Nov. 1996, Academic Press, ISSN 0890-5401; pp 131\u2013150. Also in \u201cProceedings, 10th IEEE Symposium on Logic in Computer Science\u201d, 1995.","journal-title":"Information and Computation"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1008782501688","volume":"17","author":"F. Wang","year":"2000","unstructured":"Wang, F., Parametric Analysis of Computer Systems, Formal Methods in System Design, pp. 39\u201360, 17, 39\u201360, 2000.","journal-title":"Formal Methods in System Design"},{"key":"17_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0022715","volume-title":"AMAST\u201997","author":"F. Wang","year":"1997","unstructured":"Wang, F. and Hsiung, P.-A. (1997), Parametric Analysis of Computer Systems, AMAST\u201997, LNCS 1349."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47764-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T01:28:47Z","timestamp":1556501327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47764-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423140","9783540477648"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-47764-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}