DIAMONDS

Security Testing with Models

ASCENS

Autonomic Service-Component Ensembles

Better than Frankenstein

Model-based software development

REMICS

Reuse and Migration of legacy applications to Interoperable Cloud Services