{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T05:40:37Z","timestamp":1794375637358,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540253044","type":"print"},{"value":"9783540318620","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31862-0_38","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T08:28:55Z","timestamp":1268382535000},"page":"543-556","source":"Crossref","is-referenced-by-count":15,"title":["Foundations for the Run-Time Monitoring of Reactive Systems \u2013 Fundamentals of the MaC Language"],"prefix":"10.1007","author":[{"given":"Mahesh","family":"Viswanathan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Moonzoo","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Schneider, F.B.: Enforceable security policies. Technical Report TR98-1664, Cornell University (1998)"},{"issue":"4","key":"38_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters\u00a021(4), 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"key":"38_CR3","first-page":"219","volume":"22","author":"L. Staiger","year":"1986","unstructured":"Staiger, L.: Hierarchies of recursive \u03c9-languages. Journal of Information Processing and Cybernetics EIK\u00a022, 219\u2013241 (1986)","journal-title":"Journal of Information Processing and Cybernetics EIK"},{"key":"38_CR4","first-page":"133","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata on infinite objects. In: Van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 133\u2013191. Elsevier, Amsterdam (1990)"},{"key":"38_CR5","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-642-59126-6_6","volume-title":"Handbook of Formal Languages","author":"L. Staiger","year":"1997","unstructured":"Staiger, L.: \u03c9-languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a03, pp. 339\u2013387. Springer, Berlin (1997)"},{"key":"38_CR6","unstructured":"Viswanathan, M.: Foundations for the Run-time Analysis of Software Systems. PhD thesis, Department of Computer and Information Science, University of Pennsylvania (2000)"},{"key":"38_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(93)90349-X","volume":"110","author":"J. Engelfriet","year":"1993","unstructured":"Engelfriet, J., Hoogeboom, H.J.: X-automata on \u03c9-words. Theoretical Computer Science\u00a0110, 1\u201351 (1993); Earlier version in Proceedings of the International Colloquium on Automata, Languages and Programming, pp. 289\u2013303 (1989)","journal-title":"Theoretical Computer Science"},{"key":"38_CR8","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/BF01691063","volume":"3","author":"L.H. Landweber","year":"1969","unstructured":"Landweber, L.H.: Decision problems for \u03c9-automata. Mathematical Systems Theory\u00a03, 376\u2013384 (1969)","journal-title":"Mathematical Systems Theory"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: A run-time assurance approach for java programs. Formal Methods in System Design (2004)","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"38_CR10","unstructured":"Kim, M.: Information Extraction for Run-time Formal Analysis. PhD thesis, Department of Computer and Information Science, University of Pennsylvania (2001)"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Gunter, C., Kim, M., Lee, I., Obradovic, D., Sokolsky, O., Viswanathan, M.: Verisim: Formal analysis of network simulations. IEEE Transaction on Software Engineering (2002)","DOI":"10.1109\/32.988495"},{"issue":"4","key":"38_CR12","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S1571-0661(04)80579-6","volume":"70","author":"Moonjoo Kim","year":"2002","unstructured":"Kim, M., Lee, I., Sammapun, U., Shin, J., Sokolsky, O.: Monitoring, checking, and steering of real-time systems. In: Runtime Verification, Copenhagen Denmark (2002)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"38_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1992)"},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"Jeffery, C., Zhou, W., Templer, K., Brazell, M.: A lightweight architecture for program execution monitoring. In: ACM Workshop on Program Analysis for Software Tools and Engineering (1998)","DOI":"10.1145\/277631.277644"},{"key":"38_CR15","unstructured":"Templer, K.S., Jeffery, C.: A configurable automatic instrumentation tool for ansi c. In: Proceedings of the International Conference on Automated Software Engineering (1998)"},{"key":"38_CR16","unstructured":"Mok, A.K., Liu, G.: Early detection of timing constraint violation at run-time. In: Proceedings of the IEEE Real-Time Systems Symposium (1997)"},{"key":"38_CR17","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the Workshop on Runtime Verification","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Rosu, G.: Monitoring Java Programs with JavaPathExplorer. In: Proceedings of the Workshop on Runtime Verification. Electronic Notes in Theoretical Computer Science, vol.\u00a055. Elsevier Publishing, Amsterdam (2001)"},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"Sen, K., Rosu, G., Agha, G.: Runtime Safety Analysis of Multithreaded Programs. In: Proceedings of the International Conference on Automated Software Engineering (2003)","DOI":"10.1145\/949952.940116"},{"key":"38_CR19","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the Workshop on Runtime Verification","author":"A. Sen","year":"2003","unstructured":"Sen, A., Garg, V.K.: Partial Order Trace Analyzer (POTA) for Distributed Systems. In: Proceedings of the Workshop on Runtime Verification. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2003)"},{"key":"38_CR20","unstructured":"Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Transactions on Programming Languages and Systems (2004) (to appear), Available from \n                    \n                      http:\/\/www.cs.cornell.edu\/fbs\/publications\/EnfClasses.pdf"},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Sammapun, U., Easwaran, A., Lee, I., Sokolsky, O.: Simulation of simultaneous events in regular expressions for run-time verification. In: Runtime Verification, Barcelona, Spain (2004)","DOI":"10.1016\/j.entcs.2004.01.030"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31862-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:34:28Z","timestamp":1558272868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31862-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253044","9783540318620"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31862-0_38","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b107116","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}