{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:50:56Z","timestamp":1743033056575,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_32","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"400-406","source":"Crossref","is-referenced-by-count":3,"title":["Runtime Verification for Stream Processing Applications"],"prefix":"10.1007","author":[{"given":"Christian","family":"Colombo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luke","family":"Camilleri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Dimech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reuben","family":"Farrugia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean Paul","family":"Grech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Magro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew C.","family":"Sammut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristian Zarb","family":"Adami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"32_CR1","unstructured":"Runtime Verification Conference, Yearly LNCS Proceedings Since (2010)"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Benfold, B., Reid, I.: Stable multi-target tracking in real-time surveillance video. In: Computer Vision and Pattern Recognition (CVPR), pp. 3457\u20133464. IEEE (2011)","DOI":"10.1109\/CVPR.2011.5995667"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/978-3-642-16612-9_38","volume-title":"Runtime Verification","author":"C Colombo","year":"2010","unstructured":"Colombo, C., Gauci, A., Pace, G.J.: LarvaStat: monitoring of statistical properties. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 480\u2013484. Springer, Heidelberg (2010)"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Colombo, C., Grech, J.-P., Pace, G.: A controlled natural language for business intelligence monitoring. In: Biemann, C., Handschuh, S., Freitas, A., Meziane, F., M\u00e9tais, E. (eds.) NLDB 2015. LNCS, vol. 9103, pp. 300\u2013306. Springer, Heidelberg (2015) (to appear)","DOI":"10.1007\/978-3-319-19581-0_27"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Larva \u2013 safer monitoring of real-time java programs (tool paper). In: Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 33\u201337. IEEE (2009)","DOI":"10.1109\/SEFM.2009.13"},{"key":"32_CR6","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Resource-bounded runtime verification of java programs with real-time properties. Technical report CS2009-01, Department of Computer Science, University of Malta (2009). http:\/\/www.cs.um.edu.mt\/~reports"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., S\u00e1nchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: LOLA: runtime monitoring of synchronous systems. In: TIME, pp. 166\u2013174. IEEE (2005)","DOI":"10.1109\/TIME.2005.26"},{"issue":"1","key":"32_CR8","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T Kuhn","year":"2014","unstructured":"Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121\u2013170 (2014)","journal-title":"Comput. Linguist."},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"PO Meredith","year":"2012","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An overview of the MOP runtime verification framework. STTT 14, 249\u2013289 (2012)","journal-title":"STTT"},{"key":"32_CR10","volume-title":"Fast Fourier Transform - Algorithms and Applications","author":"KR Rao","year":"2010","unstructured":"Rao, K.R., Kim, D.N., Hwang, J.J.: Fast Fourier Transform - Algorithms and Applications, 1st edn. Springer, Netherlands (2010)","edition":"1"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Rodriguez, M., Laptev, I., Sivic, J., Audibert, J.Y.: Density-aware person detection and tracking in crowds. In: Computer Vision (ICCV), pp. 2423\u20132430. IEEE (2011)","DOI":"10.1109\/ICCV.2011.6126526"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:22:01Z","timestamp":1498335721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}