Teaching
Course information can be found in LFU: here
If you are interested in a topic, or want to propse a topic in the area of Runtime Monitoring, Cyber-Physical Systems, Software Engineering or Learning Analytics, please contact
Available MSC Thesis Topics:
DSL-based Safety Guardrails for LLM Applications
LLM-based applications need safety checks, for example on prompts, generated outputs, or tool calls. Today, these checks - if done so - are implemented in ad hoc if a problem is detected. This makes them hard to reuse, maintain, and reason about.
Dynamic/Iterative Planning for Robotic Systems
Mission planning is a fundamental problem in mobile robotics. Domain-independent planners and the PDDL language, provide a standard and flexible framework for solving such planning problems.
Extending PDDL with Quality Preference/Attributes
PDDL, the Planning Domain Definition Language, is a computer-readable language used in the field of artificial intelligence and automated robotic planning. It is specifically designed for defining the details of planning problems and domains in the context of automated planning and scheduling systems.
Available BSC Thesis Topics:
A Frontend for Real-Time Data Management in Simulated Mars Expeditions
The bachelor's thesis, developed in collaboration with the Austrian Space Forum (ÖWF) in Innsbruck, focuses on the conception and development of a frontend application for managing and visualizing telemetry data in simulated Mars expeditions organized by the ÖWF.
Value-Related Requirements Support für Jira: Forge-Plugin zur Operationalisierung von Human Values
Ziel der Arbeit ist es, ein Jira-Forge-Plugin zu entwickeln, das Human-Values als Teil von Requirements bzw. User Stories in Jira Cloud umsetzt.
Active BSC/MSC Theses:
Refactoring und Erweiterung eines webbasierten Seminar Management Tools
Ziel der Arbeit ist die Weiterentwicklung eines bestehenden webbasierten Seminar Management Tools durch gezieltes Refactoring sowie die Umsetzung neuer Anforderungen aus dem Stakeholder-Feedback. Im Fokus stehen die Verbesserung von Usability und Workflows, die Erweiterung funktionaler Anforderungen sowie die nachhaltige Weiterentwicklung der bestehenden Systemarchitektur.
Automatisierte Unterstützung für Szenario-basiertes Testen mittels MCP-gestützter Multi-Agenten-Architektur
Ziel der Arbeit ist die, Konzeption und Implementierung einer skalierbaren Multi-Agenten-Architektur, die mittels Model Context Protocol (MCP) und Retrieval-Augmented Generation (RAG) unstrukturierte Anforderungen in formal spezifizierte, ausführbare Test-Szenarien transformiert.
Predicting Human Values in Software Requirements with Machine Learning
The master’s thesis should explore the potential of machine learning (ML) methods to automatically identify and predict human values in software requirements.
AI-Agent Support for Requirements Engineering
The master’s thesis should investigate the potential of multi-agent systems (MAS), possibly enhanced with Large Language Models (LLMs), for supporting requirements engineering processes.
A Software Architecture for Sensor Data Collection and Transmission in Analog Space Suit Systems
Design and implement a software architecture for sensor data collection and transmission in analog space suit systems.
Analyse und Implementierung einer modularen Warenwirtschaft in medizinischen Informationssystemen unter Beruecksichtigung von Softwarequalitätsaspekten
Ziel der Arbeit ist, die Konzeption und Umsetzung einer .
Value Mapping mit LLM Support
Ziel der Arbeit ist es, ein Werkzeug zu entwickeln, das Large Language Models (LLMs) nutzt, um Werte (Human Values) aus in natürlicher Sprache definierten Requirements automatisch zu erkennen, diesen zuzuordnen und in einem Value-Mapping-Prozess für Softwareprojekte nutzbar zu machen.
Eine DSL für Value-related Requiements
Ziel der Arbeit ist es, eine domänenspezifische Sprache (DSL) zu entwerfen und zu implementieren, die es ermöglicht, Werte (Human Values) explizit in Requirements zu modellieren und dadurch die Grundlage für Value-Sensitive Design in Softwareprojekten zu schaffen.
Entwicklung eines UMLet Plugins zur automatischen, LLM-unterstützten Generierung von UML-Diagrammen
Ziel der Arbeit ist es, ein UMLet-Plugin zu entwickeln, das automatisch von Large Language Models (LLMs) generierte Requirements integriert, visualisiert und in UML-Diagrammen nutzbar macht.
Graph‑basierte Verwaltung und Visualisierung von Kursen und Kompetenzen in Curricula
Ziel der Arbeit: Ziel der Arbeit ist es, ein Tool zur graph‑basierten Modellierung, Verwaltung und Visualisierung von Kursen und Kompetenzen in universitären Curricula zu entwickeln. Dabei soll untersucht werden, wie sich Abhängigkeiten zwischen Kursen, Lernzielen und Kompetenzen effizient darstellen und interaktiv visualisieren lassen, um Studierenden, Lehrenden und Studienplanverantwortlichen eine transparente und intuitive Übersicht über Kompetenzaufbau und Kursstruktur zu bieten.
Entwurf und Implementierung einer webbasierten, blockbasierten Lernplattform mit auto-gestütztem Grading für Schüler:innen
Ziel der Arbeit ist, die Konzeption und prototypische Umsetzung einer webbasierten Lernplattform, die speziell auf die Bedürfnisse von Kindern im Alter von 8 bis 12 Jahren zugeschnitten ist. Im Mittelpunkt steht die Vermittlung grundlegender Programmierkonzepte mithilfe einer blockbasierten Entwicklungsumgebung, die einen niedrigschwelligen Einstieg in die Informatik ermöglicht.