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
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
Schule digital - der L?nderindikator 2016
Phase 2 "Lehrerkompetenzen"Berichtlegung: Ende 2016
Duration: 01/2015 - 12/2016
SPP 1839: Tailored Disorder, TP: Breitbandreflektierende Fasern mit ma?geschneiderten Strukturen nach dem Vorbild von Wüstenameisen
Viele lebende Organismen bilden photonische Strukturen, um optische Effekte zu generieren die für ihr ?berleben entscheidend sind. In der Mehrzahl der F?lle handelt es sich um periodisch geordnete Strukturen, aber die Natur hat im Laufe der Evolution auch ungeordnete photonische Strukturen hervorgebracht. Diese zeigen oft funktionsspezifisch ...
Duration: 01/2015 - 12/2022
Propelling Business Process Management by Research and Innovation Staff Exchange
Duration: 01/2015 - 12/2019
Contact: Dr. Christian Bartelheimer, Prof. Dr. Daniel Beverungen
Verbundprojekt: Koordinierte Industriekommunikation - Latenzarme und verl?ssliche Industriekommunikation - Teilvorhaben: Verteilte Koordination
Duration: 01/2015 - 12/2017
Topological phase controlled nonlinear optical processes at metasurfaces
Nanostructured surfaces for optical applications gained recently much interest due to their high potential for applications and the simple fabrication methods that are compatible with standard CMOS technology. In our previous work we demonstrated that nanostructured surfaces, so-called metasurfaces, can provide a topological (Berry) phase for ...
Duration: 01/2015 - 12/2018
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
Derived–tame algebras and non–commutative nodal curves
The goal of this project is to develop a systematic theory of non-commutative nodal projective curves, similar to the theory of weighted projective lines of Geigle and Lenzing. In particular, we want to clarify when the derived category of coherent sheaves on such a curve admits a tilting object, and describe the classes of tilted algebras arising ...
Duration: 01/2015 - 12/2019
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
Contact: Carlos Paiz Gatica