Startseite > Fachgruppen > Softwaretechnik > Projekte > Drittmittelprojekte

Drittmittelprojekte

Auf dieser Seite finden Sie Informationen zu unseren aktuellen Projekten. Eine Übersicht über unsere abgeschlossenen Projekte finden Sie unter dem folgenden Link:

Abgeschlossene Projekte

CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments

Im Rahmen des DFG Sonderforschungsbereichs 1119, CROSSING, leiten wir das Projekt Secure Integration of Cryptographic Software. Zusammen mit...mehr


EUROWEB+

European Research and Educational Collabo­ration with Western Balkansmehr


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...mehr


Fraunhofer Attract

Eine Idee wird zu einer Innovation, sobald sie eingesetzt wird. Das Förderprogramm »Fraunhofer Attract« bietet herausragenden externen...mehr


GREEN TECH WB

Smart and Green Technologies for In­novative and Sustainable Societies in Western Balkansmehr


NetIDE

Das im Januar 2014 angelaufene, dreijährige FP7-STReP-Projekt "NetIDE" setzt sich zum Ziel, eine integrierte Entwicklungsumgebung (IDE) für...mehr


NRW-Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten – Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0“

Im NRW-Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten“ befassen sich Doktorandinnen und Doktoranden der Universitäten Bielefeld und...mehr


Provably secure program executions through declaratively defined dynamic program analyses (RUNSECURE)

Im Rahmen des Emmy Noether Projects RUNSECURE entwickeln wir eine neuartige Programmiersprache zur Entwicklung nachweislich korrekter Monitore...mehr


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...mehr


SFB 901 "On-The-Fly Computing"

Die Zielsetzung des SFB 901 On-The-Fly Computing (OTF Computing) liegt in der Entwicklung von Techniken und Verfahren zur automatischen on-the-fly...mehr


VoLiFa2020

Autofahren auf europäischen Straßen war noch nie so sicher wie im Jahr 2013 – das belegen jüngste Unfallstatistiken. Dennoch ist das Risiko tödlicher...mehr