2 papers
cs.LO2026
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
Bruno Maria René Gonzalez, Peter Gjøl Jensen, Stefan Schmid +2
Petri nets are a modeling formalism capable of describing complex distributed systems and there exists a large number of both academic and industrial tools that enable automatic ve…
cs.NI2025
A Control-Theoretic Perspective on BBR/CUBIC Congestion-Control Competition
Simon Scherrer, Adrian Perrig, Stefan Schmid
To understand the fairness properties of the BBR congestion-control algorithm (CCA), previous research has analyzed BBR behavior with a variety of models. However, previous model-b…