Software

 

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.
    (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 :))
 Posted by at 8:08 AM

Sorry, the comment form is closed at this time.