{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:37Z","timestamp":1750308757438,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T00:00:00Z","timestamp":1182297600000},"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":[[2007,6,20]]},"DOI":"10.1145\/1266894.1266903","type":"proceedings-article","created":{"date-parts":[[2007,9,25]],"date-time":"2007-09-25T19:20:55Z","timestamp":1190748055000},"page":"50-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Seamless formal verification of complex event processing applications"],"prefix":"10.1145","author":[{"given":"AnnMarie","family":"Ericsson","sequence":"first","affiliation":[{"name":"University of Sk\u00f6vde, Sweden"}]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Mikael","family":"Berndtsson","sequence":"additional","affiliation":[{"name":"University of Sk\u00f6vde, Sweden"}]},{"given":"Marco","family":"Seiri\u00f6","sequence":"additional","affiliation":[{"name":"RuleCore, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2007,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0108-y"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/202106.202107"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275517"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.687973"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/239587.239611"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645480.655421"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(94)90006-X"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645879.672066"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1185831"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672076"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCW.2006.11"},{"key":"e_1_3_2_1_16_1","volume-title":"WIP Proceedings: 24th IEEE Real-Time Systems Symposium","author":"Ericsson A.","year":"2003","unstructured":"A. Ericsson , R. Nilsson , and S. Andler . Operator patterns for analysis of composite events in timed automata . In WIP Proceedings: 24th IEEE Real-Time Systems Symposium , Cancun, Mexico. , 2003 . A. Ericsson, R. Nilsson, and S. Andler. Operator patterns for analysis of composite events in timed automata. In WIP Proceedings: 24th IEEE Real-Time Systems Symposium, Cancun, Mexico., 2003."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RIDE.1994.282859"},{"key":"e_1_3_2_1_18_1","volume-title":"Compose: A system for composite event specification and detection","author":"Gehani N.","year":"1994","unstructured":"N. Gehani , H. Jagadish , and O. Shmueli . Compose: A system for composite event specification and detection , 1994 . N. Gehani, H. Jagadish, and O. Shmueli. Compose: A system for composite event specification and detection, 1994."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.035"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646482.691449"},{"key":"e_1_3_2_1_22_1","first-page":"263","volume-title":"Proceedings of the 4th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems","author":"Luca Aceto A. B.","year":"1998","unstructured":"A. B. Luca Aceto and K. G. Larsen . Model checking via reachability testing for timed automata. In B. Steffen, editor , In Proceedings of the 4th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems , pages 263 -- 280 . LNCS 1384, 1998 . A. B. Luca Aceto and K. G. Larsen. Model checking via reachability testing for timed automata. In B. Steffen, editor, In Proceedings of the 4th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pages 263--280. LNCS 1384, 1998."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.105"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/311531.311623"},{"volume-title":"Requirements Engineering, 1999, Proceedings. IEEE International Symposium on.","author":"Paun D. O.","key":"e_1_3_2_1_25_1","unstructured":"D. O. Paun and M. Chechik . Events in linear-time properties . In Requirements Engineering, 1999, Proceedings. IEEE International Symposium on. D. O. Paun and M. Chechik. Events in linear-time properties. In Requirements Engineering, 1999, Proceedings. IEEE International Symposium on."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646045.676458"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581345"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/645347.650646"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/352302.352310"}],"event":{"name":"DEBS07: Distributed Event-based Systems Conference","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","IEEE","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","USENIX Assoc USENIX Assoc"],"location":"Toronto Ontario Canada","acronym":"DEBS07"},"container-title":["Proceedings of the 2007 inaugural international conference on Distributed event-based systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1266894.1266903","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1266894.1266903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:25Z","timestamp":1750278145000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1266894.1266903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,20]]},"references-count":29,"alternative-id":["10.1145\/1266894.1266903","10.1145\/1266894"],"URL":"https:\/\/doi.org\/10.1145\/1266894.1266903","relation":{},"subject":[],"published":{"date-parts":[[2007,6,20]]},"assertion":[{"value":"2007-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}