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.

The Power of String Solving: Simplicity of Comparison, AST 2020 (M. Kulczynski, F. Manea, D. Nowotka, D. Poulsen)

Rule-based Word Equation Solving, FormaliSE 2020 (J. Day, M. Kulczynski, F. Manea, D. Nowotka, D. Poulsen)

Estimating End-to-End Latencies in Automotive Cyber-physical Systems, MARS 2020 (M. Friese, D. Nowotka)

Scattered Factor-Universality of Words, DLT 2020 (L. Barker, P. Fleischmann, K. Harwardt, F. Manea, D. Nowotka)

Reconstructing Words from Right-Bounded-Block Words, DLT 2020 (P. Fleischmann, M. Lejeune, F. Manea, D. Nowotka. M. Rigo)

On Collapsing Prefix Normal Words, LATA 2020 (P. Fleischmann, M. Kulczynski, D. Nowotka, D. Poulsen)

Hide and seek with repetitions, J. Comput. Syst. Sci., 2019 (P. Gawrychowski, F. Manea, R. Mercas, D. Nowotka)

Rollercoasters: Long Sequences without Short Runs, SIAM J. Discrete Math., 2019 (T. Biedl, A. Biniaz, R. Cummings, A. Lubiw, F. Manea, D. Nowotka, J. Shallit)

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)