Topic
|
Supervisors
|
Metamodellierung mit JSON
|
Thomas Weber, Martin Armbruster
|
Semantiken von Modelländerungen
|
Thomas Weber
|
Integration of Triple Graph Grammars in Vitruvius
|
Lars König
|
Designing a Model Transformation Language for Projective Views
|
Lars König
|
Design-time optimization of runtime adaptation strategies using evolutionary algorithms
|
Martina Rapp
|
Design-time optimization of runtime adaptation strategies using Reinforcement learning-based methods
|
Martina Rapp
|
Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen
|
Christopher Gerking
|
Kosten-Nutzen-Analyse imperativer Modelltransformationssprachen
|
Christopher Gerking
|
Modellierung von Angriffen für quantitative Sicherheitsanalysen
|
Frederik Reiche, Florian Lanzinger
|
Classification of composition operators for model-based analysis
|
Robert Heinrich, Bahareh Taghavi
|
Properties and Granularities of Transactions in the Development of Cyber-Physical Systems
|
Thomas Weber
|
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications
|
Robert Heinrich, Niclas Kannengießer
|
Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen
|
Christopher Gerking
|
Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen
|
Christopher Gerking
|