• [Preprint/LiCS 2024] Verifying Unboundedness Via Amalgamation
  Apr

• [Preprint/ICALP 2024] On the Length of Strongly Monotone Descending Chains over ℕ\(^d\)
  Oct

• Coverability for VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
  Jul

• Unboundedness Problems for Machines with Reversal-Bounded counters
  Apr

• Reachability in Bidirected Pushdown VASS
  Jun

• h-Mitigators: Improving your stochastic network calculus output bounds
  Aug

• Verification of the FAIR Control System using Deterministic Network Calculus
  Oct