ISTA-vamos

All

15 repositories

rvhyno
Public
Runtime verification of hypernode logic and automata
logic runtime-verification hyperproperties runtime-monitoring
C++
•
MIT License
•0•0•22•0•Updated Aug 22, 2025Aug 22, 2025
QuAK
Public
Quantitative Automata Kit
C++
•
MIT License
•1•6•1•0•Updated Jun 24, 2025Jun 24, 2025
vamos
Public
The main VAMOS repository
black-box parallel parallel-computing runtime-verification heterogeneous-systems runtime-monitoring runtime-monitoring-system
Makefile
•0•3•7•0•Updated May 21, 2025May 21, 2025
vamos-common
Public
Common pieces shared between repositories
Python
•0•0•0•0•Updated May 21, 2025May 21, 2025
mpt
Public
Monitoring hyperproperties with Multi-trace prefix transducers
monitoring compilers runtime-verification hyperproperties runtime-monitoring
Python
•
MIT License
•1•0•5•0•Updated Oct 2, 2024Oct 2, 2024
rv23-experiments
Public
Experiments from the paper "Monitoring Hyperproperties With Prefix Transducers" accepted at RV'23
C++
•
MIT License
•0•0•0•0•Updated Aug 15, 2024Aug 15, 2024
vamos-sources
Public
Event sources for VAMOS
C
•0•0•1•0•Updated Jun 20, 2024Jun 20, 2024
vamos-compiler
Public
Compiler for vamos specifications
Python
•0•0•2•0•Updated Apr 27, 2024Apr 27, 2024
fase23-experiments
Public
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
parallel-computing ring-buffer shared-memory parallel-processing runtime-verification runtime-monitoring shared-memory-communication shared-memory-queue runtime-monitoring-system
SWIG
•
Other
•0•0•0•0•Updated Apr 27, 2024Apr 27, 2024
sttt-experiments
Public
SWIG
•
Other
•0•0•0•0•Updated Apr 26, 2024Apr 26, 2024
vamos-buffers
Public
Implementation of shared-memory ring-buffers
ring-buffer shared-memory spsc-queue shared-memory-communication shared-memory-queue
C
•1•1•0•0•Updated Apr 24, 2024Apr 24, 2024
vamos-monitors
Public
A set of pre-defined monitors for VAMOS
C
•0•0•0•0•Updated Feb 6, 2024Feb 6, 2024
vamos-hyper
Public
VAMOS hypertrace support library
C++
•
MIT License
•0•0•0•0•Updated Aug 8, 2023Aug 8, 2023
shamon
Public archive
SWIG
•0•0•7•3•Updated Jan 11, 2023Jan 11, 2023
dataracebench
Public
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
C
•
Other
•31•0•0•0•Updated Dec 30, 2022Dec 30, 2022