Tobias Kolzer

According to our database, Tobias Kolzer authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Automata-Represented Requirements in HanforPL - A Visual Approach for Requirements Engineering Practice and Formal Reasoning.

Tobias Kolzer, Vincent Langenfeld, Nico Hauff, Elisabeth Henkel, Andreas Podelski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2026

2025

Hanfor: Requirements Formalisation and Beyond.

Nico Hauff, Elisabeth Henkel, Tobias Kolzer, Vincent Langenfeld, Andreas Podelski

Proceedings of the Joint Proceedings of REFSQ 2025 Workshops, 2025