Best Paper Award für Ami Paz (Forschungsgruppen CT & TAA) et al. auf dem 21st International Symposium on Stabilization, Safety, and Security of...
Das Thema Third Mission stand bei der Trilateralen Tagung „Gesellschaftliche Verantwortung von Universitäten – Möglichkeiten und Grenzen“ am...
Von 6. bis 17. Juli 2020 findet abermals die Next Generation Enterprise Modelling (NEMO) Summer School an der Fakultät für Informatik statt. Die von...
on "Towards Automatic Runtime Verification of P4 Switches"
on "The Bouncer Problem: Challenges to Remote Explainability ?"
Zusammen mit Univ.-Prof. Dr. Nikolaus Forgó (Institut für Innovation und Digitalisierung im Recht) und Dr. Bernhard Haslhofer (Center for Digital...
