This is a incomplete collection of open source software and research projects that I have been working on or I am currently working on.
- CSharp USB Human Interface (HID) Driver Library
This Library connects your Human Interface USB Device to your CSharp (or other Visual Studio) project or application.
- DiPro – Directed Probabilistic Counterexample Generation Tool
DiPro is a tool for the computation of counterexamples for the stochastic model checkers PRISM and MRMC.
Causality Checking for Complex System Models
Safety Analysis of Complex Sytem and Software Architectures
In addition to these projects I’m working on the following commercial projects: