Tools and demon­stra­tion sys­tems de­veloped in the third fund­ing peri­od

Situ­ation­al Busi­ness Mod­el De­veloper

The Situational Business Model Developer (SBMD) supports situation-specific business model development by adjusting the development methods as well as the business models to the actual situation of the developing organization.

SBMD page

_______________________________________________________________________

Cryp­timele­on

Cryptimeleon is a software library that makes it easy for cryptographers to prototype their constructions.

Cryptimeleon page

_______________________________________________________________________

CoDiDroid

The CoDiDroid framework allows to build cooperative Android app analysis.

   -> CoDiDroid page

 

_______________________________________________________________________

AMT

The Android Merge Tool (AMT) allows to merge multiple apps into a single one while maintaining analyzability.

   -> AMT page

_______________________________________________________________________

Jicer

A static slicer based on Soot and Jimple that can be employed in cooperative analysis contexts.

   -> Jicer page

 

_______________________________________________________________________

MLCheck

A testing tool for testing ML models with respect to the tester specified properties

-> MLCheck page

 

_______________________________________________________________________

Further information:

Projects Project Area A Project Area B Project Area C Project Area T Tools and Demonstration Systems Tools from the 1st Funding Period Tools from the 2nd Funding Period Tools from the 3rd Funding Period