{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:03:41Z","timestamp":1776373421488,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642043673","type":"print"},{"value":"9783642043680","type":"electronic"}],"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-04368-0_10","type":"book-chapter","created":{"date-parts":[[2009,9,2]],"date-time":"2009-09-02T07:31:59Z","timestamp":1251876719000},"page":"103-117","source":"Crossref","is-referenced-by-count":13,"title":["Safe Runtime Verification of Real-Time Properties"],"prefix":"10.1007","author":[{"given":"Christian","family":"Colombo","sequence":"first","affiliation":[]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[]},{"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-60045-0_51","volume-title":"Computer Aided Verification","author":"A. Bouajjani","year":"1995","unstructured":"Bouajjani, A., Lakhnech, Y., Robbana, R.: From duration calculus to linear hybrid automata. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 196\u2013210. Springer, Heidelberg (1995)"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM\u00a043(1), 116\u2013146 (1996)","journal-title":"J. ACM"},{"key":"10_CR3","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":"10_CR4","first-page":"74","volume-title":"RTSS 1991","author":"S.E. Chodrow","year":"1991","unstructured":"Chodrow, S.E., Jahanian, F., Donner, M.: Run-time monitoring of real-time systems. In: RTSS 1991, pp. 74\u201383. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"10_CR5","unstructured":"Colombo, C.: Practical runtime monitoring with impact guarantees of java programs with real-time constraints. Master\u2019s thesis, University of Malta (2008)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"FMICS 2008","author":"C. Colombo","year":"2008","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: FMICS 2008. LNCS. Springer, Heidelberg (2008)"},{"key":"10_CR7","unstructured":"Fr\u00e4nzle, M., Hansen, M.R.: A robust interpretation of duration calculus. In: Proceedings of NWPT, pp. 83\u201385 (2004)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BFb0014736","volume-title":"Hybrid and Real-Time Systems","author":"V. Gupta","year":"1997","unstructured":"Gupta, V., Henzinger, T.A., Jagadeesan, R.: Robust timed automata. In: Maler, O. (ed.) HART 1997. LNCS, vol.\u00a01201, pp. 331\u2013345. Springer, Heidelberg (1997)"},{"key":"10_CR9","unstructured":"Hoenicke, J.: Combination of Processes, Data, and Time. PhD thesis, University of Oldenburg (July 2006)"},{"key":"10_CR10","first-page":"435","volume-title":"Advances in real-time systems","author":"F. Jahanian","year":"1995","unstructured":"Jahanian, F.: Run-time monitoring of real-time systems. In: Advances in real-time systems, pp. 435\u2013460. Prentice-Hall, Inc., Englewood Cliffs (1995)"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01088521","volume":"7","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., Rajkumar, R., Raju, S.C.V.: Runtime monitoring of timing constraints in distributed real-time systems. Real-Time Systems\u00a07(3), 247\u2013273 (1994)","journal-title":"Real-Time Systems"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-58043-3_22","volume-title":"A Decade of Concurrency, Reflections and Perspectives, REX School\/Symposium","author":"Y. Kesten","year":"1994","unstructured":"Kesten, Y., Manna, Z., Pnueli, A.: Temporal verification of simulation and refinement. In: A Decade of Concurrency, Reflections and Perspectives, REX School\/Symposium, London, UK, pp. 273\u2013346. Springer, Heidelberg (1994)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Lamport, L.: What good is temporal logic? In: Information Processing 1983, pp. 657\u2013668 (1983)","DOI":"10.1145\/2402.322398"},{"issue":"7","key":"10_CR14","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1109\/TC.2007.1026","volume":"56","author":"C.-G. Lee","year":"2007","unstructured":"Lee, C.-G., Konana, P., Mok, A.K.: Monitoring of timing constraints with confidence threshold requirements. IEEE Trans. Comput.\u00a056(7), 977\u2013991 (2007)","journal-title":"IEEE Trans. Comput."},{"key":"10_CR15","first-page":"191","volume-title":"RTSS 2002","author":"A.K. Mok","year":"2002","unstructured":"Mok, A.K., Lee, C.-G., Woo, H., Konana, P.: The monitoring of timing constraints on time intervals. In: RTSS 2002, p. 191. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"10_CR16","first-page":"252","volume-title":"RTTAS 1997","author":"A.K. Mok","year":"1997","unstructured":"Mok, A.K., Liu, G.: Efficient run-time monitoring of timing constraints. In: RTTAS 1997, pp. 252\u2013262. IEEE Computer Society Press, Los Alamitos (1997)"},{"issue":"5","key":"10_CR17","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0020-0190(97)00133-6","volume":"63","author":"D. Peled","year":"1997","unstructured":"Peled, D., Wilke, T.: Stutter-invariant temporal properties are expressible without the next-time operator. Information Processing Letters\u00a063(5), 243\u2013246 (1997)","journal-title":"Information Processing Letters"},{"key":"10_CR18","unstructured":"Pohlack, M., D\u00f6bel, B., Lackorzy\u0144ski, A.: Towards runtime monitoring in real-time systems. In: Eighth Real-Time Linux Workshop, Lanzhou, China (2006)"},{"issue":"1-2","key":"10_CR19","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1023\/A:1008387132377","volume":"10","author":"A. Puri","year":"2000","unstructured":"Puri, A.: Dynamical properties of timed automata. Discrete Event Dynamic Systems\u00a010(1-2), 87\u2013113 (2000)","journal-title":"Discrete Event Dynamic Systems"},{"key":"10_CR20","unstructured":"Ravn, A.P.: Design of Embedded Real-Time Computing Systems. PhD thesis, Technical University of Denmark (October 1995)"},{"key":"10_CR21","unstructured":"Sammapun, U., Lee, I., Sokolsky, O.: Checking correctness at runtime using real-time java. In: JTRES 2005 (2005)"},{"issue":"1","key":"10_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s002360050153","volume":"36","author":"M. Schenke","year":"1999","unstructured":"Schenke, M., Olderog, E.-R.: Transformational design of real-time systems part i: From requirements to program specifications. Acta Informatica\u00a036(1), 1\u201365 (1999)","journal-title":"Acta Informatica"},{"issue":"5","key":"10_CR23","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. ChaoChen","year":"1991","unstructured":"ChaoChen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04368-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T15:33:08Z","timestamp":1685115188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04368-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642043673","9783642043680"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04368-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}