{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:53:19Z","timestamp":1742395999942,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2004.1268877","type":"proceedings-article","created":{"date-parts":[[2004,6,21]],"date-time":"2004-06-21T21:52:40Z","timestamp":1087854760000},"page":"384-389","source":"Crossref","is-referenced-by-count":6,"title":["Modeling and validating globally asynchronous design in synchronous frameworks"],"prefix":"10.1109","author":[{"given":"M.R.","family":"Mousavi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.-P.","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Basten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","article-title":"Generalized latency-insensitive systems for gals architectures","author":"singh","year":"2003","journal-title":"To Appear In Proceedings of FMGALS'03"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ATW.1994.747847"},{"journal-title":"Modeling and Validation of Globally Asynchronous Design in Synchronous Framework","year":"2003","author":"mousavi","key":"13"},{"key":"14","first-page":"29","article-title":"Formal models for communication-based design","volume":"1877","author":"sangiovanni-vincentelli","year":"2000","journal-title":"Proc CONCUR'00"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"12","first-page":"547","volume":"863","author":"maffes","year":"1994","journal-title":"Distributed Implementation of Signal Scheduling & Graph Clustering"},{"key":"3","first-page":"162","author":"benveniste","year":"1999","journal-title":"From Synchrony to Asynchrony"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1996.495517"},{"journal-title":"The Polychrony Toolset","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"7","first-page":"266","article-title":"Automatic production of globally asynchronous locally synchronous systems","volume":"2491","author":"girault","year":"2002","journal-title":"Proc EMSOFT'02"},{"key":"6","article-title":"Modeling of avionics applications and performance evaluation techniques using the synchronous language signal","volume":"88","author":"gamatie","year":"2003","journal-title":"To Appear in Proceedings of SLAP'03"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008796718837"},{"key":"4","article-title":"A protocol for loosely time-triggered architectures","volume":"2491","author":"benveniste","year":"2002","journal-title":"Proc EMSOFT'02"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008792918020"},{"key":"8","first-page":"240","article-title":"Synchronous modelling of asynchronous systems","volume":"2491","author":"halbwachs","year":"2002","journal-title":"Proc EMSOFT'02"}],"event":{"name":". Design, Automation and Test in Europe Conference and Exhibition","acronym":"DATE-04","location":"Paris, France"},"container-title":["Proceedings Design, Automation and Test in Europe Conference and Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8959\/28390\/01268877.pdf?arnumber=1268877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T16:39:12Z","timestamp":1489423152000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1268877\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/date.2004.1268877","relation":{},"subject":[]}}