Author:Christian Colombo

Publications
Runtime Verification using LARVA Christian Colombo and Gordon Pace In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Runtime Verification using VALOUR Shaun Azzopardi, Christian Colombo, Jean Paul Ebejer, Edward Mallia and Gordon Pace In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools