Research Grants

On this page you will find infomation about our current projects. You will get an overview of our completed projects via the following link:

Completed Projects

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

Within the DFG's Collaborative Research Center (Sonderforschungsbereich) 1119, CROSSING, we are heading the project on the Secure Integration of...more


EUROWEB+

European Research and Educational Collabo­ration with Western Balkansmore


Finding and Demonstrating Undesired Program Behavior (TESTIFY)

In this joint project with Andreas Zeller from Saarland University we try to combine techniques from static analysis, test-case generation and...more


Fraunhofer Attract

An idea becomes an innovation, if it comes to use. The grant »Fraunhofer Attract« offers outstanding external scientists the opportunity to develop...more


GREEN TECH WB

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


NetIDE

The FP7-STReP-Project "NetIDE" aims to provide an integrated development environment (IDE) to support the development process of...more


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


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

Within the Emmy Noether project RUNSECURE we develop a novel programming language for developing provably correct dynamic analyses and security...more


Runtime Verification beyond Monitoring (ARVI)

This Action aims to build expertise by putting together active researchers in different aspects of runtime verification, and meeting with experts...more


CRC 901 "On-The-Fly Computing"

CRC 901 On-The-Fly Computing aims at the development of methods and tools for automated composition and execution of end-user services from basic IT...more


VoLiFa2020

Using european roads has never been safer than in 2013, as shown by current statistics. Nevertheless, the risk of fatal accidents at night is...more