OpenBot leverages smartphones as brains for low-cost robots. We have designed a small electric vehicle that costs about $50 and serves as a robot body. Our software stack for Android smartphones supports advanced robotics workloads such as person following and real-time autonomous navigation.

Software development bot that automatically repairs build failures on continuous integration. Join the bot revolution! 🌟🤖🌟💞

Maxine VM: A meta-circular research VM

Jikes RVM (Research Virtual Machine)

OMNeT++ Discrete Event Simulator

A modern, full-featured, highly extensible and easier-to-use Java 8+ Framework for Cloud Computing Simulation

Artemis is a free genome viewer and annotation tool that allows visualization of sequence features and the results of analyses within the context of the sequence, and its six-frame translation

Zotero on Android

Fast detection of repackaged Android applications based on the comparison of resource files included into the package.

Segrada - Semantic Graph Database

Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.

➰ Search-based Test Data Generation for Relational Database Schemas

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Intrusion Detection System (IDS) for Wireless Sensor Networks (WSN)

Graph-based incremental static analysis of ECMAScript 6 source code repositories

The Train Benchmark framework for evaluating incremental model validation performance

A Shape Analysis Tool based on Graph Grammars

Disease Pattern Miner is a free, open-source mining framework for interactively discovering sequential disease patterns in medical health record datasets.

Find the shortest SLP by transforming it to SAT

Library for analyzing typed graphs.

Generating Realistic Synthetic Data

Supplementary materials to the article presented at LCPC 2019: "Using Performance Event Profiles to Deduce an Execution Model of MATLAB with Just-In-Time Compilation" by Patryk Kiepas, Corinne Ancourt, Claude Tadonki, and Jarosław Koźlak.

"CITAL"- Finds citations of any PDF document.

Chocola as an extension of Clojure

This is an android app through which you can access most research papers related to covid-19. The app can be directly downloaded and installed from the apk folder.

An Android app for mobile sensing research

Smart multithreaded crawler to search and download publicly available academic papers

MONDO Collaboration Framework (WP4)

Systematic Literature Review, Research Proposal and a detailed report on Three-tier authentication system: A Survey and an Experiment