On the Complexity of Adding Convergence. - Alex P. Klinkhamer; Ali Ebnenasir (FSEN, 2013)

Verifying Livelock Freedom on Parameterized Rings and Chains. - Alex P. Klinkhamer; Ali Ebnenasir (SSS, 2013)

Synthesizing Self-stabilization through Superposition and Backtracking. - Alex P. Klinkhamer; Ali Ebnenasir (SSS, 2014)

On the Hardness of Adding Nonmasking Fault Tolerance. - Alex P. Klinkhamer; Ali Ebnenasir (IEEE Trans. Dependable Secur. Comput., 2015)

Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. - Alex P. Klinkhamer; Ali Ebnenasir (IEEE Trans. Parallel Distributed Syst., 2016)

Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. - Alex P. Klinkhamer; Ali Ebnenasir (FSEN, 2017)

On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. - Alex P. Klinkhamer; Ali Ebnenasir (ACM Trans. Comput. Log., 2019)

Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes. - Ali Ebnenasir; Alex P. Klinkhamer (IEEE Trans. Software Eng., 2021)