Runtime Verification for Stream Processing Applications. - Christian Colombo 001; Gordon J. Pace; Luke Camilleri; Claire Dimech; Reuben A. Farrugia; Jean-Paul Grech; Alessio Magro; Andrew C. Sammut; Kristian Zarb Adami (ISoLA (2), 2016)