D. Calvanese, M. Dumas, U. Laurson, F. M. Maggi, M. Montali et al., Semantics and Analysis of DMN Decision Tables, Proc. of BPM'16, pp.217-233, 2016.
DOI : 10.1016/S0005-1098(96)00165-3

L. , D. Moura, and N. Bjørner, Z3: An Efficient SMT Solver, Proc. of TACAS'08, pp.337-340, 2008.

L. , D. Moura, and N. Bjørner, Satisfiability Modulo Theories: Introduction and Applications, Commun. ACM, vol.54, issue.9, pp.69-77, 2011.

L. De-moura, B. Dutertre, and N. Shankar, A Tutorial on Satisfiability Modulo Theories, Proc. of CAV'07, pp.20-36, 2007.
DOI : 10.1007/978-3-540-73368-3_5

G. Decker and M. Weske, Interaction-centric modeling of process choreographies, Information Systems, vol.36, issue.2, pp.292-312, 2011.
DOI : 10.1016/j.is.2010.06.005

R. M. Dijkman, M. Dumas, and C. Ouyang, Semantics and analysis of business process models in BPMN, Information and Software Technology, vol.50, issue.12, pp.12-1281, 2008.
DOI : 10.1016/j.infsof.2008.02.006

F. Durán and G. Salaün, Verifying Timed BPMN Processes Using Maude, Proc. of COORDINATION'17, pp.219-236, 2017.
DOI : 10.1016/j.entcs.2009.06.029

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, Proc. of ICSE'99, pp.411-420, 1999.

N. El-saber and A. Boronat, BPMN Formalization and Verification using Maude, Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, BM-FA '14, pp.1-8, 2014.
DOI : 10.1145/2630768.2630769

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.15-89, 2013.
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056

M. Güdemann, P. Poizat, G. Salaün, and A. Dumont, VerChor: A Framework for Verifying Choreographies, Proc. of FASE'13, pp.226-230, 2013.
DOI : 10.1007/978-3-642-37057-1_16

M. Güdemann, P. Poizat, G. Salaün, and L. Ye, VerChor: A Framework for the Design and Verification of Choreographies, IEEE Transactions on Services Computing, vol.9, issue.4, pp.647-660, 2016.
DOI : 10.1109/TSC.2015.2413401

A. Krishna, P. Poizat, and G. Salaün, VBPMN: Automated Verification of BPMN Processes, Proc. of IFM'17, pp.323-331, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01591665

S. Maoz, J. O. Ringert, and B. Rumpe, ADDiff, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.179-189, 2011.
DOI : 10.1145/2025113.2025140

A. Martens, Analyzing Web Service Based Business Processes, Proc. of FASE'05, pp.19-33, 2005.
DOI : 10.1007/978-3-540-31984-9_3
URL : http://www2.informatik.hu-berlin.de/top/download/publications/Martens2005b.pdf

R. Mateescu, G. Salaün, and L. Ye, Quantifying the parallelism in BPMN processes using model checking, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.159-168, 2014.
DOI : 10.1145/2602458.2602473
URL : https://hal.archives-ouvertes.fr/hal-01016412

A. Mos and M. Cortes-cornax, Business Matter Experts do Matter: A Model-Driven Approach for Domain Specific Process Design and Monitoring, Proc. of BPM Forum'16 (LNBIP), pp.210-226, 2016.
DOI : 10.1007/978-3-642-01862-6_7

H. N. Nguyen, P. Poizat, and F. Zaïdi, A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies, Proc. of ICSOC'12, pp.525-532, 2012.
DOI : 10.1007/978-3-642-34321-6_36
URL : https://hal.archives-ouvertes.fr/hal-01367304

P. Poizat and G. Salaün, Checking the realizability of BPMN 2.0 choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1927-1934, 2012.
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393

P. Poizat, G. Salaün, and A. Krishna, Checking Business Process Evolution, Proc. of FACS'16, pp.36-53, 2016.
DOI : 10.1007/978-3-540-88194-0_22
URL : https://hal.archives-ouvertes.fr/hal-01366641

I. Raedts, M. Petkovic, Y. S. Usenko, J. M. Van-der-werf, J. F. Groote et al., Transformation of BPMN Models for Behaviour Analysis, Proc. of MSVVEIS'07, pp.126-137, 2007.

M. Reichert and B. Weber, Enabling Flexibility in Process-Aware Information Systems -Challenges, Methods, Technologies, 2012.

M. Weidlich, R. M. Dijkman, and M. Weske, Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences, The Computer Journal, vol.55, issue.11, pp.11-1398, 2012.
DOI : 10.1093/comjnl/bxs014

P. Y. Wong and J. Gibbons, A Process Semantics for BPMN, Proc. of ICFEM'08, pp.355-374, 2008.
DOI : 10.1016/j.jlap.2006.05.007

P. Y. Wong and J. Gibbons, Verifying Business Process Compatibility, Proc. of QSIC'08, pp.126-131, 2008.
DOI : 10.1109/qsic.2008.6