A Systematic Study on the Potentials and Limitations of LLM-assisted Software Development. - Chiara Michelutti; Jens Eckert; Milko Monecke; Julian Klein 001; Sabine Glesner (FLLM, 2024)

Efficient State Estimation of Discrete-Timed Automata. - Julian Klein 001; Paul Kogel; Sabine Glesner (ICFEM, 2024)

Verifying Opacity of Discrete-Timed Automata. - Julian Klein 001; Paul Kogel; Sabine Glesner (FormaliSE@ICSE, 2024)