Keyword:cyber-physical system verification

Publications
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems Kristin Yvonne Rozier In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
R2U2: Tool Overview Kristin Yvonne Rozier and Johann Schumann In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools