Professor Dr. Wolfgang Rosenstiel (†)

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Hierarchische Synthese für anwendungsspezifische Prototypenimplementierungen (Schwerpunktprogramme)
  - Entwicklung einer Architektur für das Prototyping von Realzeitsystemen mit Unterstützung von High-Level Debugging-Methoden (Schwerpunktprogramme)
  - Objektorientierter Entwurf hochkomplexer Hardware/Software-Probleme (Sachbeihilfen)
  - Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren (Schwerpunktprogramme)
  - Maschinelles Lernen zur automatisierten Merkmalsextraktion und Klassifikation von EEG-Signalen für Gehirn-Computer-Kommunikationssysteme (Sachbeihilfen)
  - Bewertungs- und Entwurfsverfahren für prozessorartig rekonfigurierbare Architekturen (Schwerpunktprogramme)
  - Kopplungsmerkmale zur Klassifikation von MEG-Signalen für Gehirn-Computer-Kommunikationssysteme (Sachbeihilfen)
  - Architecture and Design Methodology for Autonomic Systems on Chip (Schwerpunktprogramme)
  - Efficient Distributed Bounded Property Checking (Sachbeihilfen)
  - Selbstanpassende grobgranulare rekonfigurierbare Architekturen zur Erhöhung der Zuverlässigkeit von eingebetteten Systemen. (Schwerpunktprogramme)
Als Sprecher
- abgeschlossene Projekte
  - SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme (Schwerpunktprogramme)
Als beteiligter Wissenschaftler
- laufende Projekte
  - EXC 2064: Maschinelles Lernen: Neue Perspektiven für die Wissenschaft (Exzellenzcluster (ExStra))
- abgeschlossene Projekte
  - GRK 441: Chemie in Interphasen - Synthese, Dynamik und Anwendung polymerfixierter aktiver Zentren (Graduiertenkollegs)
  - GSC 1028: Lernen, Leistung und lebenslange Entwicklung: Ein integriertes Forschungs- und Ausbildungsprogramm (Graduiertenschulen)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Automatisierte Synthese fuer parallele Rechnerstrukturen (Sonderforschungsbereiche)
  - Hardware/Software Partitionierung und Entwurfs-Transformationen (Sonderforschungsbereiche)
  - Verfahren zur Parallelisierung der Simulation physikalischer Prozesse mit Objektorientierten Methoden (Sonderforschungsbereiche)
Als Beteiligte Person
- abgeschlossene Projekte
  - Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen (Sachbeihilfen)
Als Mitverantwortlich
- abgeschlossene Projekte
  - Resilienzbewertung von Wahrnehmungs- und Planungsansätzen in kooperativ interagierenden Automobilen bei unerwarteten Störungen (RESIST) (Schwerpunktprogramme)