{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:35:09Z","timestamp":1725561309743},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/memcod.2016.7797752","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T16:54:22Z","timestamp":1483030462000},"page":"95-104","source":"Crossref","is-referenced-by-count":2,"title":["Specification, verification, and synthesis using extended state machines with callbacks"],"prefix":"10.1109","author":[{"given":"Farhaan","family":"Fowze","sequence":"first","affiliation":[]},{"given":"Tuba","family":"Yavuz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"334","article-title":"The nuxmv symbolic model checker","author":"cavada","year":"2014","journal-title":"Computer Aided Verification - 26th International Conference CAV 2014 Held as Part of the Vienna Summer of Logic VSL 2014"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987593"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462184"},{"key":"ref6","first-page":"951","article-title":"Efficient synthesis for concurrency by semantics-preserving transformations","author":"cern\u00fd","year":"0","journal-title":"Computer Aided Verification - 25th International Conference CAV 2013"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677008"},{"key":"ref5","first-page":"180","article-title":"From non-preemptive to preemptive scheduling using synchronization synthesis","author":"cern\u00fd","year":"2015","journal-title":"Computer Aided Verification - 27th International Conference CAV 2015"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375619"},{"key":"ref7","article-title":"Regression-free synthesis for concurrency","author":"cern\u00fd","year":"2014","journal-title":"CoRR abs\/1407 3681"},{"journal-title":"Linux USB keyboard driver","year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026276129010"},{"journal-title":"Bug Report","article-title":"HID: usbkbd: synchronize LED URB submission","year":"0","key":"ref1"}],"event":{"name":"2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2016,11,18]]},"location":"Kanpur, India","end":{"date-parts":[[2016,11,20]]}},"container-title":["2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786794\/7797738\/07797752.pdf?arnumber=7797752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T23:58:30Z","timestamp":1506988710000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7797752\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/memcod.2016.7797752","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}