Explore projects

Supplementary Materials for "TAG: Learning Timed Automata from Logs" (AAAI-22).

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.

AcFixer is a tool to fix the privacy code smells regarding accessibility service in android projects.

AcGuard is android an application for users to help them against malicious apps that are attacking the passwords using the accessibility service.

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.

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.

Alpha language includes the core language, its parser, and editor based on Xtext.

AlphaZ developed at CSU and CAIRN. This repository is a migration of old sources that were in separate locations.

Abstract Requirement Extraction for Systems