Projekte

Im akademischen Bereich existieren zahlreiche Ansätze zur Analyse der logischen Korrektheit von Sicherheitsprotokollen. Computerunterstütze Ansätze …

Ziel von SeSam ist es, Grundlagen für die Entwicklung und Zertifizierung von hochsicheren Betriebssystemkomponenten zu schaffen. Insbesondere geht es …

Das Projekt Viewpoint-basierte Modellierung (ViBaM) wurde im Rahmen des EU Programms "EuroStars" erfolgreich beantragt und wird vom BMBF gefördert. …

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

Unternehmen sind heute mit einer rasanten Veränderung ihres Umfelds konfrontiert. So entwickeln sich offene Marktplätze im Internet mit immer …

Gegenstand der Forschungsarbeiten von ProForm ist es, erzielte Resultate im Bereich Formaler Methoden für die Entwicklung von Software zur Steuerung …

Das Projekt "Stadtmitte am Fluss" hat das Ziel einen großen Teil der Innenstadt der Landeshauptstadt des Saarlandes neu zu gestalten. Zur besseren …

AVILUSplus ist ein vom Bundesministerium für Bildung und Forschung (BMBF) gefördertes Forschungs- und Entwicklungsprojekt. Es befasst sich mit …

MODEST integriert Ansätze für Modellgetriebene Softwareentwicklung, Dienstorientierte Architekturen und Semantisches Web in einem innovativen Konzept …

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 …