Professor Dr. Wolfgang Rosenstiel (†)

Projects

As Applicant
- Completed projects
  - Hierarchische Synthese für anwendungsspezifische Prototypenimplementierungen (Priority Programmes)
  - Entwicklung einer Architektur für das Prototyping von Realzeitsystemen mit Unterstützung von High-Level Debugging-Methoden (Priority Programmes)
  - Objektorientierter Entwurf hochkomplexer Hardware/Software-Probleme (Research Grants)
  - Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren (Priority Programmes)
  - Maschinelles Lernen zur automatisierten Merkmalsextraktion und Klassifikation von EEG-Signalen für Gehirn-Computer-Kommunikationssysteme (Research Grants)
  - Assessment and Design Techniques for Processor-Like Reconfigurable Architectures (Priority Programmes)
  - Kopplungsmerkmale zur Klassifikation von MEG-Signalen für Gehirn-Computer-Kommunikationssysteme (Research Grants)
  - Architecture and Design Methodology for Autonomic Systems on Chip (Priority Programmes)
  - Efficient Distributed Bounded Property Checking (Research Grants)
  - Self-adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems (Priority Programmes)
As Spokesperson
- Completed projects
  - SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme (Priority Programmes)
As Participating Researcher
- Current projects
  - EXC 2064: Machine Learning: New Perspectives for Science (Clusters of Excellence (ExStra))
- Completed projects
  - GRK 441: Chemistry in Interphases - Synthesis, Dynamics, and Application of Polymer-Anchored Active Centers (Research Training Groups)
  - GSC 1028: Learning, Educational Achievement and Life Course Development: An Integrated Research and Training Programme (Graduate Schools)
As Project Head
- Completed projects
  - Automatisierte Synthese fuer parallele Rechnerstrukturen (Collaborative Research Centres)
  - Hardware/Software Partitionierung und Entwurfs-Transformationen (Collaborative Research Centres)
  - Verfahren zur Parallelisierung der Simulation physikalischer Prozesse mit Objektorientierten Methoden (Collaborative Research Centres)
As Participating Person
- Completed projects
  - Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen (Research Grants)
As Co-Investigator
- Completed projects
  - Resilience Evaluation of Recognition and Planning Approaches in Cooperative Interacting Vehicles with Respect to Unexpected Disturbances (RESIST) (Priority Programmes)