Dependable Systems Group

AirPortMover Project Kicked off

Jan 08, 2019

The joint project AirPortMover, funded by the federal government, has been kicked off on December 1, 2018. For the next three years, two full-time researchers will investigate the area of safety of autonomous vehicles in the particular application context of airports. What are the (new) safety requirements of autonomous cars? How can we (efficiently) make sure those requirements are really fulfilled by an actual system? What are the right safety questions in the context of systems using artificial intelligence? We are going to address these and other challenges together with our partners Fraport, IBEO, Airbus, HFM and TÜV Nord.

Digital Future in the State of Schleswig-Holstein

Jan 08, 2019

Some ideas on how to take the next steps in the digital age in our state Schleswig-Holstein have been posted on our new departmental blog.

MFCS 2018 Best Paper Award

Jan 08, 2019

We received the best paper award on the 43th International Symposium on Mathematical Foundations of Computer Science (MFCS) for the contribution Lagrange’s Theorem for Binary Squares (P. Madhusudan, D. Nowotka, A. Rajasekaran, J. Shallit).

ICALP 2018 Best Paper Award

Jan 08, 2019

We received the best paper award on the 45th International Colloquium on Automata, Languages, and Programming, Track B (ICALP), for the contribution An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences (D. Nowotka, A. Saarela).

IEEE SIES 2018 Best Paper Award

Jan 08, 2019

We received the best paper award on the 13th International IEEE Symposium on Industrial Embedded Systems (SIES) for the contribution Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs (T. Ehlers, M. Friese, D. Nowotka).