THIS PAGE IS NOT UP TO DATE.
I am or was involved in several software-development projects:
- Weave Droid: Aspect-Oriented Programming on Android Devices: fulled embedded or in the cloud.
- RV-Droid: Runtime Verification and Enforcement for Android Applications
- DecentMon: An OCaml Benchmark for Decentralised LTL Monitoring NEW
- RV-BIP: Runtime Verification of BIP systems NEW
- Java-PT: Property and their Testability with Java NEW
- TAKOS: a Java Toolbox for Analyzing the K-Opacity of SystemsNEW
- j-VETO: a Java Verification and Enforcement Toolbox
- j-POST: Property-Oriented Software Testing for Java
(status: finished, maybe a version 2.0 someday :))