3 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…
cs.DC2016
Convergence of Even Simpler Robots without Location Information
Debasish Pattanayak, Kaushik Mondal, Partha Sarathi Mandal +1
The design of distributed gathering and convergence algorithms for tiny robots has recently received much attention. In particular, it has been shown that convergence problems can…