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.

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)

Dr. Manea im Lenkungsausschuss der CiE

30.08.2013

Dr. Florin Manea wurde in den Lenkungsausschuss der Konferenzreihe Computability in Europe aufgenommen.