Tools and de­mon­s­tra­ti­on sys­tems de­ve­lo­ped in the third fun­ding pe­ri­od

Si­tua­ti­o­nal Busi­ness Mo­del De­vel­oper

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­time­le­on

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

Cryptimeleon page

_______________________________________________________________________

Co­Di­Dro­id

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

_______________________________________________________________________

Ji­cer

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

   -> Jicer page

 

_______________________________________________________________________

ML­Check

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