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 ...
Laufzeit: 01/2015 - 12/2018
Gef?rdert durch: 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 ...
Laufzeit: 01/2015 - 12/2016
Gef?rdert durch: DAAD
Schule digital - der L?nderindikator 2016
Phase 2 "Lehrerkompetenzen"Berichtlegung: Ende 2016
Laufzeit: 01/2015 - 12/2016
Gef?rdert durch: Deutsche Telekom Stiftung
Propelling Business Process Management by Research and Innovation Staff Exchange
Laufzeit: 01/2015 - 12/2019
Gef?rdert durch: EU
Kontakt: 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 ...
Laufzeit: 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 ...
Laufzeit: 10/2014 - 06/2017
Gef?rdert durch: BMBF
Kontakt: Carlos Paiz Gatica
Opalesce - Online Portal and Active Learning System for Senior Citizens in Europe
OPALESCE ist ein 36 monatiges ERASMUS+ Projekt in Form einer 'Strategic Partnership' mit dem Fokus auf Erwachsenenbildung (Strategic Partnership for adult education). Die Projektumsetzung erfolgt als ein international ausgerichtetes Konsortium im Bildungsprogramm der EU. An OPALESCE nehmen Organisationen aus Portugal, Zypern, Griechenland und ...
Laufzeit: 09/2014 - 08/2017
Gef?rdert durch: ?EU Erasmus+
SEEL - Sound in European E-Learning
SEEL ist ein ERASMUS+ Projekt, das in die Aktion 'Strategic Partnerships' mit dem Fokus auf Berufsbildung (Vocational Education and Training – VET) eingebettet ist. Als international ausgerichtetes Projekt im EU-Bildungsprogramm. Die Laufzeit des Projektes SEEL betr?gt 24 Monate.Im Projekt arbeiten vier Partner*innen aus drei L?ndern zusammen: aus ...
Laufzeit: 09/2014 - 08/2016
Gef?rdert durch: ?EU Erasmus+
SELFIE - Career Planning for Dynamic Economics
SELFIE ist ein ERASMUS+ Projekt in Form einer 'Strategic Partnership' mit dem Fokus auf Berufsbildung und weitere Felder (Strategic Partnership addressing more than one field). Die Umsetzung erfolgt als ein international ausgerichtetes Projekt im EU-Bildungsprogramm. Die teilnehmenden Organisationen in SELFIE kommen aus Irland, Zypern, Litauen, ...
Laufzeit: 09/2014 - 08/2016
Gef?rdert durch: ?EU Erasmus+
SYNERGY - Harnessing the Learning Assets Within the SME Business Community
SYNERGY ist ein 24 monatiges ERASMUS+ Projekt. Es ist in die Aktion 'Strategic Partnerships' mit dem Fokus auf Berufsbildung (Vocational Education and Training – VET) eingebettet ist. Die Umsetzung erfolgt als ein international ausgerichtetes Projekt im EU-Bildungsprogramm.In SYNERGY kooperieren sieben Institutionen aus sieben L?ndern: Finnland, ...
Laufzeit: 09/2014 - 08/2016
Gef?rdert durch: ?EU Erasmus+