W. F. Chiang, G. Szubzda, G. Gopalakrishnan, and R. Thakur, Dynamic Verification of Hybrid Programs, EuroMPI, pp.298-301, 2010.
DOI : 10.1007/978-3-642-15646-5_33

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, A Portable Method for Finding User Errors in the Usage of MPI Collective Operations, International Journal of High Performance Computing Applications, vol.21, issue.2, pp.155-165, 2007.
DOI : 10.1177/1094342007077860

W. Gropp and R. Thakur, Thread-safety in an MPI implementation: Requirements and analysis, Parallel Computing, vol.33, issue.9, pp.595-604, 2007.
DOI : 10.1016/j.parco.2007.07.002

T. Hilbrich, M. S. Müller, and B. Krammer, Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications, pp.26-35, 2008.
DOI : 10.1007/978-3-540-79561-2_3

T. Hilbrich, B. R. De-supinski, F. Hänsel, M. S. Müller, M. Schulz et al., Runtime MPI collective checking with tree-based overlay networks, Proceedings of the 20th European MPI Users' Group Meeting on, EuroMPI '13, pp.129-134, 2013.
DOI : 10.1145/2488551.2488570

T. Hilbrich, J. Protze, B. R. De-supinski, M. Schulz, M. S. Müller et al., Intralayer Communication for Tree-Based Overlay Networks, 2013 42nd International Conference on Parallel Processing, pp.995-1003, 2013.
DOI : 10.1109/ICPP.2013.118

H. Jourdren, HERA: A hydrodynamic AMR Platform for Multi-Physics Simulations Adaptive Mesh Refinement - Theory and Applications, pp.283-294, 2003.

B. Krammer, K. Bidmon, M. S. Müller, and M. M. Resch, MARMOT: An MPI analysis and checking tool, In: PARCO. Advances in Parallel Computing, vol.13, 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. R. 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, vol.15, issue.2, pp.93-100, 2003.
DOI : 10.1002/cpe.705

E. Lusk and A. Chan, Early Experiments with the OpenMP/MPI Hybrid Programming Model, pp.36-47, 2008.
DOI : 10.1007/978-3-540-79561-2_4

E. Saillard, P. Carribault, and D. Barthou, Combining static and dynamic validation of MPI collective communications, Proceedings of the 20th European MPI Users' Group Meeting on, EuroMPI '13, pp.117-122, 2013.
DOI : 10.1145/2488551.2488555
URL : https://hal.archives-ouvertes.fr/hal-01078762

E. Saillard, P. Carribault, and D. Barthou, PARCOACH:Combining Static and Dynamic Validation of MPI Collective Communications, IJHPCA, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01078762

E. Saillard, P. Carribault, and D. Barthou, Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01253204

S. Siegel and T. Zirkel, Automatic Formal Verification of MPI Based Parallel Programs, pp.309-310, 2011.

L. Smith and M. Bull, Development of Mixed Mode MPI, OpenMP Applications. Sci. Program, vol.9, issue.23, pp.83-98, 2001.

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

A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, B. R. De-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. Jourdren, High-order dimensionally split lagrange-remap schemes for ideal magnetohydrodynamics, Discrete and Continuous Dynamical Systems Series S. NMCF, 2009.