Universität Bremen
Fachbereich Mathematik und Informatik
Arbeitsgruppe Rechnerarchitektur
Adresse
Bibliothekstraße 1
28359 Bremen
Deutschland
GERiT
Diese Institution in GERiT
28359 Bremen
Projekte
Sachbeihilfen
laufende Projekte
Freischaltung analoger Funktionen und volle Parallelität für die HDL-basierte Synthese von PLiM
(Antragstellerinnen / Antragsteller
Drechsler, Rolf
;
Shirinzadeh, Saeideh
)
abgeschlossene Projekte
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
(Antragsteller
Drechsler, Rolf
)
Förderung von Kompetenzen der mathematischen Modellierung
(Antragstellerin
Große, Cornelia S.
)
Formale Methoden zur Energie-sicheren Testerzeugung für digitale Schaltungen
(Antragsteller
Drechsler, Rolf
)
Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf
(Antragsteller
Drechsler, Rolf
)
Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene
(Antragsteller
Drechsler, Rolf
)
Implementierungsaspekte alternativer asymmetrischer Kryptoverfahren
(Antragsteller
Drechsler, Rolf
)
MANIAC: BDD Manipulation für Approximate Computing
(Antragsteller
Drechsler, Rolf
)
Qualitätsorientierte Synthese großer Funktionen in reversibler Logik
(Antragsteller
Drechsler, Rolf
)
Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
(Antragsteller
Becker, Bernd
)
Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
(Antragsteller
Molitor, Paul
)
VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise
(Antragsteller
Drechsler, Rolf
;
Große, Daniel
;
Scholl, Christoph
)
Reinhart Koselleck-Projekte
laufende Projekte
PolyVer: Polynomiale Verifikation elektronischer Schaltungen
(Antragsteller
Drechsler, Rolf
)
abgeschlossene Projekte
Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
(Antragsteller
Drechsler, Rolf
)
Sonderforschungsbereiche
abgeschlossene Projekte
Formalisierung und Eigenschaften von Plänen
(Teilprojektleiter
Drechsler, Rolf
;
Große, Daniel
)
Heuristische, statistische und analytische Versuchsplanung
(Teilprojektleiter
Drechsler, Rolf
;
Maaß, Peter
)
Prädiktorfunktion
(Teilprojektleiter
Drechsler, Rolf
)
Infrastruktur-Schwerpunktprogramme
abgeschlossene Projekte
Erste niederfrequente 3D Seismikerkundung des tiefen hydrothermal-magmatischem Systems und der Architektur der Campi Flegrei Caldera zur Unterstützung eines amphibischen ICDP/IODP Bohrvorhabens
(Antragsteller
Spieß, Volkhard
)
Schwerpunktprogramme
laufende Projekte
EMBOSOM - Sicherheit eingebetteter Software durch moderne emergente Hardware-Paradigmen.
(Antragsteller
Drechsler, Rolf
;
Güneysu, Tim Erhan
;
Lüth, Christoph
;
Sasdrich, Pascal
)
OnE-Secure - Absicherung moderner Chips gegen Angriffe mit Hilfe hochauflösender berührungsloser optischer und Elektronenstrahlprüfung
(Antragsteller
Brand, Sebastian
;
Drechsler, Rolf
;
Seifert, Jean-Pierre
;
Sill Torres, Frank
)
abgeschlossene Projekte
OptiSecure – Absicherung von Nanoschaltungen gegen optische Sondierungsangriffe
(Antragsteller
Drechsler, Rolf
;
Seifert, Jean-Pierre
;
Sill Torres, Frank
)
Großgeräteinitiative
abgeschlossene Projekte
Hochflexible Materialsynthese und Mikrostruktureinstellung durch kombiniertes Laserauftragschweißen und Kurzzeitwärmebehandlung für die Hochdurchsatzmaterialentwicklung.
Graduiertenkollegs
laufende Projekte
GRK 2972: CAUSE Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen
(Sprecher
Fey, Görschwin
)
