{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:48:27Z","timestamp":1742381307205},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046933"},{"type":"electronic","value":"9783642046940"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04694-0_13","type":"book-chapter","created":{"date-parts":[[2009,9,15]],"date-time":"2009-09-15T09:50:17Z","timestamp":1253008217000},"page":"184-201","source":"Crossref","is-referenced-by-count":17,"title":["DMaC: Distributed Monitoring and Checking"],"prefix":"10.1007","author":[{"given":"Wenchao","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"P2: Declarative Networking, http:\/\/p2.cs.berkeley.edu"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/11944836_25","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"A. Bauer","year":"2006","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol.\u00a04337, pp. 260\u2013272. Springer, Heidelberg (2006)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Chen, F., Rosu, G.: MOP: An efficient and generic runtime verification framework. In: Proceedings of OOPSLA 2007, pp. 569\u2013588 (2007)","DOI":"10.1145\/1297027.1297069"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: 13 th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008) (September 2008)","DOI":"10.1007\/978-3-642-03240-0_13"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/1900000001","volume":"1","author":"A. Deshpande","year":"2007","unstructured":"Deshpande, A., Ives, Z.G., Raman, V.: Adaptive query processing. Foundations and Trends in Databases\u00a01(1), 1\u2013140 (2007)","journal-title":"Foundations and Trends in Databases"},{"issue":"12","key":"13_CR6","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.368136","volume":"20","author":"M. Diaz","year":"1994","unstructured":"Diaz, M., Juanole, G., Courtiat, J.-P.: Observer - a concept for formal on-line validation of distributed systems. IEEE Transactions on Software Engineering\u00a020(12), 900\u2013913 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR7","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the Workshop on Runtime Verification","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Rosu, G.: Monitoring Java programs with JavaPathExplorer. In: Proceedings of the Workshop on Runtime Verification. Electronic Notes in Theoretical Computer Science, vol.\u00a055. Elsevier Publishing, Amsterdam (2001)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Herbert, D., Sundaram, V., Lu, Y.-H., Bagchi, S., Li, Z.: Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. ACM Transactions on Autonomous and Adaptive Systems\u00a02(3) (2007)","DOI":"10.1145\/1278460.1278462"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Jahanian, F., Goyal, A.: A formalism for monitoring real-time constraints at run-time. In: 20th Int. Symp. on Fault-Tolerant Computing Systems (FTCS-20), pp. 148\u2013155 (1990)","DOI":"10.1109\/FTCS.1990.89350"},{"issue":"2","key":"13_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/B:FORM.0000017719.43755.7c","volume":"24","author":"M. Kim","year":"2004","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: a run-time assurance approach for Java programs. Formal Methods in Systems Design\u00a024(2), 129\u2013155 (2004)","journal-title":"Formal Methods in Systems Design"},{"key":"13_CR11","unstructured":"Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Proceedings of the European Conf. on Real-Time Systems - ECRTS 1999, June 1999, pp. 114\u2013121 (1999)"},{"key":"13_CR12","unstructured":"Liu, X., Guo, Z., Wang, X., Chen, F., Tang, X.L.J., Wu, M., Kaashoek, M.F., Zhang, Z.: D3S: Debugging Deployed Distributed Systems. In: NSDI (2008)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Condie, T., Hellerstein, J.M., Maniatis, P., Roscoe, T., Stoica, I.: Implementing Declarative Overlays. In: ACM SOSP (2005)","DOI":"10.1145\/1095810.1095818"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R.: Declarative Routing: Extensible Routing with Declarative Queries. In: SIGCOMM (2005)","DOI":"10.1145\/1080091.1080126"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Mok, A.K., Liu, G.: Efficient run-time monitoring of timing constraints. In: IEEE Real-Time Technology and Applications Symposium (June 1997)","DOI":"10.1109\/RTTAS.1997.601363"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Paxson, V., Kurose, J., Partridge, C., Zegura, E.W.: End-to-end routing behavior in the internet. IEEE\/ACM Transactions on Networking, 601\u2013615 (1996)","DOI":"10.1109\/90.649563"},{"key":"13_CR17","unstructured":"Reynolds, P., Killian, C., Wiener, J.L., Mogul, J.C., Shah, M.A., Vahdat, A.: Pip: Detecting the Unexpected in Distributed Systems. In: NSDI (2006)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Sankar, S., Mandal, M.: Concurrent runtime monitoring of formally specified programs. IEEE Computer (1993)","DOI":"10.1109\/2.204684"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Savor, T., Seviora, R.E.: Toward automatic detection of software failures. IEEE Computer, 68\u201374 (August 1998)","DOI":"10.1109\/2.707619"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Selinger, P.G., Astrahan, M.M., Chamberlin, D.D., Lorie, R.A., Price, T.G.: Access path selection in a relational database management system. In: SIGMOD (1979)","DOI":"10.1145\/582095.582099"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-540-24730-2_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Sen","year":"2004","unstructured":"Sen, K., Rosu, G., Agha, G.: Online efficient predictive safety analysis of multithreaded programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 123\u2013138. Springer, Heidelberg (2004)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: 26 th International Conference on Software Engineering (ICSE 2004), pp. 418\u2013427 (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"13_CR23","unstructured":"Sokolsky, O., Sammapun, U., Lee, I., Kim, J.: Run-time checking of dynamic properties. In: Proceeding of the 5th International Workshop on Runtime Verification (RV 2005), Edinburgh, Scotland, UK (July 2005)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04694-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:52:54Z","timestamp":1558540374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04694-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046933","9783642046940"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04694-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}