Explore projects

A tutorial on building a chatbot using IBM Watson Conversation for the ”Introduction to IT” course (Autumn 2017)

Lab exercises and instructions for SAIOT course

Requirement falsification for cyber-physical systems using generative models and the OGAN algorithm. This is an entry in the falsification track of the ARCH-COMP 2023 competition on verifying continuous and hybrid systems.

Public update site for M2-AlfTester tool

This repository contains bottleneck distributions of RUBiS(poi) and RUBiS(uni), and data related to the performance of iPerfXRL.