{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:57:54Z","timestamp":1729663074021,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fdl.2014.7119342","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T15:03:47Z","timestamp":1434121427000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Verification of unit and dimensional consistencies in polychronous specifications"],"prefix":"10.1109","author":[{"given":"Mahesh","family":"Nanjundappa","sequence":"first","affiliation":[]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419925"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263761"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/978-3-642-04425-0_31","article-title":"Scalable semantic annotation using lattice-based ontologies","volume":"5795","author":"leung","year":"2009","journal-title":"MoDELS Ser Lecture Notes in Computer Science"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038648"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2013.6"},{"key":"ref15","first-page":"24","article-title":"Synthesizing embedded software with safety wrappers through polyhedral analysis in a polychronous framework","author":"nanjundappa","year":"2012","journal-title":"ESLsyn'12"},{"journal-title":"Case studies Metric \/ english conversion errors","article-title":"T. R. of the University of California Davis","year":"2011","key":"ref16"},{"key":"ref17","first-page":"149","article-title":"SimCheck: An expressive type system for Simulink","author":"roy","year":"2010","journal-title":"Proceedings of the Nasa Formal Methods Symposium"},{"journal-title":"Boost units library 1 1 0","year":"2013","author":"schabel","key":"ref18"},{"key":"ref19","article-title":"Clock type soundness in synchronous languages","author":"strecker","year":"2009","journal-title":"Technical Report"},{"key":"ref4","first-page":"264","article-title":"Inference of user-defined type qualifiers and qualifier rules","author":"chin","year":"2006","journal-title":"Proceedings of the 15th European Symposium on Programming"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","article-title":"Guer-nic, and R. de Simone. The synchronous languages 12 years later","volume":"91","author":"benveniste","year":"2003","journal-title":"Proceedings of the IEEE"},{"key":"ref6","first-page":"250","author":"dunfield","year":"2003","journal-title":"Type assignment for intersections and unions in call-by-value languages FOSSACS'03\/ETAPS'03"},{"journal-title":"Jscience Java tools and libraries for the advancement of sciences","year":"2011","author":"dautelle","key":"ref5"},{"article-title":"Assip study of real-time safety-critical embedded software-intensive system engineering practices","year":"2008","author":"feiler","key":"ref8"},{"journal-title":"The Yices SMT Solver","year":"1999","author":"dutertre","key":"ref7"},{"key":"ref2","first-page":"56","article-title":"Unit and dynamic typing in hybrid systems modeling with charon","author":"anand","year":"2006","journal-title":"2006 IEEE Conf on Computer Aided Control System Design"},{"journal-title":"Polychrony A Toolset for Signal","year":"0","key":"ref1"},{"key":"ref9","first-page":"1","article-title":"Emcodesyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications","author":"jose","year":"2009","journal-title":"Specification Design Languages 2009 FDL 2009 Forum on"}],"event":{"name":"2014 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2014,10,14]]},"location":"Munich, Germany","end":{"date-parts":[[2014,10,16]]}},"container-title":["Proceedings of the 2014 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7113213\/7119333\/07119342.pdf?arnumber=7119342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T13:34:43Z","timestamp":1498224883000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7119342\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/fdl.2014.7119342","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}