V. Basupalli, T. Yuki, S. Rajopadhye, A. Morvan, S. Derrien et al., ompVerify: Polyhedral Analysis for the OpenMP Programmer, Proceedings of the 7th International Conference on OpenMP in the Petascale Era, pp.37-5311, 2011.
DOI : 10.1007/978-3-642-13217-9_2
URL : https://hal.archives-ouvertes.fr/hal-00752626

R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

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

Y. J. Kim, K. Daeyoung, and Y. K. Jun, An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs, Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), pp.409-414, 2008.
DOI : 10.1109/ICIS.2008.79

Y. J. Kim, M. Y. Park, S. H. Park, and Y. K. Jun, A Practical Tool for Detecting Races in OpenMP Programs, ) PaCT. LNCS, pp.321-330, 2005.
DOI : 10.1007/11535294_28

Y. J. Kim, S. Song, and Y. K. Jun, ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs, 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications, pp.304-310, 2011.
DOI : 10.1109/ISPA.2011.49

J. Li, D. Hei, and L. Yan, Correctness Analysis Based on Testing and Checking for OpenMP Programs, 2009 Fourth ChinaGrid Annual Conference, 2009.
DOI : 10.1109/ChinaGrid.2009.12

Y. Lin, Static Nonconcurrency Analysis of OpenMP Programs, LNCS, vol.4315, pp.36-50, 2005.
DOI : 10.1007/978-3-540-68555-5_4

H. Ma, S. Diersen, L. Wang, C. Liao, D. J. Quinlan et al., Symbolic Analysis of Concurrency Errors in OpenMP Programs, 2013 42nd International Conference on Parallel Processing, pp.510-516, 2013.
DOI : 10.1109/ICPP.2013.63

Y. Meng, O. K. Ha, and Y. K. Jun, Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs, Proceedings of the 4th International Conference on Future Generation Information Technology, pp.154-158, 2012.
DOI : 10.1007/978-3-642-35585-1_21

P. Petersen and S. Shah, OpenMP Support in the Intel?? Thread Checker, LNCS, vol.2716, pp.1-12, 2003.
DOI : 10.1007/3-540-45009-2_1

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

C. Terboven, C. H. Bischof, H. M. Bcker, P. Gibbon, G. R. Joubert et al., Comparing Intel Thread Checker and Sun Thread Analyzer, PARCO. Advances in Parallel Computing, pp.669-676, 2007.

Y. Zhang, E. Duesterwald, and G. R. Gao, Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers, LNCS, vol.5234, pp.95-109, 2007.
DOI : 10.1007/978-3-540-85261-2_7