Alex P. Klinkhamer

According to our database, Alex P. Klinkhamer authored at least 8 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes.

Ali Ebnenasir, Alex P. Klinkhamer

IEEE Trans. Software Eng., 2021

2019

On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings.

Alex P. Klinkhamer, Ali Ebnenasir

ACM Trans. Comput. Log., 2019

2017

Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes.

Alex P. Klinkhamer, Ali Ebnenasir

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016

Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization.

Alex P. Klinkhamer, Ali Ebnenasir

IEEE Trans. Parallel Distributed Syst., 2016

2015

On the Hardness of Adding Nonmasking Fault Tolerance.

Alex P. Klinkhamer, Ali Ebnenasir

IEEE Trans. Dependable Secur. Comput., 2015

2014

Synthesizing Self-stabilization through Superposition and Backtracking.

Alex P. Klinkhamer, Ali Ebnenasir

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

2013

Verifying Livelock Freedom on Parameterized Rings and Chains.

Alex P. Klinkhamer, Ali Ebnenasir

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

On the Complexity of Adding Convergence.

Alex P. Klinkhamer, Ali Ebnenasir

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013