{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:18Z","timestamp":1725491658668},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540754534"},{"type":"electronic","value":"9783540754541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75454-1_7","type":"book-chapter","created":{"date-parts":[[2007,9,17]],"date-time":"2007-09-17T21:47:54Z","timestamp":1190065674000},"page":"69-81","source":"Crossref","is-referenced-by-count":0,"title":["Hypervolume Approximation in Timed Automata Model Checking"],"prefix":"10.1007","author":[{"given":"V\u00edctor","family":"Braberman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Luc\u00e1ngeli Obes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Olivero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Schapachnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"7_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(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","volume-title":"18 th IEEE Real-Time Systems Symposium (RTSS 1997)","author":"A. Bouajjani","year":"1997","unstructured":"Bouajjani, A., Tripakis, S., Yovine, S.: On-the-Fly Symbolic Model-Checking for Real-Time Systems. In: 18\n                  th\n                 IEEE Real-Time Systems Symposium (RTSS 1997), San Francisco, USA, IEEE Computer Scienty Press, Los Alamitos (1997)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/978-3-540-24730-2_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., Bouyer, P., Larsen, K., Pelnek, R.: Lower and upper bounds in zone based abstractions of timed automata. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 312\u2013326. Springer, Heidelberg (2004)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","first-page":"225","volume-title":"Model Checking Software","author":"G. Behrmann","year":"2003","unstructured":"Behrmann, G., David, A., Larsen, K.G., Yi, W.: Unification & sharing in timed automata verification. In: Ball, T., Rajamani, S.K. (eds.) Model Checking Software. LNCS, vol.\u00a02648, pp. 225\u2013229. Springer, Heidelberg (2003)"},{"key":"7_CR5","unstructured":"Bengtsson, J.: Reducing memory usage in symbolic state-space exploration for timed systems. Technical Report 2001-009, Department of Information Technology, Uppsala University (2001)"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/REAL.1996.563702","volume-title":"Proceedings 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 IEEE Real-Time Systems Symposium (RTSS 1996), pp. 73\u201381. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-36384-X_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Wang","year":"2002","unstructured":"Wang, F.: Efficient verification of timed automata with BDD-like data-structures. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 189\u2013205. Springer, Heidelberg (2002)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"V. Braberman","year":"2004","unstructured":"Braberman, V., Garbervetsky, D., Olivero, A.: ObsSlice: A timed automata slicer based on observers. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, Springer, Heidelberg (2004)"},{"key":"7_CR9","volume-title":"27 th IEEE International Real-Time Systems Symposium, Work in Progress Session","author":"V. Braberman","year":"2006","unstructured":"Braberman, V., Olivero, A., Schapachnik, F.: Optimizing timed automata model checking via clock reordering. In: 27\n                  th\n                 IEEE International Real-Time Systems Symposium, Work in Progress Session, IEEE, Los Alamitos (2006)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/REAL.1996.563700","volume-title":"Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS 1996)","author":"F. Balarin","year":"1996","unstructured":"Balarin, F.: Approximate reachability analysis of timed automata. In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS 1996), p. 52. IEEE Computer Society, Washington, DC, USA (1996)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"1998","unstructured":"Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 546\u2013550. Springer, Heidelberg (1998)"},{"key":"7_CR12","first-page":"232","volume-title":"Hybrid Systems","author":"J. Bengtsson","year":"1995","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Hybrid Systems, pp. 232\u2013243. Springer, Heidelberg (1995)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) Automatic Verification Methods for Finite State Systems. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Embedded Systems","author":"S. Yovine","year":"1998","unstructured":"Yovine, S.: Model checking timed automata. In: Rozenberg, G. (ed.) Lectures on Embedded Systems. LNCS, vol.\u00a01494, Springer, Heidelberg (1998)"},{"issue":"2-3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/A:1025132427497","volume":"25","author":"K.G. Larsen","year":"2003","unstructured":"Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Compact data structures and state-space reduction for model-checking real-time systems. Real-Time Syst.\u00a025(2-3), 255\u2013275 (2003)","journal-title":"Real-Time Syst."},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF01683268","volume":"10","author":"P. Emde Boas van","year":"1977","unstructured":"van Emde Boas, P., Kaas, R., Zijlstra, E.: Design and implementation of an efficient priority queue. Mathematical Systems Theory\u00a010, 99\u2013127 (1977)","journal-title":"Mathematical Systems Theory"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s10009-004-0143-z","volume":"7","author":"V. Braberman","year":"2005","unstructured":"Braberman, V., Olivero, A., Schapachnik, F.: Issues in Distributed Model-Checking of Timed Automata: building zeus. International Journal of Software Tools for Technology Transfer\u00a07, 4\u201318 (2005)","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Dill, D., Halbwachs, N., Wong-Toi, H.: An implementation of three algorithms for timing verification based on automata emptiness. In: Proceedings of the 13th IEEE Real-time Systems Symposium, Phoenix, Arizona, pp. 157\u2013166 (1992)","DOI":"10.1109\/REAL.1992.242667"},{"key":"7_CR19","unstructured":"Braberman, V.: Modeling and Checking Real-Time Systems Designs. Ph d. thesis, Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75454-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:02:03Z","timestamp":1619506923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75454-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540754534","9783540754541"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75454-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}