{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T10:49:36Z","timestamp":1756810176169,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319469812"},{"type":"electronic","value":"9783319469829"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46982-9_26","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T15:41:08Z","timestamp":1474299668000},"page":"420-435","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems"],"prefix":"10.1007","author":[{"given":"Sorrachai","family":"Yingchareonthawornchai","sequence":"first","affiliation":[]},{"given":"Duong N.","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Vidhya Tekken","family":"Valapil","sequence":"additional","affiliation":[]},{"given":"Sandeep S.","family":"Kulkarni","sequence":"additional","affiliation":[]},{"given":"Murat","family":"Demirbas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,20]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Fan, R., Lynch, N.: Gradient clock synchronization. In: PODC, pp. 320\u2013327 (2004)","DOI":"10.1145\/1011767.1011815"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Patt-Shamir, B., Rajsbaum, S.: A theory of clock synchronization (extended abstract). In: ACM Symposium on Theory of Computing (STOC), pp. 810\u2013819 (1994)","DOI":"10.1145\/195058.195466"},{"issue":"5","key":"26_CR3","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/2733108","volume":"58","author":"J Sheehy","year":"2015","unstructured":"Sheehy, J.: There is no now. Commun. ACM 58(5), 36\u201341 (2015)","journal-title":"Commun. ACM"},{"issue":"2","key":"26_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/956981.956983","volume":"33","author":"D Mills","year":"2003","unstructured":"Mills, D.: A brief history of NTP time: memoirs of an internet timekeeper. ACM SIGCOMM Comput. Commun. Rev. 33(2), 9\u201321 (2003)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"issue":"7","key":"26_CR5","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"26_CR6","unstructured":"Yingchareonthawornchai, S., Nguyen, D., Valapil, V.T., Kulkarni, S.S., Demirbas, M.: Precision, recall, sensitivity of monitoring partially synchronous distributed systems. CoRR, abs\/1607.03369 (2016). http:\/\/arxiv.org\/abs\/1607.03369"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Garg, V.K., Chase, C.: Distributed algorithms for detecting conjunctive predicates. In: International Conference on Distributed Computing Systems, pp. 423\u2013430, June 1995","DOI":"10.1109\/ICDCS.1995.500047"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Lu, H., Veeraraghavan, K., Ajoux, P., Hunt, J., Song, Y.-J., Tobagus, W., Kumar, S., Lloyd, W.: Existential consistency: measuring and understanding consistency at Facebook. In: Proceedings of the 25th Symposium on Operating Systems Principles, pp. 295\u2013310. ACM (2015)","DOI":"10.1145\/2815400.2815426"},{"key":"26_CR9","unstructured":"Sigelman, B., Barroso, L., Burrows, M., Stephenson, P., Plakal, M., Beaver, D., Jaspan, S., Shanbhag, C.: Dapper, a large-scale distributed systems tracing infrastructure. Google Inc., Technical report (2010). http:\/\/research.google.com\/archive\/papers\/dapper-2010-1.pdf"},{"key":"26_CR10","unstructured":"Chow, M., Meisner, D., Flinn, J., Peek, D., Wenisch, T.: The mystery machine: end-to-end performance analysis of large-scale internet services. In: 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2014), pp. 217\u2013231 (2014)"},{"issue":"12","key":"26_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/127695.122774","volume":"26","author":"R Cooper","year":"1991","unstructured":"Cooper, R., Marzullo, K.: Consistent detection of global predicates. ACM SIGPLAN Not. 26(12), 167\u2013174 (1991)","journal-title":"ACM SIGPLAN Not."},{"key":"26_CR12","unstructured":"Verissimo, P.: Real-time communication. In: Distributed Systems, vol. 2 (1993)"},{"issue":"2","key":"26_CR13","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s004460050069","volume":"13","author":"S Stoller","year":"2000","unstructured":"Stoller, S.: Detecting global predicates in distributed systems with clocks. Distrib. Comput. 13(2), 85\u201398 (2000)","journal-title":"Distrib. Comput."},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-14472-6_2","volume-title":"Principles of Distributed Systems","author":"SS Kulkarni","year":"2014","unstructured":"Kulkarni, S.S., Demirbas, M., Madappa, D., Avva, B., Leone, M.: Logical physical clocks. In: Aguilera, M.K., Querzoni, L., Shapiro, M. (eds.) OPODIS 2014. LNCS, vol. 8878, pp. 17\u201332. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-14472-6_2"},{"key":"26_CR15","unstructured":"Demirbas, M., Kulkarni, S.: Beyond truetime: using augmentedtime for improving google spanner. In: 7th Workshop on Large-Scale Distributed Systems and Middleware, LADIS (2013)"},{"issue":"1","key":"26_CR16","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0020-0190(91)90055-M","volume":"39","author":"B Charron-Bost","year":"1991","unstructured":"Charron-Bost, B.: Concerning the size of logical clocks in distributed systems. Inf. Process. Lett. 39(1), 11\u201316 (1991)","journal-title":"Inf. Process. Lett."},{"key":"26_CR17","unstructured":"Yingchareonthawornchai, S., Kulkarni, S., Demirbas, M.: Analysis of bounds on hybrid vector clocks. In: 19th International Conference on Principles of Distributed Systems, OPODIS (2015)"},{"issue":"1\u20132","key":"26_CR18","doi-asserted-by":"publisher","first-page":"244","DOI":"10.14778\/1920841.1920875","volume":"3","author":"H Zhang","year":"2010","unstructured":"Zhang, H., Diao, Y., Immerman, N.: Recognizing patterns in streams with imprecise timestamps. Proc. VLDB Endow. 3(1\u20132), 244\u2013255 (2010). http:\/\/dx.doi.org\/10.14778\/1920841.1920875","journal-title":"Proc. VLDB Endow."},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-642-29860-8_35","volume-title":"Runtime Verification","author":"S Wang","year":"2012","unstructured":"Wang, S., Ayoub, A., Sokolsky, O., Lee, I.: Runtime verification of traces under recording uncertainty. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 442\u2013456. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29860-8_35"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: 2015 IEEE International Parallel, Distributed Processing Symposium, IPDPS 2015, 25\u201329 May 2015 Hyderabad, India, pp. 494\u2013503 (2015). http:\/\/dx.doi.org\/10.1109\/IPDPS.2015.95","DOI":"10.1109\/IPDPS.2015.95"},{"key":"26_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-319-11164-3_16","volume-title":"Runtime Verification","author":"D Basin","year":"2014","unstructured":"Basin, D., Klaedtke, F., Marinovic, S., Z\u0103linescu, E.: On real-time monitoring with imprecise timestamps. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 193\u2013198. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-11164-3_16"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46982-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T20:03:10Z","timestamp":1749585790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46982-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319469812","9783319469829"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46982-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"20 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}