Keyword:tool paper

Publications
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems Andrea Vandin, Maurice H. ter Beek, Axel Legay and Alberto Lluch Lafuente EasyChair Preprint 364
Event Stream Processing with BeepBeep 3 Sylvain Hallé and Raphael Khoury In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools