{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:01Z","timestamp":1750307101948,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,15]],"date-time":"2012-10-15T00:00:00Z","timestamp":1350259200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,15]]},"DOI":"10.1145\/2382636.2382685","type":"proceedings-article","created":{"date-parts":[[2012,10,15]],"date-time":"2012-10-15T17:13:12Z","timestamp":1350321192000},"page":"223-232","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["An approach to verify live NCL applications"],"prefix":"10.1145","author":[{"suffix":"Jr.","given":"Delcino","family":"Picinin","sequence":"first","affiliation":[{"name":"Federal University of Santa Catarina, Florianopolis, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie","family":"Farines","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina, Florianopolis, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Koliver","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina, Florianopolis, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/BMSB.2011.5954945"},{"key":"e_1_3_2_1_2_1","volume-title":"4th European Congress on Embedded RT Software - ERTS","author":"Berthomieu B.","year":"2008","unstructured":"B. Berthomieu , J.-P. Bodeveix , P. Farail , M. Filali , H. Garavel , P. Gaufillet , F. Lang , and F. Vernadat . FIACRE: an intermediate language for model verification in the topcased environment . 4th European Congress on Embedded RT Software - ERTS , 2008 . B. Berthomieu, J.-P. Bodeveix, P. Farail, M. Filali, H. Garavel, P. Gaufillet, F. Lang, and F. Vernadat. FIACRE: an intermediate language for model verification in the topcased environment. 4th European Congress on Embedded RT Software - ERTS, 2008."},{"issue":"42","key":"e_1_3_2_1_3_1","article-title":"The tool TINA - construction of abstract state spaces for Petri Nets and Time Petri Nets","volume":"14","author":"Berthomieu B.","year":"2004","unstructured":"B. Berthomieu , P.-O. Ribet , and F. Vernadat . The tool TINA - construction of abstract state spaces for Petri Nets and Time Petri Nets . Int. Journal of Production Research , 14 ( 42 ), 2004 . B. Berthomieu, P.-O. Ribet, and F. Vernadat. The tool TINA - construction of abstract state spaces for Petri Nets and Time Petri Nets. Int. Journal of Production Research, 14(42), 2004.","journal-title":"Int. Journal of Production Research"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1870121.1870123"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/583852.581482"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1410140.1410203"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(99)00240-6"},{"key":"e_1_3_2_1_8_1","volume-title":"PUC","author":"Felix M.","year":"2002","unstructured":"M. Felix , E. Haeusler , and L. Soares . Validating Hypermedia Documents: A Timed Automata Approach. Monografias em Ci\u00eancia da Computa\u00e7ao . PUC , 2002 . M. Felix, E. Haeusler, and L. Soares. Validating Hypermedia Documents: A Timed Automata Approach. Monografias em Ci\u00eancia da Computa\u00e7ao. PUC, 2002."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00530-011-0233-1"},{"key":"e_1_3_2_1_10_1","volume-title":"TV Digital e Web","author":"Gomes Soares L. F.","year":"2009","unstructured":"L. F. Gomes Soares and S. D. J. Barbosa . Programando em NCL 3.0: desenvolvimento de aplica\u00e7\u00f5es para o middleware Ginga , TV Digital e Web . Elsevier , Rio de Janeiro, Brazil, 2009 . L. F. Gomes Soares and S. D. J. Barbosa. Programando em NCL 3.0: desenvolvimento de aplica\u00e7\u00f5es para o middleware Ginga, TV Digital e Web. Elsevier, Rio de Janeiro, Brazil, 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/648143.749987"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69478-6_7"},{"key":"e_1_3_2_1_13_1","volume-title":"Towards the NCL Raw Profile. II Workshop de TV Digital Interativa - WTVDI (WebMedia)","author":"Lima G.","year":"2010","unstructured":"G. Lima , L. Gomes Soares , C. Soares Neto , and M. Moreno . Towards the NCL Raw Profile. II Workshop de TV Digital Interativa - WTVDI (WebMedia) , 2010 . G. Lima, L. Gomes Soares, C. Soares Neto, and M. Moreno. Towards the NCL Raw Profile. II Workshop de TV Digital Interativa - WTVDI (WebMedia), 2010."},{"key":"e_1_3_2_1_14_1","volume-title":"WebMedia","author":"Picinin D. J.","year":"2011","unstructured":"D. J. Picinin , J.-M. Farines , and C. A. S. Santos . Uma abordagem MDE para modelagem e verifica\u00e7\u00e3o de documentos multim\u00eddia interativos . WebMedia , 2011 . D. J. Picinin, J.-M. Farines, and C. A. S. Santos. Uma abordagem MDE para modelagem e verifica\u00e7\u00e3o de documentos multim\u00eddia interativos. WebMedia, 2011."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1166160.1166202"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1590\/S0104-65002004000100004"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/290747.290753"},{"key":"e_1_3_2_1_18_1","volume-title":"WebMedia","author":"Yovine S.","year":"2010","unstructured":"S. Yovine , A. Olivero , D. Monteverde , and G. Cordoba , L. and Reiter. An approach for the verification of the temporal consistency of NCL applications . WebMedia , 2010 . S. Yovine, A. Olivero, D. Monteverde, and G. Cordoba, L.and Reiter. An approach for the verification of the temporal consistency of NCL applications. WebMedia, 2010."},{"key":"e_1_3_2_1_19_1","first-page":"132","volume-title":"Proc. of the 4th IEEE Int. Symp. on Multimedia Software Engineering, MSE '02","author":"Yu H.","unstructured":"H. Yu , X. He , S. Gao , and Y. Deng . Modeling and analyzing SMIL documents in SAM . In Proc. of the 4th IEEE Int. Symp. on Multimedia Software Engineering, MSE '02 , pages 132 --, Washington, DC, USA, 2002. IEEE Comp. Society. H. Yu, X. He, S. Gao, and Y. Deng. Modeling and analyzing SMIL documents in SAM. In Proc. of the 4th IEEE Int. Symp. on Multimedia Software Engineering, MSE '02, pages 132--, Washington, DC, USA, 2002. IEEE Comp. Society."}],"event":{"name":"WebMedia '12: Brazilian Symposium on Multimedia and the Web","sponsor":["SBC Brazilian Computer Society","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGMM ACM Special Interest Group on Multimedia"],"location":"S\u00e3o Paulo\/SP Brazil","acronym":"WebMedia '12"},"container-title":["Proceedings of the 18th Brazilian symposium on Multimedia and the web"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382636.2382685","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2382636.2382685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:54Z","timestamp":1750239294000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382636.2382685"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,15]]},"references-count":19,"alternative-id":["10.1145\/2382636.2382685","10.1145\/2382636"],"URL":"https:\/\/doi.org\/10.1145\/2382636.2382685","relation":{},"subject":[],"published":{"date-parts":[[2012,10,15]]},"assertion":[{"value":"2012-10-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}