{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:58:21Z","timestamp":1742389101756,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dsn.2002.1029022","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:14:31Z","timestamp":1056564871000},"page":"763-772","source":"Crossref","is-referenced-by-count":18,"title":["A compositional approach to monitoring distributed systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Zulkernine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.E.","family":"Seviora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Recommendation Z 100 Specification and Description Language - SDL","year":"2000","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/2.707619"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(97)00170-2"},{"article-title":"Conformance checking of components against their non-deterministic specifications","year":"2001","author":"barnett","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1996.558672"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/90.222906"},{"key":"14","article-title":"Spying on components: A runtime verification technique in specification and verification of component-based systems","author":"barnett","year":"0","journal-title":"Proc of the Workshop on Specification and Verification of Component Based Systems - OOPSLA '2001 Tampa Florida USA October 2001"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/71.774907"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/32.368136"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.16602"},{"key":"3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-49213-5_1","article-title":"The need for compositional proof systems: A survey","volume":"1536","author":"de roever","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"20","first-page":"192","author":"bear","year":"1988","journal-title":"Principles of Telecommunication-Traffic Engineering"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/2.585151"},{"journal-title":"Global States and Time in Distributed Systems","year":"1994","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/69.842263"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(1998)4:2<81::AID-TAPO3>3.3.CO;2-M"},{"journal-title":"Fault Tolerance in Distributed Systems","year":"1994","author":"jalote","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9170-5_1"},{"volume":"1","journal-title":"Software Engineering Customer and Terminology Standards","year":"1999","key":"4"},{"key":"9","article-title":"Design, implementation, and analysis of a highly available distributed call processing system","author":"murakami","year":"0","journal-title":"Proc of the IEEE FTCS Germany June 1998"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/6294.806903"}],"event":{"name":"International Conference on Dependable Systems and Networks","acronym":"DSN-02","location":"Washington, DC, USA"},"container-title":["Proceedings International Conference on Dependable Systems and Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7991\/22107\/01029022.pdf?arnumber=1029022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:42:03Z","timestamp":1497552123000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029022\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/dsn.2002.1029022","relation":{},"subject":[]}}