{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:27:01Z","timestamp":1729668421091,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/icumt.2012.6459679","type":"proceedings-article","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T19:10:56Z","timestamp":1361473856000},"page":"280-285","source":"Crossref","is-referenced-by-count":2,"title":["Checking the robustness of a Message Oriented Middleware based system"],"prefix":"10.1109","author":[{"family":"Yue Jia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eliane","family":"Bodanese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Bigham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","article-title":"High-Capacity internet middleware: Internet caching system architectural overview","author":"tomlinson","year":"1999","journal-title":"Proc 2nd Workshop on Internet Server Performance (SIGMETRICS WISP99)"},{"key":"14","first-page":"285","article-title":"Model-Checking middleware-based event-driven real-time embedded software","author":"deng","year":"2003","journal-title":"Formal Methods for Components and Objects"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CSNT.2011.140"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.57"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CASoN.2010.38"},{"key":"2","first-page":"46","article-title":"Orthogonal classification of middleware technologies","author":"grenoble","year":"2009","journal-title":"Mobile Ubiquitous Computing Systems Services and Technologies"},{"journal-title":"Co-operation with the Working Group RFID of the ETP EPOSS Internet of Things in 2020 Roadmap for the Future Version 1 1","year":"2008","key":"1"},{"key":"10","first-page":"331","article-title":"Message-oriented middleware with QoS awareness","author":"yang","year":"2009","journal-title":"Proc 7th International Joint Conference on Service-Oriented Computing Stockholm Sweden"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"6","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BFb0058022","article-title":"Model checking","volume":"1346","author":"clarke","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"NuSMV Model Checker","year":"2003","author":"pistore","key":"5"},{"key":"4","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-3-540-72736-1_2","article-title":"A message oriented middleware solution enabling non-repudiation evidence generation for reliable web services","author":"parkin","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"journal-title":"A Quick Bit of Temporal Logic Introducing CTL","year":"2009","author":"chu-carroll","key":"8"}],"event":{"name":"2012 IV International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT 2012)","start":{"date-parts":[[2012,10,3]]},"location":"St. Petersburg, Russia","end":{"date-parts":[[2012,10,5]]}},"container-title":["2012 IV International Congress on Ultra Modern Telecommunications and Control Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6449582\/6459638\/06459679.pdf?arnumber=6459679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T04:01:35Z","timestamp":1498017695000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6459679\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icumt.2012.6459679","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}