HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Srdjan Krstic

Publications
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
Domenico Bianculli and Srdjan Krstic
In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
David Basin, Srdjan Krstic and Dmitriy Traytel
In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

Keyphrases

competition, event-rate independence, metric dynamic logic, Metric Temporal Logic, monitoring, over-tuning, run-time verification, trace-rate independence.

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