Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. - Tom Baumeister; Paul Eichler 001; Swen Jacobs; Mouhammad Sakr; Marcus Völp (FM (1), 2024)

Parameterized Verification of Disjunctive Timed Networks. - Étienne André; Paul Eichler 001; Swen Jacobs; Shyam Lal Karra (VMCAI (1), 2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. - Paul Eichler 001; Swen Jacobs; Chana Weil-Kennedy (VMCAI (1), 2025)