Software

I am or was involved in several software-development projects:

• Weave Droid: Aspect-Oriented Programming on Android Devices: fulled embedded or in the cloud.
  (status: active)
• RV-Droid: Runtime Verification and Enforcement for Android Applications
• DecentMon: An OCaml Benchmark for Decentralised LTL Monitoring NEW
  (status: active)
• RV-BIP: Runtime Verification of BIP systems NEW
  (status: active)
• Java-PT: Property and their Testability with Java NEW
  (status: active)
• TAKOS: a Java Toolbox for Analyzing the K-Opacity of SystemsNEW
  (status: active)
• j-VETO: a Java Verification and Enforcement Toolbox
  (status: active)
• j-POST: Property-Oriented Software Testing for Java
  (status: finished, maybe a version 2.0 someday )