{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T09:58:23Z","timestamp":1768816703544,"version":"3.49.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s11432-012-4739-8","type":"journal-article","created":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T07:46:59Z","timestamp":1356680819000},"page":"2723-2737","source":"Crossref","is-referenced-by-count":4,"title":["Anticipatory active monitoring for safety- and security-critical software"],"prefix":"10.1007","volume":"55","author":[{"given":"Wei","family":"Dong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ChangZhi","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ShaoXian","family":"Shu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,12,29]]},"reference":[{"key":"4739_CR1","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s11432-010-0069-x","volume":"53","author":"C. X. Shen","year":"2010","unstructured":"Shen C X, Zhang H G, Wang H M, et al. Research on trusted computing its development. Sic China Inf Sci, 2010, 53: 405\u2013433","journal-title":"Sic China Inf Sci"},{"key":"4739_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker M, Schallhart C. A brief account of runtime verification. J Logic Algebra Program, 2009, 78: 293\u2013303","journal-title":"J Logic Algebra Program"},{"key":"4739_CR3","doi-asserted-by":"crossref","unstructured":"Pnueli A. The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science. IEEE Computer Society, 1977. 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"4739_CR4","unstructured":"Giannakopoulou D, Havelund K. Automata-based verification of temporal properties on running programs. In: Proceedings of the 16th Annual International Conference on Automated Software Engineering, IEEE Computer Society, 2001. 412\u2013416"},{"key":"4739_CR5","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S1571-0661(04)00252-X","volume":"55","author":"M. Geilen","year":"2001","unstructured":"Geilen M. On the constructing of monitors for temporal logic properties. Electron Notes Theor Comput Sci, 2001, 55: 181\u2013199","journal-title":"Electron Notes Theor Comput Sci"},{"key":"4739_CR6","unstructured":"Zhao C Z, Dong W, Wang J, et al. Software active online monitoring under anticipatory semantics. In: Proceedings of 1st International Workshop on Software Health Management, 2009. http:\/\/www.isis.vanderbilt.edu\/workshops\/smcit-2009-shm"},{"key":"4739_CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.entcs.2005.02.066","volume":"144","author":"A. Easwaran","year":"2005","unstructured":"Easwaran A, Kannan S, Sokolsky O. Steering of discrete event systems: control theory approach. Electron Notes Theor Comput Sci, 2005, 144: 21\u201339","journal-title":"Electron Notes Theor Comput Sci"},{"key":"4739_CR8","doi-asserted-by":"crossref","unstructured":"Bauer A, Leucker M, Schallhart C. The good, the bad, and the ugly-but how ugly is ugly? In: Sokolsky O, Ta\u015firan S, eds. Proceedings of the 7th International Workshop on Runtime Verification, Springer-Verlag, 2007. LNCS 4839. 126\u2013138","DOI":"10.1007\/978-3-540-77395-5_11"},{"key":"4739_CR9","doi-asserted-by":"crossref","unstructured":"Dong W, Leucker M, Schallhart C. Impartial anticipation in runtime verification. In: Cha S, ed. Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, Springer-Verlag, 2008. LNCS 5311. 386\u2013396","DOI":"10.1007\/978-3-540-88387-6_33"},{"key":"4739_CR10","doi-asserted-by":"crossref","unstructured":"Zhao C Z, Dong W, Qi Z C. Active monitoring for control systems under anticipatory semantics. In: Proceedings of 10th International Conference on Quality Software, IEEE Computer Society, 2010. 318\u2013325","DOI":"10.1109\/QSIC.2010.82"},{"key":"4739_CR11","doi-asserted-by":"crossref","unstructured":"Bauer A, Leucker M, Schallhart C. Monitoring of real-time properties. In: Arun-Kumar S, Garg N, eds. Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag, 2006. LNCS 4337. 260\u2013272","DOI":"10.1007\/11944836_25"},{"key":"4739_CR12","unstructured":"Vardi M Y, Wolper P. An automata-theoretic approach to automatic program verification. In: Symposium on Logic in Computer Science, IEEE Computer Society, 1986. 332\u2013345"},{"key":"4739_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A. Bauer","year":"2011","unstructured":"Bauer A, Leucker M, Schallhart C. Runtime verification for LTL and TLTL. ACM Trans Softw Eng Methodol, 2011, 20: 1\u201364","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"4739_CR14","unstructured":"Wonham W M. Supervisory control of discrete-event systems: an introduction. In: Proceedings of IEEE International Conference on Industrial Technology, IEEE Computer Society, 2010. 472\u2013492"},{"key":"4739_CR15","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"S. L. Chung","year":"1992","unstructured":"Chung S L, Lafortune S, Lin F. Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans Autom Control, 1992, 37: 1921\u20131935","journal-title":"IEEE Trans Autom Control"},{"key":"4739_CR16","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, et al. Java-MaC: a runtime assurance approach for java programs. Form Methods Syst Des, 2004, 24: 129\u2013155","journal-title":"Form Methods Syst Des"},{"key":"4739_CR17","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1093\/logcom\/exn077","volume":"20","author":"E. Bodden","year":"2010","unstructured":"Bodden E, Hendren L. Collaborative runtime verification with tracematches. J Logic Comput, 2010, 20: 707\u2013723","journal-title":"J Logic Comput"},{"key":"4739_CR18","unstructured":"MaCware. http:\/\/rtg.cis.upenn.edu\/mac\/download.php3"},{"key":"4739_CR19","unstructured":"Loscocco P, Smalley S. Integrating flexible support for security policies into the linux operating system. In: Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, USENIX Association Berkeley, 2001. 29\u201342"},{"key":"4739_CR20","doi-asserted-by":"crossref","first-page":"115","DOI":"10.3233\/JCS-2005-13105","volume":"13","author":"J. D. Guttman","year":"2005","unstructured":"Guttman J D, Herzog A L, Ramsdell J D, et al. Verifying information flow goals in security-enhanced linux. J Comput Secur, 2005, 13: 115\u2013134","journal-title":"J Comput Secur"},{"key":"4739_CR21","doi-asserted-by":"crossref","unstructured":"Roscoe A W, Goldsmith M H. What is intransitive noninterference? In: Proceedings of the 12th IEEE workshop on Computer Security Foundations, IEEE Computer Society, 1999. 228\u2013238","DOI":"10.1109\/CSFW.1999.779776"},{"key":"4739_CR22","unstructured":"The MITRE Corporation. Slat: the security-enhanced linux analysis tools. http:\/\/stderr.org\/doc\/slat\/slat.html , 2003"},{"key":"4739_CR23","doi-asserted-by":"crossref","unstructured":"Bauer A, Leucker M, Schallhart C. Model-based methods for the runtime analysis of reactive distributed systems. In: Proceedings of the Australian Software Engineering Conference, IEEE Computer Society, 2006. 243\u2013252","DOI":"10.1109\/ASWEC.2006.36"},{"key":"4739_CR24","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1145\/1297105.1297069","volume":"42","author":"F. Chen","year":"2007","unstructured":"Chen F, Ro\u015fu G. Mop: an efficient and generic runtime verification framework. SIGPLAN Not, 2007, 42: 569\u2013588","journal-title":"SIGPLAN Not"},{"key":"4739_CR25","unstructured":"Jacob B, Lanyon-Hogg R, Nadgir D K, et al. A practical guide to the IBM autonomic computing toolkit. IBM Redbooks, 2004"},{"key":"4739_CR26","doi-asserted-by":"crossref","unstructured":"Wang X, Wang J, Qi Z C. Automatic generation of run-time test oracles for distributed real-time systems. In: David de F E, N\u00fa\u00f1ez M, eds. Proceedings of the Formal Techniques for Networked and Distributed Systems, Springer-Verlag, 2004. LNCS 3235. 199\u2013212","DOI":"10.1007\/978-3-540-30232-2_13"},{"key":"4739_CR27","unstructured":"D\u2019Angelo B, Sankaranarayanan S, S\u00e1nchez C, et al. LOLA: runtime monitoring of synchronous systems. In: Proceedings of the 12th International Symposium on Temporal Representation and Reasoning, IEEE Computer Society, 2005. 166\u2013174"},{"key":"4739_CR28","doi-asserted-by":"crossref","unstructured":"Stolz V. Temporal assertions with parametrised propositions. In: Sokolsky O, Ta\u015firan S, eds. Proceedings of the 7th International Workshop on Runtime Verification, Springer-Verlag, 2007. LNCS 4839. 176\u2013187","DOI":"10.1007\/978-3-540-77395-5_15"},{"key":"4739_CR29","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1016\/j.ipl.2009.04.022","volume":"109","author":"W. Liu","year":"2009","unstructured":"Liu W, Wang J. A tighter analysis of Piterman\u2019s B\u00fcchi determinization. Inf Process Lett, 2009, 109: 941\u2013945","journal-title":"Inf Process Lett"},{"key":"4739_CR30","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1093\/comjnl\/bxm058","volume":"52","author":"M. L. Ji","year":"2009","unstructured":"Ji M L, Wang J, Li S H, et al. Automated worst-case execution time analysis based on program modes. Comput J, 2009, 52: 530\u2013544","journal-title":"Comput J"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4739-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-012-4739-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4739-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:17:49Z","timestamp":1745939869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-012-4739-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":30,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["4739"],"URL":"https:\/\/doi.org\/10.1007\/s11432-012-4739-8","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}