{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:57:45Z","timestamp":1725537465970},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642043673"},{"type":"electronic","value":"9783642043680"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04368-0_7","type":"book-chapter","created":{"date-parts":[[2009,9,2]],"date-time":"2009-09-02T07:31:59Z","timestamp":1251876719000},"page":"58-72","source":"Crossref","is-referenced-by-count":8,"title":["Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis"],"prefix":"10.1007","author":[{"given":"V\u00edctor","family":"Braberman","sequence":"first","affiliation":[]},{"given":"Diego","family":"Garbervestky","sequence":"additional","affiliation":[]},{"given":"Nicol\u00e1s","family":"Kicillof","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Monteverde","sequence":"additional","affiliation":[]},{"given":"Alfredo","family":"Olivero","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BFb0054177","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Aceto","year":"1998","unstructured":"Aceto, L., Burgue\u00f1o, A., Larsen, K.G.: Model checking via reachability testing for timed automata. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 263\u2013280. Springer, Heidelberg (1998)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/59287.62028","volume":"11","author":"B. Alpern","year":"1989","unstructured":"Alpern, B., Schneider, F.: Verifying temporal properties without temporal logic. ACM Trans. Programming Lang. and Systems\u00a011(1), 147\u2013167 (1989)","journal-title":"ACM Trans. Programming Lang. and Systems"},{"issue":"1","key":"7_CR3","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., Dill, D.L.: Model-checking in dense real-time. Information and Computation\u00a0104(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"issue":"2","key":"7_CR4","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_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/3-540-36577-X_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Behrmann","year":"2003","unstructured":"Behrmann, G., Bouyer, P., Fleury, E., Larsen, K.G.: Static guard analysis in timed automata verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 254\u2013270. Springer, Heidelberg (2003)"},{"key":"7_CR6","first-page":"232","volume-title":"Proceedings of the International Conference on 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: Proceedings of the International Conference on Hybrid Systems, pp. 232\u2013243. Springer, Heidelberg (1995)"},{"key":"7_CR7","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: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 546\u2013550. Springer, Heidelberg (1998)"},{"key":"7_CR8","unstructured":"Braberman, V.: Modeling and Checking Real-Time Systems Designs. PhD thesis, FCEyN. Univ. de Buenos Aires (2000)"},{"key":"7_CR9","unstructured":"Braberman, V., Garbervetsky, D., Kicillof, N., Monteverde, D., Olivero, A.: Specializing scenarios. Technical report, DC. FCEN. UBA (2008), \n \n http:\/\/www.dc.uba.ar\/people\/exclusivos\/vbraber"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-46002-0_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V.A. Braberman","year":"2002","unstructured":"Braberman, V.A., Garbervetsky, D., Olivero, A.: Improving the verification of timed systems using influence information. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 21\u201336. Springer, Heidelberg (2002)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-540-27813-9_39","volume-title":"Computer Aided Verification","author":"V.A. Braberman","year":"2004","unstructured":"Braberman, V.A., Garbervetsky, D., Olivero, A.: ObsSlice: A timed automata slicer based on observers. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 470\u2013474. Springer, Heidelberg (2004)"},{"issue":"12","key":"7_CR12","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1109\/TSE.2005.131","volume":"31","author":"V. Braberman","year":"2005","unstructured":"Braberman, V., Kicillof, N., Olivero, A.: A scenario-matching approach to the description and model checking of real-time properties. IEEE Transactions on Software Engineering\u00a031(12), 1028\u20131041 (2005)","journal-title":"IEEE Transactions on Software Engineering"},{"volume-title":"Model Checking","year":"1999","author":"E. Clarke","key":"7_CR13","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"volume-title":"Proceedings of IEEE RTSS\u00a0\u201996","year":"1996","author":"C. Daws","key":"7_CR14","unstructured":"Daws, C., Yovine, S.: Reducing the number of clock variables of timed automata. In: Proceedings of IEEE RTSS\u00a01996. IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"5","key":"7_CR15","first-page":"705","volume":"16","author":"W. Grieskamp","year":"2006","unstructured":"Grieskamp, W., Kicillof, N., Tillmann, N.: Action machines: A framework for encoding and composing partial behaviors. Int. Jour. SEKE\u00a016(5), 705\u2013726 (2006)","journal-title":"Int. Jour. SEKE"},{"key":"7_CR16","first-page":"193","volume-title":"Proceedings of the 10th IEEE\/ACM International Symposium MASCOTS\u00a02002","author":"D. Harel","year":"2002","unstructured":"Harel, D., Marelly, R.: Playing with time: On the specification and execution of time-enriched LSCs. In: Proceedings of the 10th IEEE\/ACM International Symposium MASCOTS\u00a02002, pp. 193\u2013202. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-540-31980-1_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H.-J. Kugler","year":"2005","unstructured":"Kugler, H.-J., Harel, D., Pnueli, A., Lu, Y., Bontemps, Y.: Temporal Logic for Scenario-Based Specifications. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 445\u2013460. Springer, Heidelberg (2005)"},{"volume-title":"Proceedings of the 16th IEEE Int. Conf. ASE 2001","year":"2001","author":"Y. Ledru","key":"7_CR18","unstructured":"Ledru, Y., du Bousquet, L., Bontron, P., Maury, O., Oriat, C., Potet, M.-L.: Test purposes: Adapting the notion of specification to testing. In: Proceedings of the 16th IEEE Int. Conf. ASE 2001. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Sengupta, B., Cleaveland, R.: Triggered message sequence charts. In: SIGSOFT FSE, pp. 167\u2013176 (2002)","DOI":"10.1145\/587051.587077"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/3-540-45075-0_14","volume-title":"SDL 2003: System Design","author":"T. Zheng","year":"2003","unstructured":"Zheng, T., Khendek, F., Parreaux, B.: Refining timed mscs. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 234\u2013250. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04368-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T17:28:31Z","timestamp":1552152511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04368-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642043673","9783642043680"],"references-count":20,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-642-04368-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}
