research

Artemis - Interactive Learning with Automated Feedback

OMNeT++ Discrete Event Simulator

State-of-the-art Framework 🏗 for Cloud Computing ⛅️ Simulation: a modern, full-featured, easier-to-use, highly extensible 🧩, faster 🚀 and more accurate ☕️ Java 25+ tool for cloud computing research 🎓 Examples: https://github.com/cloudsimplus/cloudsimplus-examples

Jikes RVM (Research Virtual Machine)

Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞

Maxine VM: A meta-circular research VM

Android application for capture of Video, IMU data and Camera data useful in SLAM and Structure from Motion research. Differs between Optical Image Stabilization (OIS) and Digital Video Stabilization (DVS) and can provide OIS data if the device supports it.

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

An open-source model for calculating noise maps.

Zotero on Android

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

Segrada - Semantic Graph Database

SOMns: A Newspeak for Concurrency Research

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

An Open-source access negotation system for Research Infrastructures

Artifact accompanying our OOPSLA'15 publication.

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

Android research workspace for per-app Frida Gadget instrumentation: on-device JavaScript, desktop attach, and clean launches without root or APK patching.

➰ Search-based Test Data Generation for Relational Database Schemas

Terracotta (a portmanteau of Tool for Education Research with RAndomized COnTrolled TriAls) is a plug-in to the learning management system that allows the contents of online assignments to be differentiated for experimental treatment variations, and to be assigned randomly to different groups of students. Terracotta also enables privacy protecti…