| Thema | BA | MA | Hilfskraft | Veröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt. |
|---|
| Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen | X | X | | Do 14. März 2024 |
| Kosten-Nutzen-Analyse imperativer Modelltransformationssprachen | | X | | Do 14. März 2024 |
| Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen | | X | | Do 14. März 2024 |
| Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen | X | X | | Do 14. März 2024 |
