Dependable Systems Group

Recent Publications

  • Weighted Prefix Normal Words: Mind the Gap, Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, and Dirk Nowotka, In DLT '21: 25th International Conference on Developments in Language Theory, August 16-20, 2021 in Porto, Portugal.
  • An SMT Solver for Regular Expressions and Linear Arithmetic over String Length, Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel Day, Dirk Nowotka, and Vijay Ganesh, In CAV'21: 33rd International Conference on Computer-Aided Verification, July 18-23, 2021 in Los Angeles, California, USA.
  • Analysis of Source Code Using UPPAAL, Mitja Kulczynski, Axel Legay, Dirk Nowotka, and Danny Bøgsted Poulsen, In F-IDE'21: 6th Workshop on Formal Integrated Development Environment, Affiliated to NASA Formal Methods 2021, May 24-25, 2021,Virtual event.
  • Reconstructing Words from Right-Bounded-Block Words, Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo, In International Journal of Foundations of Computer Science, 2021.

  • The Edit Distance to k-Subsequence Universality, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer, In STACS '21: 38th International Symposium on Theoretical Aspects of Computer Science, March 16-19, 2021 in Saarbrücken, Germany.

  • Blocksequences of k-local Words, Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck, In SOFSEM '21: 47th International Conference on Current Trends in Theory and Practice of Computer Science, January 25-29, 2021, Virtual event.