{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:07Z","timestamp":1750308727379,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T00:00:00Z","timestamp":1435104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Swiss National Science Foundation","award":["146831"],"award-info":[{"award-number":["146831"]}]},{"name":"Italian Ministry of Education, University, and Research (MIUR)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,24]]},"DOI":"10.1145\/2675743.2771834","type":"proceedings-article","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T14:43:22Z","timestamp":1435243402000},"page":"10-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Efficient analysis of event processing applications"],"prefix":"10.1145","author":[{"given":"Gianpaolo","family":"Cugola","sequence":"first","affiliation":[{"name":"Politecnico di Milano"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Margara","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera italiana (USI)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera italiana (USI)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Pradella","sequence":"additional","affiliation":[{"name":"Politecnico di Milano"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/202106.202107"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19724-6_5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543615"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.003"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501654.2501666"},{"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","first-page":"200","volume-title":"A tutorial on Uppaal","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A tutorial on Uppaal . In M. Bernardo and F. Corradini, editors, 4th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 , number 3185 in LNCS, pages 200 -- 236 . Springer--Verlag , September 2004. G. Behrmann, A. David, and K. G. Larsen. A tutorial on Uppaal. In M. Bernardo and F. Corradini, editors, 4th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200--236. Springer--Verlag, September 2004."},{"key":"e_1_3_2_1_8_1","first-page":"232","volume-title":"Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science","author":"Bengtsson J.","year":"1995","unstructured":"J. Bengtsson , K. G. Larsen , F. Larsson , P. Pettersson , and W. Yi . Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems . In Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science , pages 232 -- 243 . Springer--Verlag , Oct. 1995 . J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems. In Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pages 232--243. Springer--Verlag, Oct. 1995."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247620"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05408-2_14"},{"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.1145\/1827418.1827427"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.03.056"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2011.11.002"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187677"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11687238_38"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1266894.1266906"},{"key":"e_1_3_2_1_20_1","volume-title":"Event processing in action","author":"Etzion O.","year":"2010","unstructured":"O. Etzion and P. Niblett . Event processing in action . Manning Publications Co. , 2010 . O. Etzion and P. Niblett. Event processing in action. Manning Publications Co., 2010."},{"key":"e_1_3_2_1_21_1","first-page":"33","volume-title":"Procs. of the joint 24th IFAC\/IFIP workshop on real time programming and 3rd international workshop on active and real-time database system","author":"Falkenroth E.","year":"1999","unstructured":"E. Falkenroth and A. T\u00f6rne . How to construct predictable rule sets . In Procs. of the joint 24th IFAC\/IFIP workshop on real time programming and 3rd international workshop on active and real-time database system , pages 33 -- 40 , 1999 . E. Falkenroth and A. T\u00f6rne. How to construct predictable rule sets. In Procs. of the joint 24th IFAC\/IFIP workshop on real time programming and 3rd international workshop on active and real-time database system, pages 33--40, 1999."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2008.4497566"},{"key":"e_1_3_2_1_23_1","volume-title":"Procs. of CP Solvers: Modeling, Applications, Integration, and Standardization","author":"Kuchcinski K.","year":"2013","unstructured":"K. Kuchcinski and R. Szymanek . Jacop-java constraint programming solver . In Procs. of CP Solvers: Modeling, Applications, Integration, and Standardization , 2013 . K. Kuchcinski and R. Szymanek. Jacop-java constraint programming solver. In Procs. of CP Solvers: Modeling, Applications, Integration, and Standardization, 2013."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/648312.755052"},{"key":"e_1_3_2_1_25_1","volume-title":"Addison-Wesley Reading","author":"Luckham D. C.","year":"2002","unstructured":"D. C. Luckham . The power of events, volume 204 . Addison-Wesley Reading , 2002 . D. C. Luckham. The power of events, volume 204. Addison-Wesley Reading, 2002."},{"key":"e_1_3_2_1_26_1","volume-title":"Event processing for business: organizing the real-time enterprise","author":"Luckham D. C.","year":"2011","unstructured":"D. C. Luckham . Event processing for business: organizing the real-time enterprise . John Wiley & Sons , 2011 . D. C. Luckham. Event processing for business: organizing the real-time enterprise. John Wiley & Sons, 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611286.2611289"},{"key":"e_1_3_2_1_28_1","volume-title":"1st Workshop on Reactivity, Events, and Modularity (REM '13)","author":"Margara A.","year":"2013","unstructured":"A. Margara and G. Salvaneschi . Ways to react: Comparing reactive languages and complex event processing . In 1st Workshop on Reactivity, Events, and Modularity (REM '13) , 2013 . A. Margara and G. Salvaneschi. Ways to react: Comparing reactive languages and complex event processing. In 1st Workshop on Reactivity, Events, and Modularity (REM '13), 2013."},{"key":"e_1_3_2_1_29_1","volume-title":"Distributed event-based systems","author":"M\u00fchl G.","year":"2006","unstructured":"G. M\u00fchl , L. Fiege , and P. Pietzuch . Distributed event-based systems . Springer , Heidelberg , 2006 . G. M\u00fchl, L. Fiege, and P. Pietzuch. Distributed event-based systems. Springer, Heidelberg, 2006."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1827418.1827465"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1619258.1619264"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.472.0321"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1619258.1619272"},{"key":"e_1_3_2_1_34_1","first-page":"1128","volume-title":"VLDB","author":"Wang F.","year":"2005","unstructured":"F. Wang and P. Liu . Temporal management of rfid data . In VLDB , pages 1128 -- 1139 , 2005 . F. Wang and P. Liu. Temporal management of rfid data. In VLDB, pages 1128--1139, 2005."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_15"},{"key":"e_1_3_2_1_36_1","volume-title":"Morgan Kaufmann","author":"Widom J.","year":"1996","unstructured":"J. Widom and S. Ceri . Active database systems: Triggers and rules for advanced database processing . Morgan Kaufmann , 1996 . J. Widom and S. Ceri. Active database systems: Triggers and rules for advanced database processing. Morgan Kaufmann, 1996."}],"event":{"name":"DEBS '15: The 9th ACM International Conference on Distributed Event-Based Systems","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Oslo Norway","acronym":"DEBS '15"},"container-title":["Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2675743.2771834","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2675743.2771834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:47Z","timestamp":1750277687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2675743.2771834"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,24]]},"references-count":35,"alternative-id":["10.1145\/2675743.2771834","10.1145\/2675743"],"URL":"https:\/\/doi.org\/10.1145\/2675743.2771834","relation":{},"subject":[],"published":{"date-parts":[[2015,6,24]]},"assertion":[{"value":"2015-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}