{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:30:35Z","timestamp":1742380235963},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387346335"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-34735-6_18","type":"book-chapter","created":{"date-parts":[[2006,12,14]],"date-time":"2006-12-14T18:32:32Z","timestamp":1166121152000},"page":"197-212","source":"Crossref","is-referenced-by-count":6,"title":["Symbolic Determinisation of Extended Automata"],"prefix":"10.1007","author":[{"given":"Thierry","family":"J\u00e9ron","sequence":"first","affiliation":[]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[]},{"given":"Vlad","family":"Rusu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Introduction to Automata Theory, Languages and Computability","author":"J. E. Hopcroft","year":"2000","unstructured":"John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to Automata Theory, Languages and Computability. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000."},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"18_CR3","unstructured":"T. J\u00e9ron, H. Marchand, and V. Rusu. Symbolic determinisation of extended automata. Technical Report 1176, IRISA, February 2006."},{"issue":"2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"Greg Nelson and Derek C. Oppen. Simplification by cooperating decision procedures. ACM Trans. Program. Lang. Syst., 1(2):245\u2013257, 1979.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Vlad Rusu, Herv\u00e9 Marchand, and Thierry J\u00e9ron. Automatic verification and conformance testing for validating safety properties of reactive systems. In Formal Methods 2005 (FM\u201905), volume 2805 of LNCS, pages 223\u2013243, 2005.","DOI":"10.1007\/11526841_14"},{"issue":"3","key":"18_CR6","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Jan Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software\u2014Concepts and Tools, 17(3):103\u2013120, 1996.","journal-title":"Software\u2014Concepts and Tools"},{"issue":"2","key":"18_CR7","first-page":"105","volume":"4","author":"M. Sampath","year":"1996","unstructured":"M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Tcneketzis. Failure diagnosis using discrete event models. Proceedings of the IEEE Transactions on Automatic Control, 4(2):105\u2013124, 1996.","journal-title":"Failure diagnosis using discrete event models"},{"issue":"8","key":"18_CR8","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S. Jiang","year":"2001","unstructured":"S. Jiang, Z. Huang, V. Chandra, and R. Kumar. A polynomial time algorithm for diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 46(8):1318\u20131321, August 2001.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"18_CR9","unstructured":"Elena Zinovieva. M\u2019thodes symboliques pour la g\u00e9n\u00e9ration de tests de syst\u00e8mes r\u00e9actifs comportant des donn\u00e9es. PhD thesis, Univ. of Rennes, Nov. 2004."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"B. Jeannet, T. J\u00e9ron, V. Rusu, and E. Zinovieva. Symbolic test selection based on approximate analysis. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201905), volume 3440 of LNCS, 2005.","DOI":"10.1007\/978-3-540-31980-1_23"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"T. J\u00e9ron and P. Morel. Test generation derived from model-checking. In Computer-Aided Verification (CAV\u201999), volume 1633 of LNCS, pages 108\u2013122, 1999.","DOI":"10.1007\/3-540-48683-6_12"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Moez Krichen and Stavros Tripakis. Black-box conformance testing for real-time systems. In SPIN\u201904, volume 2989 of LNCS, pages 109\u2013126, 2004.","DOI":"10.1007\/978-3-540-24732-6_8"}],"container-title":["IFIP International Federation for Information Processing","Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34735-6_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:50:26Z","timestamp":1619574626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34735-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387346335"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34735-6_18","relation":{},"subject":[]}}