If-Next-Also-Else: Controlling Graph Transformation Abstract: Graph transformation is a declarative, rule-based formalism. However, when using it in practice, it is convenient to schedule rules explicitly, and not just rely on their own application conditions, even though such scheduling adds an … Continue reading →
An Integrated Verification Architecture Abstract: Research in formal verification is hampered by a lack of an integrated verification architecture. Each verification tool in development typically uses its own language for models and properties. This fact means that when a designer … Continue reading →
Referent: Dipl.-Inform. Oliver Göbel Titel: Online Resource Allocation on Stochastic Input Models Abstract: The characteristic of online algorithms is that the input is not given at once but it is revealed stepwise in rounds. An online algorithm must make irrevocable decisions upon … Continue reading →