Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence

Mitarbeiter

Prof. Dr. Christoph Lüth

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

Publikationen

Better Late Than Never: Verification of Embedded Systems After Deployment

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

Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation

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

Towards a Methodology for Self-Verification

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
Alle Publikationen

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...

Alle Projekte ansehen

Folgen Sie uns auf:

Herausgeber

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)

Trippstadter Str. 122
67663 Kaiserslautern
Deutschland

Tel.: +49 631 20575 0
Fax: +49 631 20575 5030

Newsletter

Alle Ansehen

Standorte

© DFKI, 2019

© DFKI, 2019