Volker Stolz<p>New blog post: MSc theses on connecting RTLola via FMUs and a bit of a null-result on using LLMs for code generation</p><p>Two of my MSc students at <a href="https://mastodon.social/tags/UIO" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UIO</span></a> finished this summer, Selleban M. Farah on “FMUs for runtime monitoring in RTLola”, and Jonas da Silva on “Towards Automated Language Server Synthesis”.</p><p>Click on through for more details!</p><p><a href="https://selabhvl.github.io/science,/llms,/runtime/verification/2025/07/16/uiothesis.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">selabhvl.github.io/science,/ll</span><span class="invisible">ms,/runtime/verification/2025/07/16/uiothesis.html</span></a></p><p><a href="https://mastodon.social/tags/RuntimeVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RuntimeVerification</span></a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mastodon.social/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a></p>