| Titel | Typ | Betreuung | Bearbeitung |
|---|---|---|---|
| Quantum Software Templates | Masterarbeit / Bachelorarbeit | Vergeben | |
| Resource Consumption in by-Construction Engineering | Masterarbeit / Bachelorarbeit | Offen | |
| Synthesizing CbC Programs From Formal Specifications using LLMs | Masterarbeit | Offen |
| Titel | Typ | Betreuung | Bearbeitung |
|---|---|---|---|
| Resource Consumption in by-Construction Engineering | Masterarbeit / Bachelorarbeit | Offen | |
| Quantum Software Templates | Masterarbeit / Bachelorarbeit | Vergeben | |
| Leveraging LLMs for Vulnerability Discovery in Highly-Configurable Software Systems | Bachelorarbeit | In Bearbeitung |