h-Mitigators: Improving your stochastic network calculus output bounds P Nikolaus, J Schmitt, M Schütze Computer Communications 144, 188-197, 2019 | 9 | 2019 |
Reachability in Bidirected Pushdown VASS M Ganardi, R Majumdar, A Pavlogiannis, L Schütze, G Zetzsche arXiv preprint arXiv:2204.11799, 2022 | 7 | 2022 |
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality M Künnemann, F Mazowiecki, L Schütze, H Sinclair-Banks, K Węgrzycki arXiv preprint arXiv:2305.01581, 2023 | 6 | 2023 |
Unboundedness Problems for Machines with Reversal-Bounded Counters. P Baumann, F D'Alessandro, M Ganardi, OH Ibarra, I McQuillan, ... FoSSaCS, 240-264, 2023 | 5 | 2023 |
Verification of the FAIR Control System Using Deterministic Network Calculus M Kreider | 3 | 2017 |
On the Length of Strongly Monotone Descending Chains over S Schmitz, L Schütze arXiv preprint arXiv:2310.02847, 2023 | | 2023 |