Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik

Address Ammerländer Heerstraße 114-118
26129 Oldenburg
Deutschland

GERiT This institution in GERiT

26129 Oldenburg

Projects

Priority Programmes
- Current projects
  - Coordination Funds
    (Applicant Boll, Susanne )
  - SKIRIM: Self-actuated Kinetic Interaction with Rich Interactive Materials
    (Applicants Boll, Susanne ; Borchers, Jan Oliver ; Steimle, Jürgen )
  - SPP 2199: Scalable Interaction Paradigms for Pervasive Computing Environments
    (Spokesperson Boll, Susanne )
- Completed projects
  - Ein ereignisgetriebener Ansatz zum Rapid Prototyping von embedded-control-Systemen
    (Applicant Damm, Werner )
  - Gestural Interaction Paradigms for Smart Spaces
    (Applicants Boll, Susanne ; Krüger, Antonio )
  - RIME: Rich Interactive Materials for Everyday Objects in the Home
    (Applicants Boll, Susanne ; Borchers, Jan Oliver ; Steimle, Jürgen )
  - Use-case driven Specification of Engineering Applications
    (Applicant Damm, Werner )
  - Visual Interactive Exploration of Geo-Located Infrastructure and Facilities in Urban Areas
    (Applicant Boll, Susanne )
Research Fellowships
- Completed projects
  - Verifikationstechniken für Spezifikationen verteilter Systeme mit objektorientierten daten- und prozeßorientierten Verhaltensbeschreibungen
    (Applicant Wehrheim, Heike )
Research Grants
- Current projects
  - Concurrency Reasoning for Weak Memory
    (Applicant Wehrheim, Heike )
  - Cooperative Software Verification 2
    (Applicants Beyer, Dirk ; Wehrheim, Heike )
  - Gestural interaction paradigms for smart spaces (GrIPSs)
    (Applicant Boll, Susanne )
  - Precise Monitoring of Cyber-Physical Technology under Uncertainty (PreCePT)
    (Applicants Finkbeiner, Bernd ; Fränzle, Martin )
- Completed projects
Collaborative Research Centres
- Completed projects
  - Composition analysis in uncertain contexts
    (Project Heads Becker, Steffen ; Hüllermeier, Eyke ; Wehrheim, Heike )
  - Design Techniques for Safety-Critical, Self-Optimizing Multi-Agent Systems in the Context of Mechatronic
    (Project Heads Schäfer, Wilhelm ; Wehrheim, Heike )
  - Proof-Carrying Services
    (Project Heads Bodden, Eric ; Platzner, Marco ; Wehrheim, Heike )
Research Training Groups
- Current projects
  - GRK 2972: CAUSE Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems
    (Spokesperson Fey, Görschwin )
- Completed projects
  - GRK 1076: Trustworthy Software Systems - Construction, Certification, Application
    (Spokespersons Hasselbring, Wilhelm ; Olderog, Ernst-Rüdiger )
  - GRK 1765: System Correctness under Adverse Conditions - SCARE
    (Spokesperson Olderog, Ernst-Rüdiger )
CRC/Transregios
- Completed projects
  - Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving (DeCoDe)
    (Project Heads Becker, Bernd ; Fränzle, Martin )
  - Automated Verification of Cooperating Traffic Agents
    (Project Heads Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Automatic Verification of Hybrid System Stability
    (Project Heads Fränzle, Martin ; Hermanns, Holger ; Podelski, Andreas ; Theel, Oliver ; Wolf, Verena )
  - Beyond Timed Automata
    (Project Heads Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
  - Central Tasks
    (Project Heads Becker, Bernd ; Damm, Werner ; Finkbeiner, Bernd )
  - Constaint-based Verification for Hybrid Systems
    (Project Heads Althaus, Ernst ; Becker, Bernd ; Fränzle, Martin ; Weidenbach, Christoph )
  - Dynamic Communication Systems
    (Project Heads Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
  - Timing Analysis, Scheduling and Distribution of Real-Time Tasks
    (Project Heads Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )
  - TRR 14: Automatic Verification and Analysis of Complex Systems
    (Spokesperson Damm, Werner )
  - Verification of Dependability Properties
    (Project Heads Becker, Bernd ; Hermanns, Holger ; Theel, Oliver ; Wolf, Verena )

© 2024 DFG Disclaimer / Copyright / Privacy Policy