gitlab.inria.fr / monitoring 13 Dépôts
Monitoring Workgroup focused on Runtime Verification
monitoring/sound-concurrent-traces-for-online-monitoring-artifact
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
monitoring/residual-runtime-verification-with-bism
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
monitoring/themis
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
monitoring/opportunistic-rv-conf
Artifact repository for the paper Opportunistic RV of Multithreaded Programs
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
monitoring/rv-multi
Online tutorial for the paper: "Can we monitor all multithreaded programs?"
dernière synchronisation: il y a 8 mois - étoiles: 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
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
monitoring/themis-artifact-article
Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
monitoring/rv-dist-pub
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
monitoring/themis-artifact-outdated
Artifact repository for the TOPLAS article pertaining to the THEMIS tool.
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
monitoring/themis-demo
The Demonstration repository for THEMIS
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0