{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:30:49Z","timestamp":1730259049433,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/icst.2008.70","type":"proceedings-article","created":{"date-parts":[[2008,6,11]],"date-time":"2008-06-11T15:07:16Z","timestamp":1213196836000},"page":"102-111","source":"Crossref","is-referenced-by-count":0,"title":["Scheduling Timed Modules for Correct Resource Sharing"],"prefix":"10.1109","author":[{"given":"Cristina","family":"Seceleanu","sequence":"first","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Proceedings of the 2nd ACP4IS Workshop","article-title":"lock inference for systems software","year":"2003","author":"regehr","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"journal-title":"Proc of DATE'07 Workshop Towards a Systematic Approach to Embedded System Design","article-title":"formalising the arts mpsoc model in uppaal","year":"2007","author":"madsen","key":"18"},{"article-title":"checking java programs via guarded commands","year":"0","author":"leino","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(82)90024-4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/512557.512558"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.019"},{"key":"12","first-page":"129","article-title":"a generic approach to schedulability analysis of real-time tasks","volume":"11","author":"fersman","year":"2004","journal-title":"Nordic Journal of Computing"},{"year":"0","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"2","first-page":"55","article-title":"scheduler modeling based on the controller synthesis paradigm","author":"altisen","year":"2002","journal-title":"Journal of RTS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119480"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2000.896005"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2005.40"},{"journal-title":"Real-Time Systems and Programming Languages","year":"2001","author":"burns","key":"6"},{"key":"5","first-page":"307","article-title":"contracts and games in controller synthesis for discrete systems","author":"back","year":"2004","journal-title":"Proc of ECBS"},{"key":"4","first-page":"74","article-title":"modularity for timed and hybrid systems","volume":"1243","author":"alur","year":"1997","journal-title":"LNCS"},{"journal-title":"The Challenge of Race Conditions in Parallel Programming","year":"0","author":"chen","key":"9"},{"article-title":"an empirical comparison of static concurrency analysis techniques","year":"1996","author":"chamillard","key":"8"}],"event":{"name":"2008 International Conference on Software Testing, Verification, and Validation","start":{"date-parts":[[2008,4,9]]},"location":"Lillehammer, Norway","end":{"date-parts":[[2008,4,11]]}},"container-title":["2008 International Conference on Software Testing, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4539516\/4539517\/04539537.pdf?arnumber=4539537","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T12:10:22Z","timestamp":1489666222000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4539537\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":20,"URL":"http:\/\/dx.doi.org\/10.1109\/icst.2008.70","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}
