Explore projects
-
Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.
Updated -
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
Updated -
Updated
-
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 -
Updated
-
-
Updated
-
Updated
-
-
moex / SWIP
GNU Lesser General Public License v2.1 onlySemantic web in the pocket.
SWIP is a project for supporting RDF under the Android hood.
Updated -
Gazelle / Library / swagger-core
Apache License 2.0This is a swagger-core fork for a java 7 compilation meaning. Needed to integrate swagger v3 annotations in jboss7 application.
Updated -
Gazelle / Public / Core / SVS Simulator
Apache License 2.0Value Set repository and Simulation of SVS actors.
Updated -
Serveur de token pour la déclaration d'infection
Updated -
StructGraphics / StructGraphics Java Code
MIT LicenseThis project contains the Java code of the StructGraphics visualization design tool.
Updated -
Updated
-
The project aims to develop a reasoner which is based on a new optimization technique, called compressed-tableau. This reasoner allows to reason on ontologies expressed in Description Logics (e.g. OWL ontologies).
Updated