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

Detailseite

Person

Druckansicht

Professor Dr. Wolfgang Reisig

Adresse Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
10099 Berlin

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Kompositionale Verifikation von Netzwerkalgorithmen und reaktiven Systemen (Sachbeihilfen)
  - Konsens-Algorithmen für verteilte Systeme (Sachbeihilfen)
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie (Forschungsgruppen)
  - DNA-computing (Sachbeihilfen)
  - Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen (Sachbeihilfen)
  - Austauschbarkeit von Services (Sachbeihilfen)
  - Die Ausdruckskraft von Abstract State Machines (Sachbeihilfen)
  - Automatische Synthese von Verhaltensadaptern zwischen Services (Sachbeihilfen)
  - Zertifizierende Algorithmen für interaktive Komponenten und verteilte Systeme (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 1324: Modellbasierte Entwicklung von Technologien für selbstorganisierende dezentrale Informationssysteme im Katastrophenmanagement - METRIK (Graduiertenkollegs)
  - GRK 1651: Service-orientierte Architekturen zur Integration Software-gestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik (SOAMED). (Graduiertenkollegs)
Als Beteiligte Person
- abgeschlossene Projekte
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrinetz-Technologie (Forschungsgruppen)

© 2024 DFG Kontakt / Impressum / Datenschutz