{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:26:26Z","timestamp":1725909986112},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67531-2_20","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:33:37Z","timestamp":1504589617000},"page":"330-345","source":"Crossref","is-referenced-by-count":0,"title":["Monitoring Time Intervals"],"prefix":"10.1007","author":[{"given":"Teng","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Wiegley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"20_CR1","unstructured":"Sammapun, U.: Monitoring and checking of real-time and probabilistic properties. Ph.D. thesis, University of Pennsylvania (2009)"},{"issue":"8","key":"20_CR2","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TC.1987.5009517","volume":"100","author":"I Lee","year":"1987","unstructured":"Lee, I., Davidson, S.B.: Adding time to synchronous process communications. IEEE Trans. Comput. 100(8), 941\u2013948 (1987)","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"20_CR3","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1109\/12.57054","volume":"39","author":"I Lee","year":"1990","unstructured":"Lee, I., Davidson, S.B.: A performance analysis of timed synchronous communication primitives. IEEE Trans. Comput. 39(9), 1117\u20131131 (1990)","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"20_CR4","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s10703-014-0215-y","volume":"45","author":"S Pinisetty","year":"2014","unstructured":"Pinisetty, S., Falcone, Y., J\u00e9ron, T., Marchand, H., Rollet, A., Timo, O.N.: Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45(3), 381\u2013422 (2014)","journal-title":"Formal Methods Syst. Des."},{"issue":"3","key":"20_CR5","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF01088521","volume":"7","author":"F Jahanian","year":"1994","unstructured":"Jahanian, F., Rajkumar, R., Raju, S.C.: Runtime monitoring of timing constraints in distributed real-time systems. Real-Time Syst. 7(3), 247\u2013273 (1994)","journal-title":"Real-Time Syst."},{"issue":"3","key":"20_CR6","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s10703-005-3399-3","volume":"27","author":"B Finkbeiner","year":"2005","unstructured":"Finkbeiner, B., Sankaranarayanan, S., Sipma, H.B.: Collecting statistics over runtime executions. Formal Methods Syst. Des. 27(3), 253\u2013274 (2005)","journal-title":"Formal Methods Syst. Des."},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-642-16612-9_38","volume-title":"Runtime Verification","author":"C Colombo","year":"2010","unstructured":"Colombo, C., Gauci, A., Pace, G.J.: LarvaStat: Monitoring of statistical properties. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 480\u2013484. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-16612-9_38"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-40787-1_3","volume-title":"Runtime Verification","author":"D Basin","year":"2013","unstructured":"Basin, D., Klaedtke, F., Marinovic, S., Z\u0103linescu, E.: Monitoring of temporal first-order properties with aggregations. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 40\u201358. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-40787-1_3"},{"key":"20_CR9","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\u00a0timestamps. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 193\u2013198. Springer, Cham (2014). doi:\n10.1007\/978-3-319-11164-3_16"},{"issue":"2","key":"20_CR10","doi-asserted-by":"crossref","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 Syst. Des. 24(2), 129\u2013155 (2004)","journal-title":"Formal Methods Syst. Des."},{"issue":"3","key":"20_CR11","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1093\/logcom\/exn076","volume":"20","author":"H Barringer","year":"2010","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. J. Logic Comput. 20(3), 675\u2013706 (2010)","journal-title":"J. Logic Comput."},{"issue":"2","key":"20_CR12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G Ro\u015fu","year":"2005","unstructured":"Ro\u015fu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Autom. Softw. Eng. 12(2), 151\u2013197 (2005)","journal-title":"Autom. Softw. Eng."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Leland, W.E., Taqqu, M.S., Willinger, W., Wilson, D.V.: On the self-similar nature of ethernet traffic. In: ACM SIGCOMM Computer Communication Review, vol. 23, pp. 183\u2013193. ACM (1993)","DOI":"10.1145\/166237.166255"},{"key":"20_CR14","unstructured":"Becchi, M.: From poisson processes to self-similarity: a survey of network traffic models. Washington University in St. Louis, Technical Report (2008)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:39:10Z","timestamp":1504589950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}