Alex P. Klinkhamer

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 4

Top Topics

Conflict Directed

Video Stabilization

Fault Tolerance

Signature Verification

Top Venues

ACM Trans. Comput. Log.

IEEE Trans. Dependable Secur. Comput.

Publications

Ali Ebnenasir, Alex P. Klinkhamer
Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes. IEEE Trans. Software Eng. 47 (3) (2021)
Alex P. Klinkhamer, Ali Ebnenasir
On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. ACM Trans. Comput. Log. 20 (3) (2019)
Alex P. Klinkhamer, Ali Ebnenasir
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. FSEN (2017)
Alex P. Klinkhamer, Ali Ebnenasir
Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. IEEE Trans. Parallel Distributed Syst. 27 (11) (2016)
Alex P. Klinkhamer, Ali Ebnenasir
On the Hardness of Adding Nonmasking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. 12 (3) (2015)
Alex P. Klinkhamer, Ali Ebnenasir
Synthesizing Self-stabilization through Superposition and Backtracking. SSS (2014)
Alex P. Klinkhamer, Ali Ebnenasir
On the Complexity of Adding Convergence. FSEN (2013)
Alex P. Klinkhamer, Ali Ebnenasir
Verifying Livelock Freedom on Parameterized Rings and Chains. SSS (2013)