Arbeitsgruppe Zuverlässige Systeme

Kontakt

Leiter
Prof. Dr. Dirk Nowotka

Postadresse
Universität Kiel
Institut für Informatik
24098 Kiel

Besucheradresse
Universität Kiel
Institut für Informatik
Christian-Albrechts-Platz 4
24118 Kiel

Lage

Neue Publik.

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)

Programm Theorietage

ProgrammTT-days.pdf — PDF document, 100 KB

ProgrammTT-days.pdf — PDF document, 100 KB

ProgrammTT-days.pdf — PDF document, 100 KB

ProgrammTT.pdf — PDF document, 57 KB

ProgrammTT.pdf — PDF document, 57 KB

ProgrammTT-days.pdf — PDF document, 101 KB