{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:47:52Z","timestamp":1730342872799,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8714993","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:29:07Z","timestamp":1558042147000},"page":"1619-1624","source":"Crossref","is-referenced-by-count":0,"title":["Semantic Integration Platform for Cyber-Physical System Design"],"prefix":"10.23919","author":[{"given":"Qishen","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamas","family":"Kecskes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ted","family":"Bapty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design","volume":"1118","author":"juracz","year":"0","journal-title":"MoDELS"},{"key":"ref11","article-title":"Philosophical Underpinnings of Adaptive Vehicle Make","author":"eremenko","year":"2011","journal-title":"DARPA-BAA-12-15"},{"key":"ref12","article-title":"This Is the Million-Dollar Design for Darpa's Crowdsourced Swimming Tank","author":"ackennan","year":"2013","journal-title":"Wired"},{"key":"ref13","first-page":"32","article-title":"Complex System Design through Crowdsourcing : DARPA FANG - 1 as a Case Study","volume":"21","author":"de week","year":"2014","journal-title":"Industrial Engineering Magazine"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2012-70534"},{"key":"ref16","first-page":"331","article-title":"Model Integration in CPS","author":"simko","year":"2017","journal-title":"Cyber-physical system"},{"key":"ref17","article-title":"Engineering of domain-speciifc languages with FORMULA 2","author":"jackson","year":"0","journal-title":"Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13"},{"key":"ref18","article-title":"Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Datatypes","author":"bjorner","year":"0","journal-title":"informal proceedings of HOPA 2013 (Workshop on Higher-Order Program Analysis"},{"key":"ref19","article-title":"Safe asynchronous event-driven programming","author":"desai","year":"0","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation (PLDI)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747922"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2012-71464"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2012-71378"},{"year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1109\/JPROC.2006.890107","article-title":"Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design","volume":"95","author":"sangiovanni-vincentell","year":"2007","journal-title":"Proceedings of the IEEE"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2838530"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"journal-title":"Standard for Modeling and Simulation High Level Architecture","year":"0","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.05.227"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3384\/ecp14096235"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/2.585163"},{"key":"ref23","article-title":"A Common Integrated Framework for Heterogeneous Modeling Services","author":"mavridou","year":"2018","journal-title":"GEMOC 2018 co-located with MODELS 2018"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2019,3,25]]},"location":"Florence, Italy","end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08714993.pdf?arnumber=8714993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T23:50:39Z","timestamp":1559605839000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8714993\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8714993","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}