{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:00Z","timestamp":1750308120157,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,18]],"date-time":"2005-09-18T00:00:00Z","timestamp":1127001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,18]]},"DOI":"10.1145\/1086228.1086291","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"343-352","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Passive mid-stream monitoring of real-time properties"],"prefix":"10.1145","author":[{"given":"Lalita Jategaonkar","family":"Jagadeesan","sequence":"first","affiliation":[{"name":"Bell Laboratories Research, Lucent Technologies, Lisle, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramesh","family":"Viswanathan","sequence":"additional","affiliation":[{"name":"Bell Laboratories Research, Lucent Technologies, Holmdel, NJ"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Logic in Computer Science","author":"Alur R.","year":"1990","unstructured":"R. Alur , C. Courcoubetis , and D. L. Dill . Model-checking for real-time systems . In Logic in Computer Science , 1990 . R. Alur, C. Courcoubetis, and D. L. Dill. Model-checking for real-time systems. In Logic in Computer Science, 1990."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00173-4"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 19th IEEE Real-Time Systems Symposium","author":"Alur R.","year":"1998","unstructured":"R. Alur , R. Kurshan , and M. Viswanathan . Membership problems for timed and hybrid automata . In Proceedings of the 19th IEEE Real-Time Systems Symposium , 1998 . R. Alur, R. Kurshan, and M. Viswanathan. Membership problems for timed and hybrid automata. In Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998."},{"key":"e_1_3_2_1_5_1","volume-title":"4th Intl. School on Formal Methods for Computer, Communication, and Software Systems: Real Time","author":"Alur R.","year":"2004","unstructured":"R. Alur and P. Madhusudan . Decision problems for timed automata: A survey . In 4th Intl. School on Formal Methods for Computer, Communication, and Software Systems: Real Time , 2004 . R. Alur and P. Madhusudan. Decision problems for timed automata: A survey. In 4th Intl. School on Formal Methods for Computer, Communication, and Software Systems: Real Time, 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"H.\n      Barringer A.\n      Goldberg K.\n      Havelund and \n      K.\n      Sen\n  . \n  Rule-based runtime verification\n  . In B. Steffen and G. Levi editors VMCAI volume \n  2937\n   of \n  Lecture Notes in Computer Science pages \n  44\n  --\n  57\n  . \n  Springer 2004\n  .  H. Barringer A. Goldberg K. Havelund and K. Sen. Rule-based runtime verification. In B. Steffen and G. Levi editors VMCAI volume 2937 of Lecture Notes in Computer Science pages 44--57. Springer 2004.","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"G.\n      Behrmann A.\n      David and \n      K. G.\n      Larsen\n  . \n  A tutorial on uppaal\n  . In M. Bernardo and F. Corradini editors SFM volume \n  3185\n   of \n  Lecture Notes in Computer Science pages \n  200\n  --\n  236\n  . \n  Springer 2004\n  .  G. Behrmann A. David and K. G. Larsen. A tutorial on uppaal. In M. Bernardo and F. Corradini editors SFM volume 3185 of Lecture Notes in Computer Science pages 200--236. Springer 2004.","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"e_1_3_2_1_8_1","volume-title":"Runtime Verification","author":"Bensalem S.","year":"2004","unstructured":"S. Bensalem , M. Bozga , M. Krichen , and S. Tripakis . Testing conformance of real-time applications with automatic generation of observers . In Runtime Verification , 2004 . S. Bensalem, M. Bozga, M. Krichen, and S. Tripakis. Testing conformance of real-time applications with automatic generation of observers. In Runtime Verification, 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650070009"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271800"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1060"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/BFb0055640","volume-title":"D. Sangiorgi and R. de~Simone","author":"Henzinger T. A.","year":"1998","unstructured":"T. A. Henzinger . It's about time: Real-time logics reviewed . In D. Sangiorgi and R. de~Simone , editors, CONCUR, volume 1466 of Lecture Notes in Computer Science , pages 439 -- 454 . Springer , 1998 . T. A. Henzinger. It's about time: Real-time logics reviewed. In D. Sangiorgi and R. de~Simone, editors, CONCUR, volume 1466 of Lecture Notes in Computer Science, pages 439--454. Springer, 1998."},{"key":"e_1_3_2_1_13_1","volume-title":"European Conference on Real-Time Systems","author":"Kim M.","year":"1999","unstructured":"M. Kim , M. Viswanathan , H. Ben-Abdallah , S. Kannan , I. Lee , and O. Sokolsky . Formally specified monitoring of temporal properties . In European Conference on Real-Time Systems , 1999 . M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky. Formally specified monitoring of temporal properties. In European Conference on Real-Time Systems, 1999."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"M.\n      Krichen\n     and \n      S.\n      Tripakis\n  . \n  Black-box conformance testing for real-time systems\n  . In S. Graf and L. Mounier editors SPIN volume \n  2989\n   of \n  Lecture Notes in Computer Science pages \n  109\n  --\n  126\n  . \n  Springer 2004\n  .  M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In S. Graf and L. Mounier editors SPIN volume 2989 of Lecture Notes in Computer Science pages 109--126. Springer 2004.","DOI":"10.1007\/978-3-540-24732-6_8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/850935.852443"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025255"},{"key":"e_1_3_2_1_17_1","first-page":"303","volume-title":"Correct Passive Testing Algorithms and Complete Fault Coverage. In 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)","author":"Netravali A. N.","year":"2003","unstructured":"A. N. Netravali , K. K. Sabnani , and R. Viswanathan . Correct Passive Testing Algorithms and Complete Fault Coverage. In 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) , pages 303 -- 318 , 2003 . A. N. Netravali, K. K. Sabnani, and R. Viswanathan. Correct Passive Testing Algorithms and Complete Fault Coverage. In 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), pages 303--318, 2003."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(99)00112-7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988496"},{"key":"e_1_3_2_1_20_1","first-page":"1","volume-title":"Proceedings of the Eleventh Systems Administration Conference (LISA XI)","author":"Ranum M.","year":"1997","unstructured":"M. Ranum , K. Landfield , M. Stolarchuk , M. Sienkiewicz , A. Lambeth , and E. Wall . Implementing a generalized tool for network monitoring . In Proceedings of the Eleventh Systems Administration Conference (LISA XI) , pages 1 -- 8 , 1997 . M. Ranum, K. Landfield, M. Stolarchuk, M. Sienkiewicz, A. Lambeth, and E. Wall. Implementing a generalized tool for network monitoring. In Proceedings of the Eleventh Systems Administration Conference (LISA XI), pages 1--8, 1997."}],"event":{"name":"EMSOFT05: Fifth ACM International Conference on Embedded Software 2005","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Jersey City NJ USA","acronym":"EMSOFT05"},"container-title":["Proceedings of the 5th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086291","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086228.1086291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:19Z","timestamp":1750262899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,18]]},"references-count":20,"alternative-id":["10.1145\/1086228.1086291","10.1145\/1086228"],"URL":"https:\/\/doi.org\/10.1145\/1086228.1086291","relation":{},"subject":[],"published":{"date-parts":[[2005,9,18]]},"assertion":[{"value":"2005-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}