R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM TOPLAS, pp.13451-490, 1991.
DOI : 10.1145/115372.115320

J. Desouza, B. Kuhn, B. R. De-supinski, V. Samofalov, S. Zheltov et al., Automated, scalable debugging of MPI programs with Intel?? Message Checker, Proceedings of the second international workshop on Software engineering for high performance computing system applications , SE-HPCS '05, pp.78-82, 2005.
DOI : 10.1145/1145319.1145342

C. Falzone, A. Chan, E. Lusk, and W. Gropp, Collective Error Detection for MPI Collective Operations, PVM/MPI, pp.138-147, 2005.
DOI : 10.1007/11557265_21

T. Hilbrich, J. Protze, M. Schulz, B. R. De-supinski, and M. S. Müller, MPI runtime error detection with MUST: advances in deadlock detection, Supercomputing, pp.1-3011, 2012.

T. Hilbrich, M. Schulz, B. De-supinski, and M. Muller, MUST: A Scalable Approach to Runtime Error Detection in MPI Programs, 2010.
DOI : 10.1007/978-3-642-11261-4_5

B. Krammer, K. Bidmon, M. S. Müller, and M. M. Resch, MARMOT: An MPI analysis and checking tool, PARCO, pp.493-500, 2003.
DOI : 10.1016/S0927-5452(04)80063-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.1372

G. Luecke, H. Chen, J. Coyle, J. Hoekstra, M. Kraeva et al., MPI-CHECK: a tool for checking Fortran 90 MPI programs, Concurrency and Computation: Practice and Experience, pp.1593-100, 2003.
DOI : 10.1002/cpe.705

S. Sharma, G. Gopalakrishnan, and R. M. Kirby, A survey of MPI related debuggers and tools, 2007.

S. Siegel and T. Zirkel, Automatic formal verification of MPI based parallel programs, PPoPP, pp.309-310, 2011.

J. L. Träff and J. Worringen, Verifying Collective MPI Calls, PVM/MPI, pp.18-27, 2004.
DOI : 10.1007/978-3-540-30218-6_11

J. S. Vetter and B. R. De-supinski, Dynamic Software Testing of MPI Applications with Umpire, ACM/IEEE SC 2000 Conference (SC'00), pp.51-51, 2000.
DOI : 10.1109/SC.2000.10055

A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, B. R. Supinski, M. Schulz et al., A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1-10, 2010.
DOI : 10.1109/SC.2010.7

M. Wolff, S. Jaouen, and H. Jourden, Hight-order dimensionally split lagrange-remap schemes for ideal magnetohydrodynamics, Discrete and Continuous Dynamical Systems Series S. NMCF, 2009.