{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:54:10Z","timestamp":1742399650362},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042218"},{"type":"electronic","value":"9783642042225"}],"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-04222-5_9","type":"book-chapter","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T16:42:11Z","timestamp":1253119331000},"page":"149-164","source":"Crossref","is-referenced-by-count":8,"title":["Runtime Verification Using a Temporal Description Logic"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Lippmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1016636131405","volume":"30","author":"A. Artale","year":"2000","unstructured":"Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Ann. of Mathematics and Artificial Intelligence\u00a030, 171\u2013210 (2000)","journal-title":"Ann. of Mathematics and Artificial Intelligence"},{"key":"9_CR2","volume-title":"Handbook of Time and Temporal Reasoning in Artificial Intelligence","author":"A. Artale","year":"2001","unstructured":"Artale, A., Franconi, E.: Temporal description logics. In: Gabbay, D., Fisher, M., Vila, L. (eds.) Handbook of Time and Temporal Reasoning in Artificial Intelligence. The MIT Press, Cambridge (2001)"},{"key":"9_CR3","first-page":"684","volume-title":"Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u00a02008)","author":"F. Baader","year":"2008","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Brewka, G., Lang, J. (eds.) Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u00a02008), pp. 684\u2013694. Morgan Kaufmann, Los Altos (2008)"},{"key":"9_CR4","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"9_CR5","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)"},{"doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. Journal of Logic and Computation (2009)","key":"9_CR6","DOI":"10.1093\/logcom\/exn075"},{"key":"9_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/11498490_24","volume-title":"Model-Based Testing of Reactive Systems","author":"S. Colin","year":"2005","unstructured":"Colin, S., Mariani, L.: Run-time verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 525\u2013555. Springer, Heidelberg (2005)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-0-387-34892-6_1","volume-title":"Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV","author":"R. Gerth","year":"1996","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, London, UK, pp. 3\u201318. Chapman & Hall, Ltd., Boca Raton (1996)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TIME.2008.14","volume-title":"Proc. of the 15th Int. Symp. on Temporal Representation and Reasoning (TIME 2008)","author":"C. Lutz","year":"2008","unstructured":"Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Demri, S., Jensen, C.S. (eds.) Proc. of the 15th Int. Symp. on Temporal Representation and Reasoning (TIME 2008), pp. 3\u201314. IEEE Computer Society Press, Los Alamitos (2008)"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. of the 18th Annual Symp. on the Foundations of Computer Science (FOCS 1977), pp. 46\u201357 (1977)","key":"9_CR11","DOI":"10.1109\/SFCS.1977.32"},{"unstructured":"Ro\u015fu, G.: On safety properties and their monitoring. Technical Report UIUCDCS-R-2007-2850, Department of Computer Science, University of Illinois at Urbana-Champaign (2007)","key":"9_CR12"},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","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. Automated Software Engineering\u00a012(2), 151\u2013197 (2005)","journal-title":"Automated Software Engineering"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"M.Y. Vardi","year":"1994","unstructured":"Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Information and Computation\u00a0115(1), 1\u201337 (1994)","journal-title":"Information and Computation"},{"key":"9_CR16","first-page":"185","volume-title":"Proc. of the 24th Annual Symp. on the Foundations of Computer Science (FOCS 1983)","author":"P. Wolper","year":"1983","unstructured":"Wolper, P., Vardi, M.Y., Prasad Sistla, A.: Reasoning about infinite computation paths. In: Proc. of the 24th Annual Symp. on the Foundations of Computer Science (FOCS 1983), pp. 185\u2013194. IEEE Computer Society Press, Los Alamitos (1983)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04222-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T17:17:35Z","timestamp":1558545455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04222-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042218","9783642042225"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04222-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}