{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:15Z","timestamp":1750307535747,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T00:00:00Z","timestamp":1251676800000},"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":[[2009,8,31]]},"DOI":"10.1145\/1601896.1601962","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T12:53:09Z","timestamp":1252414389000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams"],"prefix":"10.1145","author":[{"given":"Francisco Assis M.","family":"do Nascimento","sequence":"first","affiliation":[{"name":"Federal University of Rio Grande do Sul, Porto Alegre - RS - Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcio F.","family":"da Silva Oliveira","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Sul, Porto Alegre - RS - Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fl\u00e1vio R.","family":"Wagner","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Sul, Porto Alegre - RS - Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware-Software Co-Design of Embedded Systems: The Polis Approach","author":"Balarin F.","year":"1997","unstructured":"F. Balarin Hardware-Software Co-Design of Embedded Systems: The Polis Approach . Kluwer Academic Publishers , Boston, MA , 1997 . F. Balarin et al. Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic Publishers, Boston, MA, 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MOMPES.2007.14"},{"volume-title":"EMF - eclipse modeling framework.","year":"2009","key":"e_1_3_2_1_4_1","unstructured":"Eclipse. EMF - eclipse modeling framework. Available at http:\/\/www.eclipse.org., 2009 . Eclipse. EMF - eclipse modeling framework. Available at http:\/\/www.eclipse.org., 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_13"},{"key":"e_1_3_2_1_7_1","volume-title":"International Journal of Software and Systems Modeling (SoSym), 7:131--155","author":"Hooman J.","year":"2008","unstructured":"J. Hooman Supporting UML-based development of embedded systems by formal techniques . International Journal of Software and Systems Modeling (SoSym), 7:131--155 , 2008 . J. Hooman et al. Supporting UML-based development of embedded systems by formal techniques. International Journal of Software and Systems Modeling (SoSym), 7:131--155, 2008."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_9_1","volume-title":"Overview of the ptolemy project - technical memorandum UCB\/ERL m03\/25. Technical report","author":"Lee E. A.","year":"2003","unstructured":"E. A. Lee . Overview of the ptolemy project - technical memorandum UCB\/ERL m03\/25. Technical report , University of California , Berkeley, CA, USA , July 2003 . E. A. Lee. Overview of the ptolemy project - technical memorandum UCB\/ERL m03\/25. Technical report, University of California, Berkeley, CA, USA, July 2003."},{"key":"e_1_3_2_1_10_1","volume-title":"Executable UML: A foundation for Model Driven Architecture","author":"Mellor S.","year":"2002","unstructured":"S. Mellor and M. Balcer . Executable UML: A foundation for Model Driven Architecture . Addison-Wesley , Boston, MA , 2002 . S. Mellor and M. Balcer. Executable UML: A foundation for Model Driven Architecture. Addison-Wesley, Boston, MA, 2002."},{"key":"e_1_3_2_1_11_1","volume-title":"MDA guide version 1.0.1.","author":"OMG.","year":"2003","unstructured":"OMG. MDA guide version 1.0.1. Available at http:\/\/www.omg.org., 2003 . OMG. MDA guide version 1.0.1. Available at http:\/\/www.omg.org., 2003."},{"key":"e_1_3_2_1_12_1","unstructured":"O\n      MG.\n     Meta object facility 2.0 core specification.\n   Available at http:\/\/www.omg.org. 2009\n  .  OMG. Meta object facility 2.0 core specification. Available at http:\/\/www.omg.org. 2009."},{"key":"e_1_3_2_1_13_1","volume-title":"UML - unified modeling language.","author":"OMG.","year":"2009","unstructured":"OMG. UML - unified modeling language. Available at http:\/\/www.omg.org, 2009 . OMG. UML - unified modeling language. Available at http:\/\/www.omg.org, 2009."},{"volume-title":"openarchitectureware portal.","year":"2009","key":"e_1_3_2_1_14_1","unstructured":"openArchitectureWare. openarchitectureware portal. Available at http:\/\/www.openarchitectureware.org, 2009 . openArchitectureWare. openarchitectureware portal. Available at http:\/\/www.openarchitectureware.org, 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_16_1","volume-title":"UMLSoC2005 - Workshop on UML for SoC","author":"Viehl A.","year":"2005","unstructured":"A. Viehl Performance analysis of sequence diagrams for soc design . In UMLSoC2005 - Workshop on UML for SoC , June 2005 . A. Viehl et al. Performance analysis of sequence diagrams for soc design. In UMLSoC2005 - Workshop on UML for SoC, June 2005."}],"event":{"name":"SBCCI '09: 22nd Symposium on Integrated Circuits and System Design","sponsor":["SBC Brazilian Computer Society","SIGDA ACM Special Interest Group on Design Automation","SBMICRO Brazilian Microelectronics Society","IEEE Circuits & Systems Society"],"location":"Natal Brazil","acronym":"SBCCI '09"},"container-title":["Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1601896.1601962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1601896.1601962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:17Z","timestamp":1750249397000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1601896.1601962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":16,"alternative-id":["10.1145\/1601896.1601962","10.1145\/1601896"],"URL":"https:\/\/doi.org\/10.1145\/1601896.1601962","relation":{},"subject":[],"published":{"date-parts":[[2009,8,31]]},"assertion":[{"value":"2009-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}