Projects

In the academic area there are numerous approaches to the formal analysis of security protocols. Computer-supported approaches are all based on the …

Partners Sysgo, EADS (Deutschland), IESE (Frauenhofer Kaiserslautern)

The project Viewpoint-Based Modelling (ViBaM) was successfully applied for in the European "EuroStars" program and is funded by the German Federal …

In dem hälftig von der EU und dem COLIPA-Verbund der kosmetischen Industrie geförderten Projekt “NOTOX” sollen systembiologische Werkzeuge entwickelt …

Today, companies are confronted with rapid changes within their environment. Thus, open market places are developed in the Internet to satisfy more …

AVILUSplus is a research and development project funded by the Federal Ministry of Education and Research (BMBF). It focuses on long-term technologies …

The project Modest aims at cross-disciplinary research and development of innovative means on modeldriven agent-based coordination of Semantic Web …

The mission of the COIN IP is to study, design, develop and prototype an open, self-adaptive, generic ICT integrated solution to support the above …