Keyword:monitoring

Papers
Elevating Beneficence in Cyberspace with Situational Trust Kendall Nygard, Ahmed Bugalwi, Maryam Alruwaythi, Aakanksha Rastogi, Krishna Kambhampaty and Pratap Kotala In:Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering
Utilization of Wearable Technology: A synthesis of literature review Bilal Waheed EasyChair Preprint no. 738
Designing a Framework for the Estuarine Monitoring System Nam-Hoon Kim and Jin Hwan Hwang In:HIC 2018. 13th International Conference on Hydroinformatics
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
The MonPoly Monitoring Tool David Basin, Felix Klaedtke and Eugen Zalinescu In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
ARTiMon Monitoring Tool, The Time Domains Nicolas Rapin In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
A Generic Instrumentation Tool for Erlang Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto and Anna Ingolfsdottir In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
A Suite of Monitoring Tools for Erlang Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto and Anna Ingolfsdottir In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools