
Dieter Hutter is vice director of the Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) and Honorary Professor at the Bremen University. He received the Diploma and Dr. rer. nat. degrees in computer science from the University of Karlsruhe, Germany, in 1983 and 1991, respectively. He works in the areas of security, formal methods and change management.
Dieter Hutter has been and still is a member of the Program Committees of numerous conferences and workshops and member of the editorial board of the Journal of Applied Logics, and co-initiator of the DFG Priority Programme 1496 on Reliabably Secure Software Systems.
Das bremische Programm für den Europäischen Fonds für Regionale Entwicklung (ERFE) 2021-2027 hat in seinem Operationellen Programm das Politische Ziel „Ein wettbewerbsfähigeres und intelligenteres…
In-Space Proof-of-Concept 3 is the third milestone in ESA’s in-space transportation roadmap, aiming at demonstrating the key enabling capabilities for on-board & shared intelligence, culminating at an…

Als eine Reihe von neuen Ethernet-Unterprotokollen zur Behandlung von Echtzeitanforderung, ermöglicht es Time Sensitive Networking (TSN) sowohl Standard IP-basierte Datenverkehre als auch…

Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable
statement can be made about their correctness. In contrast,…

Modern sea as well as domestic ports are more and more controlled by IT-systems. Each of the players involved in port operations (like terminal operator, shipping companies, forwarder, port…
