Explore projects
-
Supplementary Materials for "TAG: Learning Timed Automata from Logs" (AAAI-22).
Updated -
This project provides the code of Abstra, an all-in-one dataset abstraction system.
It is developed in Java and uses Postgres to store data.
Updated -
AcFixer is a tool to fix the privacy code smells regarding accessibility service in android projects.
Updated -
AcGuard is android an application for users to help them against malicious apps that are attacking the passwords using the accessibility service.
Updated -
Updated
-
ADFG checks the scheduling feasibility of an Ultimately Cyclo-Static DataFlow (UCSDF) graph which represents a system of actors (or processes) and their dependencies (data production and consumption rates), aka channels between them.
Updated -
Updated
-
Updated
-
Updated
-
The Alignment API allows various ontology matchers to share the same format and interface for accessing matching results. It also features a reference implementation and the Alignment server.
Updated -
Alpha language includes the core language, its parser, and editor based on Xtext.
Updated -
AlphaZ developed at CSU and CAIRN. This repository is a migration of old sources that were in separate locations.
Updated -
Updated
-
-
Updated