An open API service providing repository metadata for many open source software ecosystems.

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/decent

dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 1

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/bism-experiments

dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0

monitoring/verde

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