1. Multicore constraint-based automated stabilization;Abujarad,2009
2. Automated constraint-based addition of nonmasking and stabilizing fault-tolerance;Abujarad;Theor. Comput. Sci.,2011
3. A Foundation of Fault-Tolerant Computing;Arora,1992
4. Constraint satisfaction as a basis for designing nonmasking fault-tolerant systems;Arora;J. High Speed Netw.,1996
5. Closure and convergence: a foundation of fault-tolerant computing;Arora;IEEE Trans. Softw. Eng.,1993