Mitarbeiter

Prof. Dr. Christoph Lüth

  • Adresse (Bremen)
    MZH
    Bibliothekstraße 1
    D-28359 Bremen

Publikationen

Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

Zur Publikation
Rolf Drechsler, Christoph Lüth, Goerschwin Fey, Tim Güneysu

In: 3rd International Verification and Security Workshop (IVSW). International Verification and Security Workshop (IVSW-03) July 2-4 Platja d'Aro Spain 2018.

Zur Publikation
Christoph Lüth, Martin Ring, Rolf Drechsler

In: Sunil Khatri (Hrsg.). 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on Reliability, Infocom Technologies and Optimization (ICRITO-2017) 6th September 20-23 Noida India IEEE 9/2017.

Zur Publikation

Profil

Projekte

SELFIE


Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert

den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel

des Projektes SELFIE ist daher ein fundamentaler...

SPECifIC


Quality-driven Design Flow using Formal Specifications and Functional Change Management

Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physikalische Systeme, der den extrem gestiegenen Anforderungen an die Qualität und...

IGEL


Sicherer Kegelscanner

Im Projekt IGEL wird eine Sicherungskomponente (Sicherheits-Laserscanner) entwickelt, welche zur Kollisionsvermeidung von autonomen, halbautonomen oder gesteuerten Fahrzeugen in industriellen...

IGEL

SAMS


Sicherungskomponente für Autonome Mobile Systeme

Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit einem zertifizierten Sicherheits-Laserscanner die...

SAMS

PGKit


Generische Benutzerschnittstellen für interaktive Theorembeweiser

Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware und standardisierten Schnittstellen.

Partner

IBM...