Runtime Verification beyond Monitoring (ARVI)
Ziel ist der Aufbau von Expertise durch das Zusammenführen aktiver Forscher aus unterschiedlichen Bereichen der Laufzeit-Verifikation sowie durch Treffen mit Experten aus unterschiedlichen potentiellen Anwendungsdisziplinen. Das Hauptziel ist es, die Fragmentierung der Forschung über Laufzeit-Verifikation zusammenzuführen durch(1) das Design ...
Duration: 03/2015 - 12/2018
Funded by: COST
Verbundprojekt: Koordinierte Industriekommunikation - Latenzarme und verl?ssliche Industriekommunikation - Teilvorhaben: Verteilte Koordination
Duration: 01/2015 - 12/2017
Funded by: BMBF
DUC - Diversity Management in gro?en Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User-Generated Content
The project “Diversity management in large courses through university didactically embedded user-generated content” (DUC) attempts to overcome learning barriers and support students in successfully shaping their learning processes through innovative, technology-supported learning scenarios that take into account the diversity of learning groups in ...
Duration: 01/2015 - 12/2015
Funded by: Zentrum für Kompetenzentwicklung für Diversity Management in Studium und Lehre an Hochschulen in NRW
Hochleistungsrechencluster (HPC-Cluster)
Das beantragte leistungsf?hige, Cluster-basierte Parallelrechnersystem soll den Bedarf der Paderborner Naturwissenschaften an lokal vorhandener paralleler Rechenleistung bis über das Jahr 2018 hinaus sicherstellen. Obwohl die beteiligten Arbeitsgruppen auch Nutzer an nationalen (H?chstleistungs-) Rechenzentren sind, erfordern viele Aufgaben (z.B. ...
Duration: 01/2015 - 12/2015
Funded by: DFG
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
Funded by: DFG
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
Funded by: DFG
EASE: Early semantic development: Linking language development to emerging participation in social events
The main goal of this project is to contribute to the theory of early language development within the emerging embodied, distributed and situated approach to cognition. Congruently with earlier, functionalist theories of language, we investigate how children learn the controlling power that utterances have in interactions with other people rather ...
Duration: 01/2015 - 12/2020
Funded by: DFG
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