On the verification of livelock-freedom and self-stabilization on parameterized rings, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

Topology-specific synthesis of self-stabilizing parameterized systems with constant-space processes, Ali Ebnenasir, Alex Klinkhamer
Michigan Tech Publications

Shadow/puppet synthesis: A stepwise method for the design of self-stabilization, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

On the Limits and Practice of Automatically Designing Self-Stabilization, Alex Klinkhamer
Dissertations, Master's Theses and Master's Reports

On the hardness of adding nonmasking fault tolerance, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

Synthesizing self-stabilization through superposition and backtracking, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

On the complexity of adding convergence, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications

Verifying livelock freedom on parameterized rings and chains, Alex Klinkhamer, Ali Ebnenasir
Michigan Tech Publications