HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:pattern-based language

Publications
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Wei Dou, Domenico Bianculli and Lionel Briand
In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Copyright © 2012-2025 easychair.org. All rights reserved.