Finding and Demonstrating Undesired Program Behavior (TESTIFY)
In diesem gemeinsamen Projekt mit Andreas Zeller von der Universit?t des Saarlandes wird versucht, Techniken der statischen Analyse, der Testfallgenerierung und der dynamischen Analyse zu kombinieren. Das Ziel ist es, so viel “interessantes” Laufzeitverhalten von mobilen Applikationen, im besonderen Anroid Malware, wie m?glich zu erkennen. Diese ...
Duration: 01/2015 - 12/2018
Funded by: DFG
GoRETech – Go Runtime Enforcement Techniques
Das Ziel dieses Projekts ist die Entwicklung und Anwendung von Techniken und Werkzeugen zur statischen Analyse und dynamischen Durchsetzung für die hochgradig nebenl?ufige Programmiersprache Go, mit einem speziellen Fokus auf die Analyse von sicherheitsrelevanten Eigenschaften. Die Sprache Go ist eine moderne Programmiersprache, die nicht nur ...
Duration: 01/2015 - 12/2016
Funded by: DAAD
Schule digital - der L?nderindikator 2016
Phase 2 "Lehrerkompetenzen"Berichtlegung: Ende 2016
Duration: 01/2015 - 12/2016
Funded by: Deutsche Telekom Stiftung
Propelling Business Process Management by Research and Innovation Staff Exchange
Duration: 01/2015 - 12/2019
Funded by: EU
Contact: Dr. Christian Bartelheimer, Prof. Dr. Daniel Beverungen
TRANSFORMATIONEN DES HEILIGEN
Das Heilige hatte über Jahrhunderte die Funktion einer ?starken‘, nicht mehr hinterfragbaren Setzung, die in s?kularen Gesellschaften ihre Bedeutung an andere diskursive Formierungen gesellschaftlicher Selbstverst?ndlichkeiten verloren zu haben schien oder sie zumindest mit diesen geteilt hat. Nicht erst seit dem 11. September 2001 aber haben ...
Duration: 01/2015 - 12/2024
InnoArchIT: Innovative Hardware und Software Architekturen durch Industrial IT
Innovationsprojekt: Kleiner Chip – gro?er EffektUnsere Volkswirtschaft setzt auf Hightech-Produkte wie z.B. computerbasierte Maschinensteuerungen. Diese haben meistens nur kurze Produktlebenszyklen und geringe Losgr??en. Daher müssen die Maschinen und automatisierten Anlagen zur Herstellung dieser Produkte immer wieder schnell für neue ...
Duration: 10/2014 - 06/2017
Funded by: BMBF
Contact: Carlos Paiz Gatica
Opalesce - Online Portal and Active Learning System for Senior Citizens in Europe
OPALESCE is a 36-month ERASMUS+ project in the form of a 'Strategic Partnership' with a focus on adult education (Strategic Partnership for adult education). The project is being implemented by an internationally oriented consortium in the EU's education program. Organizations from Portugal, Cyprus, Greece and Germany are participating in ...
Duration: 09/2014 - 08/2017
Funded by: ?EU Erasmus+
SEEL - Sound in European E-Learning
SEEL is an ERASMUS+ project embedded in the 'Strategic Partnerships' action with a focus on vocational education and training (VET). As an internationally oriented project in the EU education program. The duration of the SEEL project is 24 months.Four partners from three countries are working together on the project: from Germany, Romania and the ...
Duration: 09/2014 - 08/2016
Funded by: ?EU Erasmus+
SELFIE - Career Planning for Dynamic Economics
SELFIE is an ERASMUS+ project in the form of a 'Strategic Partnership' with a focus on vocational training and other fields (Strategic Partnership addressing more than one field). It is implemented as an internationally oriented project in the EU education program. The participating organizations in SELFIE come from Ireland, Cyprus, Lithuania, ...
Duration: 09/2014 - 08/2016
Funded by: ?EU Erasmus+
SYNERGY - Harnessing the Learning Assets Within the SME Business Community
SYNERGY is a 24-month ERASMUS+ project. It is embedded in the 'Strategic Partnerships' action with a focus on Vocational Education and Training (VET). It is implemented as an internationally oriented project in the EU education program.Seven institutions from seven countries are cooperating in SYNERGY: Cyprus, Finland, Germany, Greece, Ireland, ...
Duration: 09/2014 - 08/2016
Funded by: ?EU Erasmus+