Keyword:runtime verification

Publications
ROS Based Attack Tool for Verification of Robotic System Security Yunus Sabri Kırca, Elif Değirmenci, Ahmet Yazıcı and Metin Özkan EasyChair Preprint 8804
MARVer: a Tool for Verification of Robotic System’s Safety Zekeriyya Demirci, Metin Özkan, Muhammed Talha Şahin, Hüseyin Can Ergün and Ahmet Yazıcı EasyChair Preprint 8799
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems using Model-based Engineering Smitha Gautham, Athira Varma Jayakumar and Carl Elks EasyChair Preprint 3769
From Parametric Trace Slicing to Rule Systems Giles Reger and David Rydeheard EasyChair Preprint 521
SMT for state-based formal methods: the ASM case study Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene In:Automated Formal Methods
A Suite of Monitoring Tools for Erlang Ian Cassar, Adrian Francalanza, Duncan Attard, Luca Aceto and Anna Ingolfsdottir In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
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
DANA – Description and Analysis of Networked Applications Christian Drabek and Gereon Weiss In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
A Few Things We Heard About RV Tools (Position Paper) Sylvain Hallé, Raphael Khoury and Sebastien Gaboury In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
COEMS — open traces from the industry Svetlana Jakšić, Martin Leucker, Dan Li and Volker Stolz In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Runtime Verification using VALOUR Shaun Azzopardi, Christian Colombo, Jean Paul Ebejer, Edward Mallia and Gordon Pace In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications David Cerna and Wolfgang Schreiner In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017