{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T18:50:06Z","timestamp":1769280606110,"version":"3.49.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/samos.2015.7363660","type":"proceedings-article","created":{"date-parts":[[2015,12,28]],"date-time":"2015-12-28T21:37:08Z","timestamp":1451338628000},"page":"60-69","source":"Crossref","is-referenced-by-count":30,"title":["Bridging the semantic gap between heterogeneous modeling formalisms and FMI"],"prefix":"10.1109","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40229-6_15"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"ref12","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"IFIP Congress"},{"key":"ref13","article-title":"Functional Mock-up Interface for Model Exchange and Co-Simulation","year":"2013","journal-title":"2 0 Release Candidate"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728629"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063115"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076205"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3384\/ecp1409643"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076765"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2014.2345759"},{"key":"ref5","article-title":"Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI","author":"tripakis","year":"2014","journal-title":"Tech Rep UCB\/EECS-2014-30"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref7","article-title":"Lustre: a declarative language for programming synchronous systems","author":"caspi","year":"1987","journal-title":"POPL"},{"key":"ref2","author":"kohavi","year":"1978","journal-title":"Switching and Finite Automata Theory"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000278"}],"event":{"name":"2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)","location":"Samos, Greece","start":{"date-parts":[[2015,7,19]]},"end":{"date-parts":[[2015,7,23]]}},"container-title":["2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7358369\/7363643\/07363660.pdf?arnumber=7363660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:19:44Z","timestamp":1602685184000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7363660"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/samos.2015.7363660","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}