GitLab

Active Learning of NOndeterministic Systems

Data Manager

Package fsm implements a simple finite state (Mealy) machine.

Package partition can be used to construct the coarsest refinement of a partition P of a set N of integers [0, n) with respect to one or more functions of type N->N.

Several sets of benchmarks for the two partition refinement algorithms found in the gitlab.science.ru.nl/rick/partition repository.

Docker image for the software security testcms.

Re-usable Tonic libraries and stand-alone Tonic viewer

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

New implementation of diagonalization code, written for python wrapping.

We compare the existing RA learners (Tomte and RALib) on a set of benchmarks and analyze the statistics. The project includes the binaries of the tools, as well as scripts that automatically generate models, run and collect data.

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

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

Mealy machines, DFAs, Circuits and minimisation in Haskell

ARM implementation of the ChaCha20 block cipher

Online monitoring for Very Long Baseline Interferometry campaigns.

Client software for the Radboud Radio Lab VLBI Monitor

compiler project for compiler construction course in Rust

A project where we develop some of the (Java) data-structures that we use in Tomte

A compiler and static cost analyzer for a simplified variant of iTasks