Prof. Dr. Dieter Hutter

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

English

Mitarbeiter

Organisationseinheit
Cyber-Physical Systems

Kontakt
Telefon (Bremen): +49 421 218 59831
Dieter.Hutter@dfki.de
http://www.dfki.de/~hutter

Adresse (Bremen)
Mehrzweckhochhaus (MZH)
Bibliothekstraße 5
D-28359 Bremen

Publikationen

Rhea Rinaldo; Dieter Hutter

In: Maria Chiara Leva; Edoardo Patelli; Luca Podofillini; Simon Wilson (Hrsg.). 32nd European Safety and Reliability Conference. European Safety and Reliability Conference (ESREL-2022), August 28 - September 1, Dublin, Ireland, Research Publishing, Singapore, 2022.

Zur Publikation

Tobias Brandt; Dieter Hutter; Christian Maeder; Rainer Müller

In: IAME 2021 Conference 'Accelerating Transitions'. Conference of the International Association of Maritime Economists (IAME-2021), November 24-27, Rotterdam, Netherlands, http://arxiv.org/abs/2111.13436, 2021.

Zur Publikation

Rhea Rinaldo; Dieter Hutter

In: Sokratis K. Katsikas; Frederic Cuppens (Hrsg.). ESORICS 2020 workshops CyberICPS, SECPRE, ADIoT. International Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems (CyberICPS-2020), located at ESORICS 2020, September 14-18, online, United Kingdom, Lecture Notes in Computer Science (LNCS), Vol. 12501, Springer, 11/2020.

Zur Publikation

Alle Publikationen

Profil

Persönliche Angaben
Projekte

Dieter Hutter ist stellvertretender Bereichsleiter im Forschungsbereich Cyber-Physical Systems und Honorarprofessor an der Universität Bremen. Er studierte und promovierte an der Universität Karlsruhe, wo er 1983 das Diplom und 1991 den Doktortitel in Informatik erhielt. Der Schwerpunkt seiner Forschung liegt in den Bereichen Sicherheit, formale Methoden sowie im Change Management.

Dieter Hutter war und ist Mitglied im Programmkomitee von verschiedenen Konferenzen und Workshops. Zudem ist er Mitglied des Redaktionskomitees des Journal of Applied Logics und Mitinitiator des „Priority Programme 1496 - Zuverlässig sichere Softwaresysteme“ der Deutschen Forschungsgemeinschaft (DFG).

Fast&Slow

Kombination Symbolischer und Subsymbolischer Methoden

Deep-Learning-Verfahren werden in vielen Anwendungsgebieten

eingesetzt und arbeiten nach einer Trainingsphase sehr effizient. Allerdings kann über ihre Korrektheit im allgemeinen keine verlässliche…

Fast&Slow

SecProPort

Skalierbare Sicherheitsarchitekturen für die Geschäftsprozesse in deutschen Häfen

Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Jeder der am Hafentransport beteiligten Akteure (wie z.B. Terminalbetreiber, Reeder, Spediteure, Betreiber von Hafen-IT, Bahn,…

SecProPort

SATiSFy

Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen

Ziel dieses Projektes ist es, Techniken zur Erfassung und frühzeitigen Verifikation von Anforderungen für Systeme zur autonomen Fahrzeugführung zu entwickeln, um die notwendigen Security- und…

SATiSFy

SaferApps

Sichere Ausführung von Fremdapplikationen in einer Unternehmensinfrastruktur

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende Firmennetze zu integrieren, ohne die Sicherheit der…

MORES2

Modelling and Refinement of Security Requirements on Data and Processes 2

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen Aspekte der Workflowmodellierung (z.B. Tasks,…

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

Newsletter

Standorte

© DFKI, 2023

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

© DFKI, 2023