Explore projects

Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads

New implementation of diagonalization code, written for python wrapping.

Software to run the pipelines, work with database, etc.

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads

The toolsuite of the LOFAR Cosmic Ray Key Science Project

An expansion/adjustment of the ads algorithm from Lee/Yannakakis. Heavily builds upon the existing implementation found at https://gitlab.science.ru.nl/moerman/hybrid-ads.

Project 2 for the Operating Systems course.

Hybrid adaptive distinguishing sequences for FSM-based complete testing