Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures.

Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella, Angela Scibelli

Browse the full ICSOC paper archive.