Keyword:Benchmarks

Publications
Reasoning About Hyperproperties with Automated Theorem Provers (extended version) Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács EasyChair Preprint 16030
Effectiveness of Privacy-Preserving Algorithms for Large Language Models: a Benchmark Analysis Jinglin Sun, Basem Suleiman and Imdad Ullah EasyChair Preprint 14540
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper) Julien Signoles In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools