{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:24:13Z","timestamp":1725755053851},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/fdl.2008.4641446","type":"proceedings-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T15:14:34Z","timestamp":1223997274000},"page":"203-208","source":"Crossref","is-referenced-by-count":14,"title":["Model-based Design Space Exploration for RTES with SysML and MARTE"],"prefix":"10.1109","author":[{"given":"Marcello","family":"Mura","sequence":"first","affiliation":[]},{"given":"Luis Gabriel","family":"Murillo","sequence":"additional","affiliation":[]},{"given":"Mauro","family":"Prevostini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"UML Workshop at Date'08","article-title":"using marte in a co-design methodology","year":"0","author":"koudri","key":"19"},{"journal-title":"UML Workshop at Date'08","article-title":"tool support for a scheduling analysis view","year":"0","author":"hagner","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1"},{"year":"0","key":"15"},{"year":"0","key":"16"},{"year":"0","key":"13"},{"journal-title":"UML-SoC'07","article-title":"hardware\/software partitioning of uml models","year":"0","author":"green","key":"14"},{"year":"0","key":"11"},{"year":"0","key":"12"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1007\/0-306-48738-1_12","article-title":"schedulability analysis with uml","author":"natale","year":"2003","journal-title":"UML for Real Design of Embedded Real- Time Systems"},{"journal-title":"Chess Conferences Reviews","article-title":"advanced tool architectures","year":"2004","author":"lee","key":"20"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.1007\/0-306-48738-1_11","article-title":"performance analysis with uml: layered queueing models from the performance profile","author":"petriu","year":"2003","journal-title":"UML for Real Design of Embedded Real-Time Systems"},{"journal-title":"Scheduling Validation for UML-modeled Real-Time Systems","year":"0","author":"phan","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2000.853997"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/2.846320"},{"year":"0","key":"26"},{"year":"0","key":"27"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"journal-title":"Satellite Events at MoDELS","article-title":"annotating uml models with non-functional properties for quantitative analysis","year":"2005","author":"espinoza","key":"10"},{"year":"0","key":"1"},{"journal-title":"Sensitivity and Optimization","year":"1980","author":"bayton","key":"7"},{"year":"0","key":"6"},{"journal-title":"UML-SoC'07","article-title":"using uml 2.0 for the creation of concept-based soc design","year":"0","author":"ahmed","key":"5"},{"year":"0","key":"4"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"Design Languages (FDL)","start":{"date-parts":[[2008,9,23]]},"location":"Stuttgart","end":{"date-parts":[[2008,9,25]]}},"container-title":["2008 Forum on Specification, Verification and Design Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4636106\/4641405\/04641446.pdf?arnumber=4641446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,9]],"date-time":"2020-05-09T00:36:02Z","timestamp":1588984562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4641446\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/fdl.2008.4641446","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}