Projects

Page 1 of 1.

DataNord - MRI4ALL - Research Academy Projekt MRI4AII des Interdisziplinären Datenkompetenzzentrums für die Region Bremen - DataNord; Teilvorhaben:
In close cooperation within the U Bremen Research Alliance (UBRA) and with other partners, the University of Bremen is establishing a data competence …
FAIRe - Frugal Artificial Intelligence in Resource-limited environments
Artificial intelligence (AI) is finding increasingly diverse applications in the physical world, especially in embedded, cyber-physical devices with …
SASPIT - A Safe and Secure Sensor Platform for the Internet of Things
The goals of the SASPIT project are to develop an open IoT sensor platform with end-to-end security guarantees for the correctness, integrity and …
ECXL - An Extensible and Consistent Cross-Level RISC-V Verification Platform
The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …
KIMBi - Auf dem Weg zur KI-gestützten intelligenten Magnetresonanz-Bildgebung
Es soll ein System entwickelt werden, das die Magnetresonanztomographie (MRT) für KI-
Anwendungen zugänglich macht. Die MRT ist die flexibelste und …
VE-HEP - Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors
The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, …
VeryHuman - Learning and Verifying Complex Behaviour of Humanoid Robots
The validation of systems based on deep learning for use in safety-critical applications proves to be inherently difficult, since their subsymbolic …
KI-SIGS - AI-Space for Intelligent Health Systems
In the project KI-SIGS (AI-Space for Intelligent Health Systems), companies, universities and research institutions from Northern Germany are pooling …
Fast&Slow - Combination of Symbolic and Subsymbolic Methods
Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable
statement …
SELFIE - Self-Verification of Electronic Systems
The exponential growth of the complexity of electronic systems makes it
increasingly diffult to prove their correctness (verification). Addressing
this …
SPECifIC - Quality-driven Design Flow using Formal Specifications and Functional Change Management
The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the …
IGEL - Sicherer Kegelscanner
In this project a safety component (safety laser scanner) is developed that provides collision avoidance for vehicles in industrial settings using an …
SAMS - Safety component for autonomous mobile service robots
The aim of the SAMS project is the development of a certifiable safety system for service robots and driverless transport vehicles, which uses a …
PGKit - Generic User Interfaces for Interactive Theorem Provers
Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between …
AWE - Abstraction and Reuse of Formal Developments
The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan Abstracti …