Parameterized Verification of Communicating Automata under Context Bounds. - Benedikt Bollig; Paul Gastin; Jana Schubert (RP, 2014)

Ratio and Weight Quantiles. - Daniel Krähmann; Jana Schubert; Christel Baier; Clemens Dubslaff (MFCS (1), 2015)