Explore projects

Chatserver written in AspectJ for the Software Product Lines course

Learning product automata

IR project: making your own search engine from scratch

The project simulates TCP models learned as part of the learning & model checking TCP work.

Clide a CLean IDE (eclipse plugin)

Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel

iTasks Android app

Test techniques assignment 2

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

Interpreter for my mapper language for abstraction in automata learning.

Het project van de app voor het R&D-project

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.