S. Abiteboul, R. Hull, and V. Vianu, Datalog and Recursion, 1995.

O. M. Alliance, Internet messaging and presence service features and functions, Tech. rep, 2005.

O. M. Alliance, Push to talk over cellular requirements, Tech. rep, 2006.

K. Apt and M. Van-emden, Contributions to the Theory of Logic Programming, Journal of the ACM, vol.29, issue.3, pp.841-862, 1982.
DOI : 10.1145/322326.322339

M. A. Camacho-magrinan, M. G. Merayo, and I. Medina-bulo, PTTAC: Passive Testing Tool for Asynchronous Systems, 2014 Tenth International Conference on Signal-Image Technology and Internet-Based Systems, pp.223-229, 2014.
DOI : 10.1109/SITIS.2014.83

T. D. Cao, T. T. Phan-quang, P. Félix, and R. Castanet, Automated Runtime Verification for Web Services, 2010 IEEE International Conference on Web Services, pp.76-82, 2010.
DOI : 10.1109/ICWS.2010.19
URL : https://hal.archives-ouvertes.fr/hal-01005182

X. Che, S. Maag, H. N. Nguyen, and F. Za¨?diza¨?di, Guiding testers' hands in monitoring tools / Appendix: Expression equivalence of the two approaches, 2015.

F. Cuppens, N. Cuppens-boulahia, and T. Sans, Nomad: A Security Model with Non Atomic Actions and Deadlines, 18th IEEE Computer Security Foundations Workshop (CSFW'05), pp.186-196, 2005.
DOI : 10.1109/CSFW.2005.20

M. V. Emden and R. Kowalski, The Semantics of Predicate Logic as a Programming Language, Journal of the ACM, vol.23, issue.4, pp.733-742, 1976.
DOI : 10.1145/321978.321991

R. M. Hierons, P. Krause, G. Luttgen, and A. J. Simons, Using formal specifications to support testing, ACM Computing Surveys, vol.41, issue.2, p.176, 2009.
DOI : 10.1145/1459352.1459354
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.9397

R. M. Hierons, M. G. Merayo, and M. Núñez, Passive Testing with Asynchronous Communications, Proc. of FMOODS, pp.99-113, 2013.
DOI : 10.1007/978-3-642-38592-6_8

E. Knauss and D. Damian, V:Issue:lizer: Exploring requirements clarification in online communication over time, 2013 35th International Conference on Software Engineering (ICSE), pp.1327-1330, 2013.
DOI : 10.1109/ICSE.2013.6606709

F. Lalanne and S. Maag, A Formal Data-Centric Approach for Passive Testing of Communication Protocols, IEEE/ACM Transactions on Networking, vol.21, issue.3, pp.788-801, 2013.
DOI : 10.1109/TNET.2012.2210443
URL : https://hal.archives-ouvertes.fr/hal-00838645

F. Lalanne, S. Maag, E. M. De-oca, A. R. Cavalli, W. Mallouli et al., An Automated Passive Testing Approach for the IMS PoC Service, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.535-539, 2009.
DOI : 10.1109/ASE.2009.33
URL : https://hal.archives-ouvertes.fr/hal-01316417

A. Lazerson, Monitoring distributed streams using convex decompositions, Proceedings of the VLDB Endowment, vol.8, issue.5, pp.545-556, 2015.
DOI : 10.14778/2735479.2735487

D. Lee and R. Miller, Network protocol system monitoring-a formal approach with passive testing, IEEE/ACM Transactions on Networking, vol.14, issue.2, pp.424-437, 2006.
DOI : 10.1109/TNET.2006.872572

D. Lee, A. N. Netravali, K. K. Sabnani, B. Sugla, and A. John, Passive testing and applications to network management, Proceedings 1997 International Conference on Network Protocols, pp.113-119, 1997.
DOI : 10.1109/ICNP.1997.643699

Z. Li, Y. Jin, and J. Han, A runtime monitoring and validation framework for Web service interactions, Australian Software Engineering Conference (ASWEC'06), pp.70-79, 2006.
DOI : 10.1109/ASWEC.2006.6

J. Lopez, S. Maag, and G. Morales, Behavior evaluation for trust management based on formal distributed network monitoring, World Wide Web, vol.39, issue.10, pp.1-19, 2015.
DOI : 10.1007/s11280-015-0324-6
URL : https://hal.archives-ouvertes.fr/hal-01255091

M. G. Merayo and A. Núñez, Passive testing of communicating systems with timeouts, Information and Software Technology, vol.64, pp.19-35, 2015.
DOI : 10.1016/j.infsof.2015.03.009

R. Miller, Passive testing of networks using a CFSM specification, 1998 IEEE International Performance, Computing and Communications Conference. Proceedings (Cat. No.98CH36191), pp.111-116, 1998.
DOI : 10.1109/PCCC.1998.659924

G. Morales, S. Maag, A. R. Cavalli, W. Mallouli, E. M. De-oca et al., Timed Extended Invariants for the Passive Testing of Web Services, 2010 IEEE International Conference on Web Services, pp.592-599, 2010.
DOI : 10.1109/ICWS.2010.17
URL : https://hal.archives-ouvertes.fr/hal-01309503

H. N. Nguyen, P. Poizat, and F. Za¨?diza¨?di, Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, pp.106-113, 2012.
DOI : 10.1109/HASE.2012.15
URL : https://hal.archives-ouvertes.fr/hal-01367296

J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson et al., Sip: Session initiation protocol, 2002.
DOI : 10.17487/rfc3261
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.192.1473

H. Ural and Z. Xu, An EFSM-Based Passive Fault Detection Approach, Proc. of TestCom/FATES, pp.335-350, 2007.
DOI : 10.1007/978-3-540-73066-8_23

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability 22, pp.297-312, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00940611

J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-1936, 2009.
DOI : 10.1145/1592434.1592436