Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Softwaretechnik

Address Fürstenallee 11
33102 Paderborn
Deutschland

GERiT This institution in GERiT

33102 Paderborn

Projects

Research Grants
- Completed projects
  - Finding and Demonstrating Undesired Program Behavior
    (Applicants Bodden, Eric ; Zeller, Ph.D., Andreas )
  - Fuzzy logic based interactive recognition of design pattern implementations
    (Applicant Schäfer, Wilhelm )
Independent Junior Research Groups
- Completed projects
  - Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE)
    (Applicant Bodden, Eric )
Priority Programmes
- Completed projects
  - Hybrid static/dynamic inter-application data-flow analysis
    (Applicant Hähnle, Reiner )
  - Integrative Spezifikation von verteilten Leitsystemen der flexibel automatisierten Fertigung
    (Applicant Gausemeier, Jürgen )
Collaborative Research Centres
- Current projects
  - Reliable and automated code-based analysis of Open-Source Dependencies (Reaktor)
    (Project Head Bodden, Eric )
  - Secure integration of application programming interfaces
    (Project Heads Bodden, Eric ; Mezini, Mira )
  - Secure Integration of Cryptographic Software
    (Project Heads Bodden, Eric ; Mezini, Mira )
- Completed projects
  - Automated risk analysis with respect to open-source dependencies (Hektor)
    (Project Head Bodden, Eric )
  - Design Processes, Methods and Tools for the Design of Self-Optimizing Systems
    (Project Heads Gausemeier, Jürgen ; Schäfer, Wilhelm )
  - Design Techniques for Safety-Critical, Self-Optimizing Multi-Agent Systems in the Context of Mechatronic
    (Project Heads Schäfer, Wilhelm ; Wehrheim, Heike )
  - Hybride Modellierung - Integration hybrider Modellierungs- und Validierungstechniken in CAMeL-View
    (Project Head Schäfer, Wilhelm )
  - Parameterized Service Specifications
    (Project Heads Engels, Gregor ; Geierhos, Michaela ; Hamann, Heiko ; Schäfer, Wilhelm ; Wachsmuth, Henning )
  - Proof-Carrying Services
    (Project Heads Bodden, Eric ; Platzner, Marco ; Wehrheim, Heike )
Research data and software
- Completed projects
  - Future-proofing the Soot Framework for Program Analysis and Transformation (FutureSoot)
    (Applicants Bodden, Eric ; Kabst, Rüdiger )

© 2024 DFG Disclaimer / Copyright / Privacy Policy