{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:07:52Z","timestamp":1742404072455},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434191"},{"type":"electronic","value":"9783540460022"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46002-0_3","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T06:29:59Z","timestamp":1193552999000},"page":"21-36","source":"Crossref","is-referenced-by-count":13,"title":["Improving the Verification of Timed Systems Using Influence Information"],"prefix":"10.1007","author":[{"given":"Victor","family":"Braberman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Garbervetsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Olivero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/59287.62028","volume":"11","author":"B. Alpern","year":"1989","unstructured":"B. Alpern and F. Schneider, \u201cVerifying Temporal Properties without Temporal Logic,\u201d ACM Trans. Programming Lang. and Systems, Vol. 11, No. 1, 1989, pp. 147\u2013167.","journal-title":"ACM Trans. Programming Lang. and Systems"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and D. Dill, \u201cModel-Checking for Real-Time Systems,\u201d In Information and Computation,, Vol. 104, No. 1, pp.2\u201334, 1993.","journal-title":"Information and Computation"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill, \u201cA Theory of Timed Automata,\u201d Theoretical Computer Science, Vol. 126, 1994, pp. 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"3_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"UPPAAL\u2014A Tool Suite for the Automatic Verification of Real-Time Systems","author":"J. Bengtsson","year":"1996","unstructured":"J. Bengtsson, K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi, \u201cUPPAAL\u2014A Tool Suite for the Automatic Verification of Real-Time Systems,\u201d Proc. Hybrid Systems III, LNCS 1066, 1996, pp. 232\u2013243."},{"key":"3_CR5","series-title":"Lect Notes Comput Sci","volume-title":"TACAS 2000","author":"M. Bozga","year":"2000","unstructured":"M. Bozga, J.-C. Fernandez, and L. Ghirvu, \u201cUsing Static Analysis to Improve Automatic Test Generation,\u201d TACAS 2000, LNCS 1785, March\/April 2000."},{"key":"3_CR6","unstructured":"V. Braberman, Modeling and Checking Real-Time System Designs, Ph.D Thesis, Universidad de Buenos Aires, 2000."},{"key":"3_CR7","unstructured":"V. Braberman, D. Garbervetsky, and A. Olivero, \u201cInfluence Information to Improve the Verification of Timed Systems,\u201d Tech. Report DC-UBA 2001-003."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"V. Braberman, and A. Olivero, \u201cExtending Timed Automata for Compositional Modeling Healthy Timed Systems,\u201d 2nd Workshop on Models for Timed Critical Systems 2001. To be published in Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(04)00226-9"},{"key":"3_CR9","unstructured":"V. Braberman, and A. Olivero, \u201cPreserving Branching-Time Structure in Timed Systems,\u201d Argentinian Workshop on Theoretical Computer Science 2001. 30th JAIIO Proceedings."},{"key":"3_CR10","unstructured":"S. Campos, O. Grumberg, K. Yorav, and C. Fady. \u201cTest Sequence Generation and Model Checking Using Dynamic Transition Relations,\u201d Submitted to: FMCAD 2000."},{"key":"3_CR11","unstructured":"E. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, January 2000."},{"key":"3_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"The Tool KRONOS","author":"C. Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis and S. Yovine, \u201cThe Tool KRONOS,\u201d In Proc. of Hybrid Systems III, LNCS 1066, 1996, pp. 208\u2013219."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"C. Daws and S. Yovine, \u201cReducing the Number of Clock Variables of Timed Automata,\u201d Proc. IEEE RTSS\u2019 96, IEEE Computer Soc. Press, 1996.","DOI":"10.1109\/REAL.1996.563702"},{"key":"3_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/BFb0039058","volume-title":"Back and Forth Bisimulations","author":"R. Nicolla De","year":"1990","unstructured":"R. De Nicolla, U. Montanari, and F. Vaandrager, \u201cBack and Forth Bisimulations,\u201d Proc. CONCUR\u2019 90, Amsterdam, LNCS 458, 1990, pp.152\u2013165."},{"key":"3_CR15","unstructured":"D. Garbervetsky, Un M\u00e9todo de Reducci\u00f3n para la Composici\u00f3n de Sistemas Temporizados, Master Thesis, Univ. de Buenos Aires, 2000."},{"key":"3_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Veri.cation of Concurrent Systems","author":"P. Godefroid","year":"1996","unstructured":"P. Godefroid, \u201cPartial-Order Methods for the Veri.cation of Concurrent Systems\u201d, LNCS 1032, 1996."},{"key":"3_CR17","series-title":"Lect Notes Comput Sci","first-page":"166","volume-title":"Information and Computation","author":"R. Gawlick","year":"1998","unstructured":"R. Gawlick, R. Segala, J. Sogaard-Andersen, N. Lynch \u201cLiveness in Timed and Untimed Systems,\u201d Proceedings of ICALP, LNCS 820, Springer Verlag, pp. 166\u2013177, 1994. Also in, Information and Computation, March 1998."},{"key":"3_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-47018-2","volume-title":"SAS","author":"J. Hatcli","year":"1999","unstructured":"J. Hatcli., J. Cobett, M. Dwyer, S. Sokolowski, and H. Zheng \u201cA Formal Study of Slicing for Multi-Threaded Programs with JVM Concurrency Primitives,\u201d SAS. LNCS 1694, 1999."},{"issue":"5","key":"3_CR19","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1109\/32.846302","volume":"26","author":"I. Kang","year":"2000","unstructured":"I. Kang, I. Lee, and Y.S. Kim, \u201cAn Efficient Space Generation for the Analysis of Real-Time Systems\u201d. Trans. on Software Engineering, Vol. 26, No. 5, pp. 453\u2013477, May 2000.","journal-title":"Trans. on Software Engineering"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, F. Laroussinie, \u201cCMC: A Tool for Compositional Model-Checking of Real-Time Systems,\u201d Proc. FORTE-PSTV\u201998, 439\u2013456, Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-0-387-35394-4_27"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1008629725384","volume":"11","author":"R. Sloan","year":"1997","unstructured":"R Sloan, U. Buy, \u201cStubborn Sets for Real-Time Petri Nets,\u201d Form. Methods in Syst. Design, Vol. 11(1), pp.23\u201340, July 1997.","journal-title":"Form. Methods in Syst. Design"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"S. Tasiran, S. P. Khatri, S. Yovine, R. K. Brayton, and A. Sangiovanni-Vincentelli. \u201cA Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk,\u201d FMCAD\u201998, 1998.","DOI":"10.1007\/3-540-49519-3_11"},{"key":"3_CR23","unstructured":"S. Tripakis L\u2019Analyse Formelle des System\u00e8s Temporis\u00e9s en Practique, Phd. Thesis, Univesit\u00e9 Joseph Fourier, December 1998."},{"key":"3_CR24","unstructured":"F. Wang, \u201cEfficient and User-Friendly Verification,\u201d Transaction in Computers, Accepted for Publication, June 2001."},{"key":"3_CR25","series-title":"Lect Notes Comput Sci","volume-title":"Real-Time Behavior of Asynchronous Agents","author":"W. Yi","year":"1990","unstructured":"Wang Yi, \u201cReal-Time Behavior of Asynchronous Agents,\u201d Proc. CONCUR\u201990, LNCS 458, 1990."},{"key":"3_CR26","unstructured":"S. Yovine, \u201cM\u00e9thodes et Outiles pour la V\u00e9rification Symbolique de System\u00e8s Temporis\u00e9s,\u201d doctoral disertation, Insitut National Polytechnique de Grenoble, 1993."},{"key":"3_CR27","series-title":"Lect Notes Comput Sci","volume-title":"Embedded Systems","author":"S. Yovine","year":"1998","unstructured":"S. Yovine, \u201cModel-Checking Timed Automata,\u201d Embedded Systems, G. Rozemberg and F. Vaandrager eds., LNCS 1494, 1998."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46002-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:29:03Z","timestamp":1556936943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46002-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434191","9783540460022"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-46002-0_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}