6 citations · 7 across the 2 of their papers we have counts for
3 papers
cs.DM2020★ 1 cited
Generating random bigraphs with preferential attachment
Dominik Grzelak, Barbara Priwitzer, Uwe Aßmann
The bigraph theory is a relatively young, yet formally rigorous, mathematical framework encompassing Robin Milner's previous work on process calculi, on the one hand, and provides…
cs.PL2020★ 6 cited
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Johannes Mey, Thomas Kühn, René Schöne +1
Context: Domain-specific languages (DSLs) enable domain experts to specify tasks and problems themselves, while enabling static analysis to elucidate issues in the modelled domain…
cs.LG2019
Parameter Tuning for Self-optimizing Software at Scale
Dmytro Pukhkaiev, Uwe Aßmann
Efficiency of self-optimizing systems is heavily dependent on their optimization strategies, e.g., choosing exact or approximate solver. A choice of such a strategy, in turn, is in…