AGRA | Beendete Projekte

HOME | KONTAKT |

Switch EN

Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Beendete Projekte

« zurück

In der folgenden Übersicht sind alle Forschungsprojekte mit beendeter Laufzeit abgebildet:

MANIAC: BDD Manipulation für Approximate Computing

Laser-Auftragschweißen für Hochdurchsatzuntersuchungen und additive 3-D- Fertigungen komplexer Legierungen und Verbundwerkstoffe

Identifying Additive Manufacturing Process Windows by Artificial Intelligence

FormalEST

NANOTEST

Sonderforschungsbereich 1320: EASE – Everyday Activity Science and Engineering

Sonderforschungsbereich 1232: Von farbigen Zuständen zu evolutionären Konstruktionswerkstoffen

CONFIRM: Automatisierter Firmware-Entwurf für anwendungsspezifische Elektroniksysteme

Automatische Testgenerierung für Multi-Core Virtuelle Prototypen

Schnelle formale Verifikation durch Reverse Engineering

EffektiV: Effiziente Fehlereffektsimulation mit virtuellen Prototypen zur Qualifikation intelligenter Motion-Control-Systeme in der Industrieautomatisierung

Entwicklung eines modularen Frameworks für die automatische Validation and Verifikation von UML/OCL-Modellen

Synthese reversibler Schaltungen mit Hilfe Probabilistischer Methoden

Verwendung von reversibler Logik zum Bau von Low-Power Schaltungen

Förderung von Kompetenzen der mathematischen Modellierung

Generierung von hochwertigen Testmustern für geringe Verzögerungsfehler

SolVerTec – Solution Verification Technologies

VisES: Visualisierungstechnologien für komplexe Systembeschreibungen zur Verbesserung der Sicherheit und Robustheit elektronischer Systeme

RESCAR 2.0 - Robuster Entwurf von neuen Elektronikkomponenten für Anwendungen im Bereich Elektromobilität

Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf

Synthese und Optimierung von Quantenlogik

Debugging Eingebetteter Systeme

DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

SANITAS: Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette

Qualitätsorientierte Synthese großer Funktionen in reversibler Logik

Qualitätsorientierter Entwurf von Systemen mit rekonfigurierbaren Komponenten

Visualisierung von Schaltungen und Systemen

Analysemethoden für den Entwurf anwendungsrobuster nanoelektronischer Systeme (URANOS)

Hierarchische und sequentielle Informationen für Erfüllbarkeitsbeweise im computergestützten Schaltkreisentwurf

Erreichbarkeitsanalyse unter Verwendung von Wortebenen-Beweisern

Entwurfsmethodik für Eingebettete Systeme

DeAR: Debugging von Schaltkreisen mittels Abstraktions- und Verfeinerungstechniken

Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern

Neue Methoden für den Massiv-Parallel-Test im Hochvolumen, Yield Learning und beste Testqualität (MAYA)

HERKULES: Hardwareentwurfstechnik für Null-Fehler-Designs

Manipulation Boolescher Funktionen mit hybriden Datenstrukturen

Verisoft XT

Synthese zuverlässiger Quantenschaltkreise

Formaler Robustheitsnachweis

Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene

Schaltungs- und Systemverifikation auf der Wort-Ebene

Debugging in der formalen Modulverifikation

Implementing Modules and ECTS for Computer Studies

Effiziente Methoden zum Debugging von Schaltungen und Systemen

Testsynthese von Schaltungen geringer Laufzeit

Pilot Implementation of ECTS

Verisoft

©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz