Model Inference Search Heuristic
2025
An search algorithm for guiding evolutionary algorithnms in the search of best (system-level) test cases for microservices
State Frequency Estimation for Anomaly Detection
2024
Anomaly detection technique that uses state frequency to detect, group and rank anomalies.
Conformance Analysis Tool for Microservice Applications
2024
A lightweight tool for conducting automated conformance analysis of microservice applications.
ENCODE: Encoding NetFlows for Network Anomaly Detection
2022
A python package for learning contextual features from (semi-)continuous NetFlow feature data, with the aim to improve ML models for network anomaly detection.
Unified ASAT Visualizer
2017
Web-based tool for visualizing ana analyzing warnings from different static analysis tools.
Mika, the selfie robot
2017
Robot that takes selfies and initiates conversations with people.