- IJCAT 32(2):128-134 (2008)
- SIAM J. Scientific Computing (2012)
- ITC, page 82-91. IEEE Computer Society, (2001)
- Procedia CS (2011)
- Procedia CS (2011)
- IEEE Design & Test of Computers 22(6):586-595 (2005)
- SEDE, page 304-309. ISCA, (2006)
- SEAMS, page 138-147. ACM, (2011)
- Software and System Modeling 11(1):111-125 (2012)
- Sci. Comput. Program. 77(3):152-173 (2012)
- GLOBECOM, page 1-6. IEEE, (2011)
- VMCAI, volume 7148 of Lecture Notes in Computer Science, page 119-135. Springer, (2012)
- ICDE, page 796-807. IEEE, (2009)
- EMS, page 119-122. IEEE, (2011)
- HiPC, page 1-11. IEEE, (2010)
- Encyclopedia of Parallel Computing, Springer, (2011)
- IJPEDS 26(6):457-476 (2011)
- DSN, page 13-22. IEEE, (2009)
- In Proceedings of the International Symposium of Formal Methods Europe FM 2005, volume 3582/2005 of Lecture Notes in Computer Science, page 512--528. (2005)
- CMU/SEI-2005-TR-008. Software Engineering Institute, Carnegie Mellon University, (2005)


author