Julian Klein

According to our database, Julian Klein authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata.

Julian Klein, Kuize Zhang, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2025

2024

Verifying Opacity of Discrete-Timed Automata.

Julian Klein, Paul Kogel, Sabine Glesner

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Efficient State Estimation of Discrete-Timed Automata.

Julian Klein, Paul Kogel, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2024

A Systematic Study on the Potentials and Limitations of LLM-assisted Software Development.

Chiara Michelutti, Jens Eckert, Milko Monecke, Julian Klein, Sabine Glesner

Proceedings of the 2nd International Conference on Foundation and Large Language Models, 2024