Swen Jacobs

A study on learning methods for broadcast protocols in complex systems.

Examining how threshold automata improve distributed algorithm verification.

A look into disjunctive timed networks and their verification methods.

An overview of parameterized systems and their verification challenges.