Project Details

Professor Dr. Rolf Drechsler

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

Projects

As Applicant
- Current projects
  - PolyVer: Polynomial Verification of Electronic Circuits (Reinhart Koselleck Projects)
  - OptiSecure – Securing Nano-Circuits against Optical Probing (Priority Programmes)
  - Unlocking Analog Features and Full Parallelism for HDL-based Synthesis of PLiM (Research Grants)
  - EMBOSOM - Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms (Priority Programmes)
  - OnE-Secure: Securing State-of-the-Art Chips Against High-Resolution Contactless Optical and Electron-Beam Probing Attacks (Priority Programmes)
- Completed projects
  - Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene (Research Grants)
  - Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf (Research Grants)
  - Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern (Research Grants)
  - Qualitätsorientierte Synthese großer Funktionen in reversibler Logik (Research Grants)
  - Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf (Reinhart Koselleck Projects)
  - Implementation of Alternative Public-Key Cryptosystems on Embedded Systems (Research Grants)
  - MANIAC: BDD Manipulation for Approximate Computing (Research Grants)
  - Formal methods for the generation of power-safe test sets for digital circuits (Research Grants)
  - VerA: Fully Automatic Formal Verification of Arithmetic Circuits (Research Grants)
As Participating Researcher
- Current projects
  - GRK 2972: CAUSE Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems (Research Training Groups)
As Project Head
- Completed projects
  - Predictor function (Collaborative Research Centres)
  - Heuristic, statistical and analytical experimental design (Collaborative Research Centres)
  - Formalizations and properties of plans (Collaborative Research Centres)
As Participating Person
- Completed projects
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen (Research Grants)
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen (Research Grants)
As Co-Investigator
- Completed projects
  - Highly flexible material synthesis and microstructure adjustment through combined laser deposition welding and short-term heat treatment for high-throughput materials development (Major Instrumentation Initiatives)

Servicenavigation

Hauptnavigation

Professor Dr. Rolf Drechsler

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Rolf Drechsler

Additional Information

Textvergrößerung und Kontrastanpassung