Detailseite

Professor Dr. Rolf Drechsler

Adresse Universität Bremen
Fachbereich Mathematik und Informatik
Arbeitsgruppe Rechnerarchitektur
Bibliothekstraße 1
28359 Bremen

Projekte

Als Antragsteller
- laufende Projekte
  - PolyVer: Polynomiale Verifikation elektronischer Schaltungen (Reinhart Koselleck-Projekte)
  - VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise (Sachbeihilfen)
  - OptiSecure – Absicherung von Nanoschaltungen gegen optische Sondierungsangriffe (Schwerpunktprogramme)
  - Freischaltung analoger Funktionen und volle Parallelität für die HDL-basierte Synthese von PLiM (Sachbeihilfen)
  - EMBOSOM - Sicherheit eingebetteter Software durch moderne emergente Hardware-Paradigmen. (Schwerpunktprogramme)
  - OnE-Secure - Absicherung moderner Chips gegen Angriffe mit Hilfe hochauflösender berührungsloser optischer und Elektronenstrahlprüfung (Schwerpunktprogramme)
- abgeschlossene Projekte
  - Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene (Sachbeihilfen)
  - Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf (Sachbeihilfen)
  - Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern (Sachbeihilfen)
  - Qualitätsorientierte Synthese großer Funktionen in reversibler Logik (Sachbeihilfen)
  - Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf (Reinhart Koselleck-Projekte)
  - Implementierungsaspekte alternativer asymmetrischer Kryptoverfahren (Sachbeihilfen)
  - MANIAC: BDD Manipulation für Approximate Computing (Sachbeihilfen)
  - Formale Methoden zur Energie-sicheren Testerzeugung für digitale Schaltungen (Sachbeihilfen)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Prädiktorfunktion (Sonderforschungsbereiche)
  - Heuristische, statistische und analytische Versuchsplanung (Sonderforschungsbereiche)
  - Formalisierung und Eigenschaften von Plänen (Sonderforschungsbereiche)
Als Beteiligte Person
- abgeschlossene Projekte
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen (Sachbeihilfen)
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen (Sachbeihilfen)
Als Mitverantwortlich
- abgeschlossene Projekte
  - Hochflexible Materialsynthese und Mikrostruktureinstellung durch kombiniertes Laserauftragschweißen und Kurzzeitwärmebehandlung für die Hochdurchsatzmaterialentwicklung. (Großgeräteinitiative)

Servicenavigation

Hauptnavigation

Professor Dr. Rolf Drechsler

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Rolf Drechsler

Zusatzinformationen

Textvergrößerung und Kontrastanpassung