Model Inference Search Heuristic
2025A search algorithm for guiding evolutionary algorithms in the search of best (system-level) test cases for microservices.
State Frequency Estimation for Anomaly Detection
2024Anomaly detection technique that uses state frequency to detect, group and rank anomalies.
Conformance Analysis Tool for Microservice Applications
2024A lightweight tool for conducting automated conformance analysis of microservice applications.
ENCODE: Encoding NetFlows for Network Anomaly Detection
2022A 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
2017Web-based tool for visualizing and analyzing warnings from different static analysis tools.
Mika, the selfie robot
2017Robot that takes selfies and initiates conversations with people.