{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:16:52Z","timestamp":1725902212670},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614816"},{"type":"electronic","value":"9783319614823"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61482-3_15","type":"book-chapter","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:38:38Z","timestamp":1497872318000},"page":"248-263","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications"],"prefix":"10.1007","author":[{"given":"Hichem","family":"Debbi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"key":"15_CR1","volume-title":"The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems","author":"D Luckham","year":"2002","unstructured":"Luckham, D.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley, Boston (2002)"},{"key":"15_CR2","unstructured":"Ammon, R., Emmersberger, C., Springer, F., Wolff, C.: Event-driven business process management and its practical application taking the example of DHL. In: The 1st International Workshop on Complex Event Processing for the Future Internet (iCEP), pp. 1\u201326 (2008)"},{"key":"15_CR3","unstructured":"Sen, S.: Business activity monitoring based on action-ready dashboards and response loop. In: The 1st International Workshop on Complex Event Processing for the Future Internet (iCEP), pp. 46\u201357. IEEE (2008)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Laha, A.: Rap: a conceptual business intelligence framework. In: Proceedings of the 1st Bangalore Annual Compute Conference (2008)","DOI":"10.1145\/1341771.1341796"},{"issue":"01","key":"15_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1080\/17517570601092127","volume":"01","author":"C Zang","year":"2007","unstructured":"Zang, C., Fan, Y.: Complex event processing in enterprise information systems based on RFID. J. Enterp. Inf. Syst. 01(01), 3\u201323 (2007)","journal-title":"J. Enterp. Inf. Syst."},{"issue":"03","key":"15_CR6","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1016\/j.jnca.2010.04.020","volume":"34","author":"W Yao","year":"2011","unstructured":"Yao, W., Chu, C., Li, Z.: Leveraging complex event processing for smart hospitals using RFID. J. Netw. Comput. Appl. 34(03), 799\u2013810 (2011)","journal-title":"J. Netw. Comput. Appl."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Chuanfei, X., Shukuan, L., Lei, W., Jianzhong, Q.: Complex event detection in probabilistic stream. In: 12th International Asia-Pacific Web Conference, pp. 361\u2013363 (2010)","DOI":"10.1109\/APWeb.2010.56"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Li, Z., Ge, T.: Online windowed subsequence matching over probabilistic sequences. In: Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data, pp. 277\u2013288 (2012)","DOI":"10.1145\/2213836.2213868"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Re, C., Letchner, J., Balazinska, M., Suciu, D.: Event queries on correlated probabilistic streams. In: Proceedings of the 2008 ACM SIGMOD International Conference on Management of Data, pp. 715\u2013728 (2008)","DOI":"10.1145\/1376616.1376688"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Wasserkrug, S., Gal, A., Etzion, O., Turchin, Y.: Complex event processing over uncertain data. In: Proceedings of the Second International Conference on Distributed Event-Based Systems, pp. 253\u2013264 (2008)","DOI":"10.1145\/1385989.1386022"},{"issue":"10","key":"15_CR11","doi-asserted-by":"crossref","first-page":"1808","DOI":"10.1016\/j.camwa.2013.06.032","volume":"66","author":"Y Wang","year":"2015","unstructured":"Wang, Y., Cao, K., Zhang, X.: Complex event processing over distributed probabilistic event streams. Comput. Math. Appl. 66(10), 1808\u20131821 (2015)","journal-title":"Comput. Math. Appl."},{"issue":"02","key":"15_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s00607-014-0404-y","volume":"97","author":"G Cugola","year":"2015","unstructured":"Cugola, G., Margara, A., Matteucci, M., Tamburrelli, G.: Introducing uncertainty in complex event processing: model, implementation, and validation. Computing 97(02), 103\u2013144 (2015)","journal-title":"Computing"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Cugola, G., Margara, A.: TESLA: a formally defined event specification language. In: Proceedings of the Fourth International Conference on Distributed Event-Based Systems 2010, pp. 50\u201361 (2010)","DOI":"10.1145\/1827418.1827427"},{"issue":"08","key":"15_CR14","first-page":"1709","volume":"85","author":"G Cugola","year":"2012","unstructured":"Cugola, G., Margara, A.: Complex event processing with T-Rex. Comput. Math. Appl. 85(08), 1709\u20131728 (2012)","journal-title":"Comput. Math. Appl."},{"issue":"04","key":"15_CR15","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/s00778-006-0004-3","volume":"16","author":"N Dalvi","year":"2007","unstructured":"Dalvi, N., Suciu, D.: Efficient query evaluation on probabilistic databases. VLDB J. 16(04), 523\u2013544 (2007)","journal-title":"VLDB J."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Ericsson, A., Pettersson, P., Berndtsson, M., Seirio, M.: Seamless formal verification of complex event processing applications. In: Proceedings of the International Conference on Distributed Event Based Systems (DEBS), pp. 50\u201361 (2007)","DOI":"10.1145\/1266894.1266903"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Rabinovich, E., Etzion, O., Ruah, S.: Analyzing the behavior of event processing applications. In: Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, pp. 223\u2013234 (2010)","DOI":"10.1145\/1827418.1827465"},{"issue":"05","key":"15_CR18","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: Logic for reasoning about time and reliability. Formal Aspects Comput. 6(05), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"issue":"1","key":"15_CR19","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time markov chains. ACM Trans. Comput. Logic 1(1), 162\u2013170 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"07","key":"15_CR20","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model checking algorithms for continuous-time markov chains. IEEE Trans. Softw. Eng. 29(07), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"01","key":"15_CR21","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(01), 101\u2013150 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR22","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10703-006-0005-2","volume":"29","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29, 33\u201378 (2006)","journal-title":"Formal Methods Syst. Des."},{"key":"15_CR23","volume-title":"Event Processing in Action","author":"O Etzion","year":"2010","unstructured":"Etzion, O., Niblett, P.: Event Processing in Action. Manning, Greenwich (2010)"},{"key":"15_CR24","unstructured":"ESPER. \nhttp:\/\/www.espertech.com\/"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61482-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:44:35Z","timestamp":1497872675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61482-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614816","9783319614823"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61482-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}