Skip to content

Author

Tobias Hey

Karlsruhe Institute of Technology (KIT)

We have 4 of 29 papers

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.

#small language model Book Oct 2026

Evaluating Embedding Models and Preprocessing for Retrieval of MDE Elements in RAG Systems

In an evaluation on two PREEvision Electric/Electronic-architecture models using automatically derived questions, it is found that text embedding models are capable of capturing the semantics of model elements, however, they often only find anchor points in the model and struggle to retrieve all relevant model elements...

Julian Roßkothen, David Inca Pilco, Tobias Hey et al. · 0 citations
Conference Open access Aug 2026

On Converting Natural Language Requirements into Semi-Formal Templates Using LLMs

Context and Motivation] Semi-formal syntax templates for natural language requirements positively impact various requirements metrics, such as singularity. Using templates such as MASTeR or EARS also improves understandability. Requirements that conform to templates are easier for humans to understand than unrestricted...

Julian Roßkothen, Dominik Fuchß, Florian Erdösi et al. · 1 citation
Conference Open access Aug 2026

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
Book 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.

Tian-Hai Liu, Maximilian Müller, Tobias Hey et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.