HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

case studies, runtime verification, runtime verification tool2, tool extensions, verification.

Copyright © 2012-2023 easychair.org. All rights reserved.