Runtime Verification for Stream Processing Applications
['Christian Colombo', 'Gordon J. Pace', 'Luke Camilleri', 'Claire Dimech', 'Reuben A. Farrugia', 'Jean-Paul Grech', 'Alessio Magro', 'Andrew Sammut', 'Kristian Zarb Adami']
Runtime Verification for Stream Processing Applications