Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

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

GERiT Diese Institution in GERiT

26129 Oldenburg

Projekte

Schwerpunktprogramme
- laufende Projekte
  - Koordinationsfonds
    (Antragstellerin Boll, Susanne )
  - SKIRIM: Selbstgesteuerte kinetische Interaktion mit reichhaltigen interaktiven Materialien
    (Antragstellerinnen / Antragsteller Boll, Susanne ; Borchers, Jan Oliver ; Steimle, Jürgen )
  - SPP 2199: Skalierbare Interaktionsparadigmen für allgegenwärtige Rechnerumgebungen.
    (Sprecherin Boll, Susanne )
- abgeschlossene Projekte
  - Ein ereignisgetriebener Ansatz zum Rapid Prototyping von embedded-control-Systemen
    (Antragsteller Damm, Werner )
  - Gesteninteraktionsparadigmen für Intelligente Umgebungen
    (Antragstellerinnen / Antragsteller Boll, Susanne ; Krüger, Antonio )
  - RIME: Reichhaltige interaktive Materialien für Alltagsgegenstände im Wohnumfeld
    (Antragstellerinnen / Antragsteller Boll, Susanne ; Borchers, Jan Oliver ; Steimle, Jürgen )
  - Use-case driven Specification of Engineering Applications
    (Antragsteller Damm, Werner )
  - Visual Interactive Exploration of Geo-Located Infrastructure and Facilities in Urban Areas
    (Antragstellerin Boll, Susanne )
Forschungsstipendien
- abgeschlossene Projekte
  - Verifikationstechniken für Spezifikationen verteilter Systeme mit objektorientierten daten- und prozeßorientierten Verhaltensbeschreibungen
    (Antragstellerin Wehrheim, Heike )
Sachbeihilfen
- laufende Projekte
  - Gestenparadigmen für intelligente Umgebungen (GrIPSs)
    (Antragstellerin Boll, Susanne )
  - Kooperative Softwareverifikation 2
    (Antragstellerinnen / Antragsteller Beyer, Dirk ; Wehrheim, Heike )
  - Präzise Überwachung cyber-physischer Technologie unter Unsicherheit
    (Antragsteller Finkbeiner, Bernd ; Fränzle, Martin )
  - Verifikation paralleler Programme für schwache Speichermodelle
    (Antragstellerin Wehrheim, Heike )
- abgeschlossene Projekte
  - Abstraktionstechniken zur Verifikation lokaler Eigenschaften großer paralleler Systeme
    (Antragstellerin Wehrheim, Heike )
  - Algorithmen für Reengineering und Synthese (ARS)
    (Antragsteller Olderog, Ernst-Rüdiger )
  - Algorithmen für Synthese und Präsynthese auf Grundlage der Strukturtheorie von Petrinetzen (ASYST)
    (Antragsteller Olderog, Ernst-Rüdiger )
  - Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß
    (Antragstellerin Wehrheim, Heike )
  - Entwurfsparadigmen für gesellschaftsumspannende cyberphysische Systeme
    (Antragsteller Damm, Werner ; Fränzle, Martin ; Köster, Frank ; Lehnhoff, Sebastian ; Lüdtke, Andreas ; Pretschner, Alexander ; Rieger, Jochem )
  - Grafische Constraints zur Entwicklung korrekter Graphtransformationssysteme und zur Verifikation von Graphprogrammen
    (Antragstellerin Habel, Annegret )
  - Intervallmethoden zur garantierten Zustandsschätzung und zum Entwurf robuster und optimaler Steuerungen und Regelungen für unsichere Systeme
    (Antragstellerinnen / Antragsteller Auer, Ekaterina ; Rauh, Andreas )
  - Intervallmethoden zur robusten modell-prädiktiven und strukturvariablen Regelung von SOFC-Brennstoffzellensystemen: VerIPC-SOFC
    (Antragsteller Aschemann, Harald ; Rauh, Andreas )
  - Konfliktresolution und kausale Inferenz mittels integrierter sozio-technischer Modellbildung
    (Antragsteller Damm, Werner ; Fränzle, Martin ; Pretschner, Alexander )
  - Lina4WM Linearizierbarkeitsbeweise für schwache Speichermodelle
    (Antragstellerin Wehrheim, Heike )
  - Metamodellierung und Graphgrammatiken: Generierung von Entwicklungsumgebungen für Modellierungssprachen
    (Antragstellerinnen / Antragsteller Olderog, Ernst-Rüdiger ; Taentzer, Gabriele )
  - Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen
    (Antragstellerin Wehrheim, Heike )
  - Rechtliche, insbesondere verbraucherschutzrechtliche, und technische Lösungen zur Realisierung von Vertragsabschlüssen über mobile Endgeräte
    (Antragstellerinnen / Antragsteller Boll, Susanne ; Taeger, Jürgen )
  - Restriktionsbehandlung für stochastische Kovarianzmatrix-Adaptation und ihre Anwendung auf ingenieur- und geowissenschafltiche Optimierungsprobleme
    (Antragsteller Kramer, Oliver )
  - SOCIAL Ermöglichen spontaner sozialer Kommunikation in räumlich verteilten Gruppen durch Nutzung intelligenter Umgebungen
    (Antragstellerinnen / Antragsteller Boll, Susanne ; Freksa, Ph.D., Christian )
  - VaST - Validierung von Software Transaktionalem Speicher
    (Antragstellerin Wehrheim, Heike )
  - Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER)
    (Antragsteller Müller, Norbert )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Entwurfstechniken für selbstoptimierende Multiagentsysteme mit mechatronischen Komponenten
    (Teilprojektleiterinnen / Teilprojektleiter Schäfer, Wilhelm ; Wehrheim, Heike )
  - Kompositionsanalyse in unsicheren Kontexten
    (Teilprojektleiterinnen / Teilprojektleiter Becker, Steffen ; Hüllermeier, Eyke ; Wehrheim, Heike )
  - Proof-Carrying Services
    (Teilprojektleiterinnen / Teilprojektleiter Bodden, Eric ; Platzner, Marco ; Wehrheim, Heike )
Graduiertenkollegs
- laufende Projekte
  - GRK 2972: CAUSE Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen
    (Sprecher Fey, Görschwin )
- abgeschlossene Projekte
  - GRK 1076: Vertrauenswürdige Software Systeme - Konstruktion, Zertifizierung, Einsatz
    (Sprecher Hasselbring, Wilhelm ; Olderog, Ernst-Rüdiger )
  - GRK 1765: Systemkorrektheit unter widrigen Umständen - SCARE
    (Sprecher Olderog, Ernst-Rüdiger )
Transregios
- abgeschlossene Projekte
  - Automatische Stabilitätsbeweisführung für Hybride Systeme
    (Teilprojektleiterinnen / Teilprojektleiter Fränzle, Martin ; Hermanns, Holger ; Podelski, Andreas ; Theel, Oliver ; Wolf, Verena )
  - Automatisierte Verifikation kooperierender Verkehrssysteme
    (Teilprojektleiterinnen / Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Constraint-basierte Verfikation hybrider Systeme
    (Teilprojektleiter Althaus, Ernst ; Becker, Bernd ; Fränzle, Martin ; Weidenbach, Christoph )
  - Dynamische Kommunikationssysteme
    (Teilprojektleiter Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
  - Exakte Nichterreichbarkeitsanalyse für eingebetteten C Code durch arithmetisches Constraint Solving
    (Teilprojektleiter Becker, Bernd ; Fränzle, Martin )
  - TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme
    (Sprecher Damm, Werner )
  - Über Realzeitautomaten hinaus
    (Teilprojektleiterinnen / Teilprojektleiter Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
  - Verifikation von Verlässlichkeitseigenschaften
    (Teilprojektleiterinnen / Teilprojektleiter Becker, Bernd ; Hermanns, Holger ; Theel, Oliver ; Wolf, Verena )
  - Zeitanalyse, Scheduling und Verteilung von Echtzeittasks
    (Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )
  - Zentrale Aufgaben des SFB/Transregio
    (Teilprojektleiter Becker, Bernd ; Damm, Werner ; Finkbeiner, Bernd )

© 2024 DFG Kontakt / Impressum / Datenschutz