Dependable Systems Group

Contact

Group Leader
Prof. Dr. Dirk Nowotka

Postal Address
Kiel University
Dept. of Computer Science
24098 Kiel
Germany

Visitor Address
Kiel University
Dept. of Computer Science
Christian-Albrechts-Platz 4
24118 Kiel
Germany

Location

Latest Publ.

Lagrange’s Theorem for Binary Squares, MFCS 2018 (P. Madhusudan, D. Nowotka, A. Rajasekaran, J. Shallit)

Rollercoasters and Caterpillars, ICALP 2018- Track A (T. Biedl, A. Biniaz, R. Cummings, A. Lubiw, F. Manea, D. Nowotka, J. Shallit)

An optimal bound on the solution sets of one-variable word equations and its consequences, ICALP 2018- Track B (D. Nowotka, A. Saarela)

A modal mu perspective on solving parity games in quasi-polynomial time, LICS 2018(M. K. Lehtinen)

Statistical Model Checking of LLVM Code, FM 2018(A. Legay, D. Nowotka, D. Poulsen and L.-M. Traonouez)

Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs, SIES 2018(M. Friese, T. Ehlers, D. Nowotka)

WORDS 2015 online

Aug 11, 2014

The WORDS 2015 conference webpage is online from now on!