1. On the Hardness of Adding Nonmasking Fault Tolerance;IEEE Transactions on Dependable and Secure Computing;2015-05-01
2. On the Complexity of Adding Convergence;Fundamentals of Software Engineering;2013
3. Feasibility of Stepwise Design of Multitolerant Programs;ACM Transactions on Software Engineering and Methodology;2011-12
4. Self-stabilization preserving compiler;ACM Transactions on Programming Languages and Systems;2009-08
5. FTSyn: a framework for automatic synthesis of fault-tolerance;International Journal on Software Tools for Technology Transfer;2008-07-31