{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:16:52Z","timestamp":1729635412308,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/indin.2014.6945502","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T17:52:14Z","timestamp":1415814734000},"page":"164-169","source":"Crossref","is-referenced-by-count":3,"title":["Extending the verification capabilities of middleware for reliable distributed self-adaptive systems"],"prefix":"10.1109","author":[{"given":"Marisol","family":"Garcia-Valls","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Perez-Palacin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1992.242672"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2007.21"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2013.6604222"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1145\/944217.944233","article-title":"Service oriented computing","volume":"46","author":"papazoglou","year":"2003","journal-title":"Communications of the ACM"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"journal-title":"An Architectural Blue Print of Autonomic Computing","year":"2006","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2004.1309145"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198662"},{"journal-title":"Design Contracts for Cyber-physical Systems Making Timing Assumptions Explicit","year":"2012","author":"toerngren","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2014.55"},{"key":"1","article-title":"Scheduling component replacement for timely execution in dynamic systems","author":"cano","year":"2013","journal-title":"Software Practice and Experience"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1380584.1380585"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549450"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2011.10.005"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.06.008"},{"journal-title":"Low Complexity Reconfiguration for Real-time Data-intensive Service-oriented Applications","year":"2013","author":"garc\ufffd-valls","key":"4"},{"year":"0","key":"9"},{"key":"8","article-title":"An architecture for a Quality of Service resource manager for flexible multimedia embedded systems","volume":"2596","author":"garc\ufffd-valls","year":"2003","journal-title":"Proc of 3rd Int'l Workshop on Software Engineering and Middleware (SEM'02) Lecture Notes in Computer Science"}],"event":{"name":"2014 12th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2014,7,27]]},"location":"Porto Alegre RS, Brazil","end":{"date-parts":[[2014,7,30]]}},"container-title":["2014 12th IEEE International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6926648\/6945470\/06945502.pdf?arnumber=6945502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,21]],"date-time":"2022-04-21T23:15:52Z","timestamp":1650582952000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6945502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/indin.2014.6945502","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}