P. A. Abdulla, S. Aronis, B. Jonsson, and K. F. Sagonas, Optimal dynamic partial order reduction, 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'14, pp.373-384, 2014.

E. Albert, M. Gómez-zamalloa, M. Isabel, and A. Rubio, Constrained Dynamic Partial Order Reduction, 30th International Conference on Computer Aided Verification, CAV'18, pp.392-410, 2018.

S. Aronis, B. Jonsson, M. Lång, and K. Sagonas, Optimal dynamic partial order reduction with observers, Tools and Algorithms for the Construction and Analysis of Systems, TACAS'18, pp.229-248, 2018.

C. Baier and J. Katoen, Principles of model checking, 2008.

A. Degomme, A. Legrand, G. S. Markomanolis, M. Quinson, M. Stillwell et al., Simulating MPI applications: The SMPI approach, IEEE Trans. Parallel Distrib. Syst, vol.28, issue.8, pp.2387-2400, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01415484

J. Esparza and K. Heljanko, Unfoldings -A Partial-Order Approach to Model Checking, Monographs in Theoretical Computer Science. An EATCS Series, 2008.

C. Flanagan and P. Godefroid, Dynamic partial-order reduction for model checking software, 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'05, pp.110-121, 2005.

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems -An Approach to the State-Explosion Problem, Lecture Notes in Computer Science, vol.1032, 1996.

R. M. Karp and R. E. Miller, Parallel program schemata, J. Comput. Syst. Sci, vol.3, issue.2, pp.147-195, 1969.

D. Khanna, S. Sharma, C. Rodríguez, and R. Purandare, Dynamic symbolic verification of MPI programs, 22nd International Symposium on Formal Methods, FM'18, pp.466-484, 2018.

L. Lamport, Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

L. H. Landweber and E. L. Robertson, Properties of conflict-free and persistent Petri Nets, J. ACM, vol.25, issue.3, pp.352-364, 1978.

H. T. Nguyen, C. Rodríguez, M. Sousa, C. Coti, and L. Petrucci, Quasioptimal Partial Order Reduction, 30th International Conference on Computer Aided Verification, CAV'18, pp.354-371, 2018.

R. Palmer, G. Gopalakrishnan, and R. M. Kirby, Semantics driven dynamic partialorder reduction of MPI-based parallel programs, Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, pp.43-53, 2007.

A. Pham, T. Jéron, and M. Quinson, Verifying MPI applications with simgridmc, Proceedings of the 1st International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC'17, pp.28-33, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01632421

C. Rodríguez, M. Sousa, S. Sharma, and D. Kroening, Unfolding-based partial order reduction, 26th International Conference on Concurrency Theory, CONCUR'15, pp.456-469, 2015.


C. D. Rosa, S. Merz, and M. Quinson, A simple model of communication APIsapplication to Dynamic Partial Order Reduction, 10th International Workshop on Automated Verification of Critical Systems, AVOCS'10, 2010.

S. Sharma, G. Gopalakrishnan, and G. Bronevetsky, A sound reduction of persistentsets for deadlock detection in MPI applications, Formal Methods: Foundations and Applications -15th Brazilian Symposium, pp.194-209, 2012.