Prof. Dr. Dieter Hutter
Organisationseinheit
Cyber-Physical Systems
Adresse
(Bremen)
Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen
Publikationen
Alle PublikationenProfil
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 MethodenDeep-Learning-Verfahren werden in vielen Anwendungsgebieten
eingesetzt und arbeiten nach einer Trainingsphase sehr effizient. Allerdings kann über ihre Korrektheit im allgemeinen keine verlässliche…
SecProPort
Skalierbare Sicherheitsarchitekturen für die Geschäftsprozesse in deutschen HäfenModerne 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,…
SATiSFy
Validierung von SAfeTy- und Security-Anforderungen in autonomen FahrzeugenZiel 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…
SaferApps
Sichere Ausführung von Fremdapplikationen in einer UnternehmensinfrastrukturZiel 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 2Das 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,…