Author

Tobias Hey

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review

Automated Generation of SysML Activity Diagrams from Industrial Requirements Using LLMs

Evaluated on real-world system-level requirements documents, comprising more than 720 requirements and 72 use cases, the approach generates system-level diagrams comparable to those created by experts and provides valuable architectural recommendations.

Bastian Franze, Dominik Fuchß, Friedrich Wattenberg et al. · 0 citations

Preprint Aug 2026

Can Formal Specifications Be Synthesized from Tests Alone?

This approach uses LLMs to infer candidate specifications solely from test code and dynamic execution traces: the LLM observes only the program interface, selected inputs, and corresponding outputs or state changes, while the implementation internals remain hidden.

Tianhai Liu, Maximilian Müller, Tobias Hey et al. · 0 citations