Skip to content
@ista-vamos

ISTA-vamos

Popular repositories Loading

  1. vamos vamos Public

    The main VAMOS repository

    Makefile 2

  2. vamos-buffers vamos-buffers Public

    Implementation of shared-memory ring-buffers

    C 1 1

  3. shamon shamon Public archive

    SWIG

  4. vamos-compiler vamos-compiler Public

    Compiler for vamos specifications

    Python

  5. vamos-sources vamos-sources Public

    Event sources for VAMOS

    C

  6. fase23-experiments fase23-experiments Public

    Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.

    SWIG

Repositories

Showing 10 of 14 repositories
  • vamos Public

    The main VAMOS repository

    ista-vamos/vamos’s past year of commit activity
    Makefile 2 0 6 0 Updated Jun 20, 2024
  • vamos-sources Public

    Event sources for VAMOS

    ista-vamos/vamos-sources’s past year of commit activity
    C 0 0 1 0 Updated Jun 20, 2024
  • hna Public

    Library for the construction, manipulation and runtime verification of hypernode automata

    ista-vamos/hna’s past year of commit activity
    C++ 0 MIT 0 14 0 Updated Jun 19, 2024
  • rv23-experiments Public

    Experiments from the paper "Monitoring Hyperproperties With Prefix Transducers" accepted at RV'23

    ista-vamos/rv23-experiments’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Jun 8, 2024
  • vamos-common Public

    Common pieces shared between repositories

    ista-vamos/vamos-common’s past year of commit activity
    Python 0 0 0 0 Updated Jun 8, 2024
  • vamos-compiler Public

    Compiler for vamos specifications

    ista-vamos/vamos-compiler’s past year of commit activity
    Python 0 0 2 0 Updated Apr 27, 2024
  • fase23-experiments Public

    Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.

    ista-vamos/fase23-experiments’s past year of commit activity
    SWIG 0 0 0 0 Updated Apr 27, 2024
  • sttt-experiments Public
    ista-vamos/sttt-experiments’s past year of commit activity
    SWIG 0 0 0 0 Updated Apr 26, 2024
  • vamos-buffers Public

    Implementation of shared-memory ring-buffers

    ista-vamos/vamos-buffers’s past year of commit activity
    C 1 1 0 0 Updated Apr 24, 2024
  • vamos-monitors Public

    A set of pre-defined monitors for VAMOS

    ista-vamos/vamos-monitors’s past year of commit activity
    C 0 0 0 0 Updated Feb 6, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…