{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:21:06Z","timestamp":1761488466336,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205272"},{"type":"electronic","value":"9783540400073"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40007-3_22","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T20:04:10Z","timestamp":1277496250000},"page":"352-366","source":"Crossref","is-referenced-by-count":11,"title":["A Tool Architecture for the Next Generation of Uppaal"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"David","sequence":"first","affiliation":[]},{"given":"Gerd","family":"Behrmann","sequence":"additional","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","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. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45319-9_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Behrmann","year":"2001","unstructured":"Behrmann, G., Fehnker, A., Hune, T.S., Larsen, K., Petterson, P., Romijn, J.: Efficient guiding towards cost-optimality in uppaal. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, p. 174. Springer, Heidelberg (2001)"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_19","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"2000","unstructured":"Behrmann, G., Hune, T., Vaandrager, F.: Distributed timed model checking - How the search order matters. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855. Springer, Heidelberg (July 2000)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/3-540-48683-6_30","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"1999","unstructured":"Behrmann, G., Larsen, K.G., Pearson, J., Weise, C., Yi, W.: Efficient timed reachability analysis using clock difference diagrams. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 341\u2013353. Springer, Heidelberg (1999)"},{"key":"22_CR5","unstructured":"Bengtsson, J.: Reducing memory usage in symbolic state-space exploration for timed systems. Technical Report 2001-009, Uppsala University, Department of Information Technology (May 2001)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-61474-5_73","volume-title":"Computer Aided Verification","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., David Griffioen, W.O., Kristoffersen, K.J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Verification of an Audio Protocol with Bus Collision Using Uppaal. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 244\u2013256. Springer, Heidelberg (1996)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","first-page":"232","volume-title":"Proc. of Workshop on Verification and Control of Hybrid Systems III","author":"J. Bengtsson","year":"1995","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal \u2014 a Tool Suite for Automatic Verification of Real\u2013Time Systems. In: HS 1995. LNCS, vol.\u00a01066, pp. 232\u2013243. Springer, Heidelberg (1995)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_35","volume-title":"Computer Aided Verification","author":"P. Bouyer","year":"2000","unstructured":"Bouyer, P., Dufourd, C., Fleury, E., Petit, A.: Are timed automata updatable? In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855. Springer, Heidelberg (2000)"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. Transactions on Computers\u00a0C-35(8), IEEE (August 1986)","DOI":"10.1109\/TC.1986.1676819"},{"key":"22_CR10","volume-title":"Proceedings of the 1996 IEEE Real-Time Systems Symposium, RTSS 1996","author":"C. Daws","year":"1996","unstructured":"Daws, C., Yovine, S.: Reducing the number of clock variables of timed automata. In: Proceedings of the 1996 IEEE Real-Time Systems Symposium, RTSS 1996. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"22_CR11","unstructured":"Christensen, S., Kristensen, L.M.: State space analysis of hierarchical coloured petri nets. In: Farwer, B., Moldt, D., Stehr, M.-O. (eds.) Proceedings of Workshop on Petri Nets in System Engineering (PNSE 1997) Modelling, Verification, and Validation, Hamburg, Germany, vol.\u00a0205, pp. 32\u201343 (1997)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1006\/jpdc.1997.1409","volume":"47","author":"G.F. Ciardo","year":"1997","unstructured":"Ciardo, G.F., Nicol, D.M.: Automated parallelization of discrete state-space generation. Journal of Parallel and Distributed Computing\u00a047, 153\u2013167 (1997)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45923-5_15","volume-title":"Fundamental Approaches to Software Engineering","author":"A. David","year":"2002","unstructured":"David, A., M\u00f6ller, O., Yi, W.: Formal verification uml statecharts with real time extensions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 218\u2013232. Springer, Heidelberg (2002)"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/EMRTS.2000.854004","volume-title":"Proc. of the 12th Euromicro Conference on Real Time Systems","author":"A. David","year":"2000","unstructured":"David, A., Yi, W.: Modeling and analysis of a commercial field bus protocol. In: Proc. of the 12th Euromicro Conference on Real Time Systems, pp. 165\u2013172. IEEE Computer Society, Los Alamitos (2000)"},{"key":"22_CR15","unstructured":"Holzmann, G.J.: On limits and possibilities of automated protocol analysis. In: Proc. 7th IFIP WG 6.1 Int. Workshop on Protocol Specification, Testing, and Verification, pp. 137\u2013161 (1987)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Transactions on Software Engineering\u00a023 (May 1997)","DOI":"10.1109\/32.588521"},{"key":"22_CR17","volume-title":"Proc. of the IEEE ICDCS International Workshop on Distributed Systems Verification and Validation","author":"T. Hune","year":"2000","unstructured":"Hune, T., Larsen, K.G., Pettersson, P.: Guided Synthesis of Control Programs Using Uppaal. In: Lai, T.H. (ed.) Proc. of the IEEE ICDCS International Workshop on Distributed Systems Verification and Validation, April 2000, vol.\u00a0E15\u2013E22. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"22_CR18","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/REAL.1997.641265","volume-title":"Proc. of the 18th IEEE Real-Time Systems Symposium","author":"F. Larsson","year":"1997","unstructured":"Larsson, F., Larsen, K.G., Pettersson, P., Yi, W.: Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction. In: Proc. of the 18th IEEE Real-Time Systems Symposium, pp. 14\u201324. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"22_CR19","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-Box Controller. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 281\u2013297. Springer, Heidelberg (1998)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"L\u00f6nn, H., Pettersson, P.: Formal Verification of a TDMA Protocol Startup Mechanism. In: Proc. of the Pacific Rim Int. Symp. on Fault-Tolerant Systems, pp. 235\u2013242 (December 1997)","DOI":"10.1109\/PRFTS.1997.640153"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Wong-Toi, H.: Symbolic Approximations for Verifying Real-Time Systems. PhD thesis, Standford University (1995)","DOI":"10.1142\/9789812831583_0007"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Yovine, S.: Kronos: A verification tool for real time systems. Int. Journal on Software Tools for Technology Transfer, 134\u2013152 (October 1997)","DOI":"10.1007\/s100090050009"}],"container-title":["Lecture Notes in Computer Science","Formal Methods at the Crossroads. From Panacea to Foundational Support"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40007-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T07:46:23Z","timestamp":1740210383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40007-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205272","9783540400073"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40007-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}