gitlab.inria.fr / monitoring 13 Repositories
Monitoring Workgroup focused on Runtime Verification
monitoring/sound-concurrent-traces-for-online-monitoring-artifact
Last synced at: 7 months ago - Stars: 0 - Forks: 0
monitoring/residual-runtime-verification-with-bism
Last synced at: 7 months ago - Stars: 0 - Forks: 0
monitoring/themis
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
Last synced at: 7 months ago - Stars: 0 - Forks: 0
monitoring/opportunistic-rv-conf
Artifact repository for the paper Opportunistic RV of Multithreaded Programs
Last synced at: 7 months ago - Stars: 0 - Forks: 0
monitoring/rv-multi
Online tutorial for the paper: "Can we monitor all multithreaded programs?"
Last synced at: 7 months ago - Stars: 0 - Forks: 0
monitoring/themis-rv18smarthome
Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes
Last synced at: 7 months ago - Stars: 0 - Forks: 0
monitoring/themis-artifact-article
Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
monitoring/rv-dist-pub
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
monitoring/themis-artifact-outdated
Artifact repository for the TOPLAS article pertaining to the THEMIS tool.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
monitoring/themis-demo
The Demonstration repository for THEMIS
Last synced at: 7 months ago - Stars: 0 - Forks: 0