{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:06:25Z","timestamp":1746245185427,"version":"3.40.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319064093"},{"type":"electronic","value":"9783319064109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06410-9_37","type":"book-chapter","created":{"date-parts":[[2014,4,18]],"date-time":"2014-04-18T21:03:01Z","timestamp":1397854981000},"page":"547-562","source":"Crossref","is-referenced-by-count":0,"title":["A Graph-Based Transformation Reduction to Reach UPPAAL States Faster"],"prefix":"10.1007","author":[{"given":"Jonas","family":"Rinast","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sibylle","family":"Schupp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieter","family":"Gollmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/BFb0084802","volume-title":"CONCUR \u201992","author":"R. Alur","year":"1992","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Dill, D., Wong-Toi, H.: Minimization of Timed Transition Systems. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 340\u2013354. Springer, Heidelberg (1992)"},{"key":"37_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-45351-2_8","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., La Torre, S., Pappas, G.J.: Optimal Paths in Weighted Timed Automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 49\u201362. Springer, Heidelberg (2001)"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","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., Maler, O.: As Soon as Possible: Time Optimal Control for Timed Automata. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 19\u201330. Springer, Heidelberg (1999)"},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-45739-9_1","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"G. Behrmann","year":"2002","unstructured":"Behrmann, G., Bengtsson, J., David, A., Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL Implementation Secrets. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 3\u201322. Springer, Heidelberg (2002)"},{"key":"37_CR5","unstructured":"Bengtsson, J.: Clocks, DBMs and States in Timed Systems. Ph.D. thesis, Uppsala University (2002)"},{"key":"37_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BFb0055643","volume-title":"CONCUR \u201998 Concurrency Theory","author":"J. Bengtsson","year":"1998","unstructured":"Bengtsson, J., Jonsson, B., Lilius, J., Yi, W.: Partial Order Reductions for Timed Systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 485\u2013500. Springer, Heidelberg (1998)"},{"key":"37_CR7","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.E. Bengtsson","year":"2004","unstructured":"Bengtsson, J.E., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"Bulychev, P., David, A., Larsen, K., Miku\u010dionis, M., B\u00f8gsted Poulsen, D., Legay, A., Wang, Z.: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. In: Wiklicky, H., Massink, M. (eds.) QAPL 2012. EPTCS, vol.\u00a085, pp. 1\u201316 (2012)","DOI":"10.4204\/EPTCS.85.1"},{"issue":"3-4","key":"37_CR9","first-page":"379","volume":"79","author":"A. Janowska","year":"2007","unstructured":"Janowska, A., Penczek, W.: Path Compression in Timed Automata. Fundamenta Informaticae\u00a079(3-4), 379\u2013399 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Jensen, H., Larsen, K., Skou, A.: Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL. BRICS (1996)","DOI":"10.7146\/brics.v3i24.20005"},{"key":"37_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/3-540-44585-4_47","volume-title":"Computer Aided Verification","author":"K.G. Larsen","year":"2001","unstructured":"Larsen, K.G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P., Romijn, J.: As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 493\u2013505. Springer, Heidelberg (2001)"},{"issue":"2-3","key":"37_CR12","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/A:1025132427497","volume":"25","author":"K. Larsen","year":"2003","unstructured":"Larsen, K., Larsson, F., Pettersson, P., Yi, W.: Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real-Time Systems\u00a025(2-3), 255\u2013275 (2003)","journal-title":"Real-Time Systems"},{"key":"37_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","volume-title":"Fundamentals of Computation Theory","author":"K. Larsen","year":"1995","unstructured":"Larsen, K., Pettersson, P., Yi, W.: Model-Checking for Real-Time Systems. In: Reichel, H. (ed.) FCT 1995. LNCS, vol.\u00a0965, pp. 62\u201388. Springer, Heidelberg (1995)"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"Li, T., Tan, F., Wang, Q., Bu, L., Cao, J.N., Liu, X.: From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP). In: ICCPS 2012, pp. 13\u201322. IEEE (2012)","DOI":"10.1109\/ICCPS.2012.10"},{"key":"37_CR15","unstructured":"Li, T., Wang, Q., Tan, F., Bu, L., Cao, J.N., Liu, X., Wang, Y., Zheng, R.: From Offline Long-Run to Online Short-Run: Exploring A New Approach of Hybrid Systems Model Checking for MDPnP. In: HCMDSS-MDPnP 2011 (2011)"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"L\u00f6nn, H., Pettersson, P.: Formal Verification of a TDMA Protocol Start-Up Mechanism. In: PRFTS 1997, pp. 235\u2013242. IEEE (1997)","DOI":"10.1109\/PRFTS.1997.640153"},{"issue":"4","key":"37_CR17","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s00165-006-0008-1","volume":"18","author":"F. Vaandrager","year":"2006","unstructured":"Vaandrager, F., de Groot, A.: Analysis of a biphase mark protocol with UPPAAL and PVS. Formal Aspects of Computing\u00a018(4), 433\u2013458 (2006)","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","FM 2014: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06410-9_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T12:33:58Z","timestamp":1746189238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06410-9_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319064093","9783319064109"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}