Explore projects
-
Gazelle / Public / Processing / Transformation
Apache License 2.0Data transformation service based on Daffodil (DFDL)
Updated -
Updated
-
Updated
-
aviz / TouchTalkInteractive
Creative Commons Attribution 4.0 InternationalUpdated -
MANGEOT Mathieu / TopDix
MIT LicenseUpdated -
Updated
-
-
Token generator for Gazelle Test Management
Updated -
DEANTONI Julien / TimeSquare
Eclipse Public License 1.0this is the code related to TimeSquare (http://timesquare.inria.fr)
Updated -
Updated
-
SIVASANKARAN Sunit / thesis_presentation
MIT LicenseUpdated -
Updated
-
Updated
-
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
Updated -
-
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
Updated -
Gazelle / Public / Framework / Test Management Tools
Apache License 2.0Various tools for Gazelle TM (& EVS) [gazelle-tm-tools].
Updated -
Gazelle / Public / Core / Test Management
Apache License 2.0Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).
Updated -
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated