Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24017| Title: | Runtime verification for stream processing applications |
| Authors: | Colombo, Christian Pace, Gordon J. Camilleri, Luke Dimech, Claire Farrugia, Reuben A. Grech, Jean Paul Magro, Alessio Sammut, Andrew C. Zarb Adami, Kristian |
| Keywords: | Computer software -- Verification Human-computer interaction |
| Issue Date: | 2016 |
| Publisher: | Springer |
| Citation: | Colombo, C., Pace, G. J., Camilleri, L., Dimech, C., Farrugia, R., Grech, J. P.,…Zarb Adami, K. (2016).Runtime verification for stream processing applications. International Symposium on Leveraging Applications of Formal Methods, Corfu. 400-406. |
| Abstract: | Runtime verification (RV) has long been applied beyond its strict delineation of verification, through the notion of monitor-oriented programming. In this paper we present a portfolio of real-life case studies where RV is used to program stream-processing systems directly — where all the logic of the implemented system is defined in terms of monitors. The systems include the processing of Facebook events for business intelligence, analysing users’ activity log for detecting UI usability issues, video frame analysis for human movement detection, and telescope signals processing for pulsar identification. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/24017 |
| Appears in Collections: | Scholarly Works - FacICTCCE Scholarly Works - FacICTCS Scholarly Works - InsSSA |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| RAisola2016b.pdf Restricted Access | 100.04 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.