Logos for Groups
 The MeFoSyLoMa Group (2005) |
|---|
Logos for projects
 the CPN-AMI Verification environment (2000) |
 the FrameKit Integration Platform (2000) |
|---|---|
 the MetaScribe Code Generator Generator (2000) |
 the PolyOrb middleware (2003) |
 the CosyVerif Verification Environment (2013) |
Logos for Conferences
 Rapid System Prototyping (since 2000, then updated each year) |
|---|