R. Alur and M. Yannakakis, Model Checking of Message Sequence Charts, Proceedings of CONCUR'99, pp.114-129, 1999.
DOI : 10.1007/3-540-48320-9_10

S. Axelson, Intrusion detection systems: A taxomomy and surveytechnical report, 2000.

P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999.
DOI : 10.1016/S0004-3702(99)00019-3

A. Benveniste, E. Fabre, C. Jard, and S. Haar, Diagnosis of asynchronous discrete-event systems: a net unfolding approach, IEEE Transactions on Automatic Control, vol.48, issue.5, pp.714-727, 2003.
DOI : 10.1109/TAC.2003.811249

URL : https://hal.archives-ouvertes.fr/inria-00638345

J. A. Bergstra and J. W. Klop, Algebra of communicating processes with abstraction, Theoretical Computer Science, vol.37, pp.77-121, 1985.
DOI : 10.1016/0304-3975(85)90088-X

D. Brand and P. Zafiropoulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1981.
DOI : 10.1145/322374.322380

L. Castellano, G. De-michelis, and L. Pomello, Concurrency versus interleaving: an instructuve example, Bulletin of the EATCS, vol.31, pp.12-14, 1987.

. Th, C. Chatain, and . Jard, Symbolic diagnosis of partially observable concurrent systems, Lecture Notes in Computer Science, vol.3235, pp.326-342, 2004.

. Th, C. Chatain, and . Jard, Time supervision of concurrent systems using symbolic unfoldings of time petri nets, FORMATS'05, pp.196-210, 2005.

O. Contant, S. Lafortune, and D. Teneketzis, Diagnosability of discrete event systems with modular structure. Discrete Event Dynamic Systems, pp.9-37, 2006.

C. Fidge, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 1991.
DOI : 10.1109/2.84874

. Th, B. Gazagnaire, L. Genest, P. S. Hélouët, S. Thiagarajan et al., Causal message sequence charts, Theor. Comput. Sci, issue.41, pp.4104094-4110, 2009.

S. Genc and S. Lafortune, Distributed Diagnosis of Discrete-Event Systems Using Petri Nets, ICATPN, volume 2679 of Lecture Notes in Computer Science, pp.316-336, 2003.
DOI : 10.1007/3-540-44919-1_21

B. Genest, D. Kuske, and A. Muscholl, A kleene theorem and model checking for a class of communicating automata 16. L. Hélouët. Sofat : Scenario formal analysis toolbox, Information and Computation INRIA Rennes, vol.6, issue.204, pp.920-956, 2006.

L. Hélouët, T. Gazagnaire, and B. Genest, Diagnosis from Scenarios, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.1678447

I. Itu-ts-recommendation and Z. , Message Sequence Chart (MSC) ITU-TS, 1999.

A. K. Jones and R. S. Sielken, Computer system intrusion detection: A survey, 1999.

P. Kabiri and A. A. Ghorbani, Research on intrusion detection and response: A survey, International Journal of Network Security, vol.1, issue.2, pp.84-102, 2005.

D. J. Kleitman and B. L. Rotschild, Asymptotic enumeration of partial orders. Transactions of the, pp.205-220, 1975.

C. Ko, M. Ruschitzka, and K. N. Levitt, Execution monitoring of security-critical programs in distributed systems: a specification-based approach, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097), pp.175-187, 1997.
DOI : 10.1109/SECPRI.1997.601332

F. Lin, Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems, pp.197-212, 1994.

F. Mattern, On the relativistic structure of logical time in distributed systems. Parallel and Distributed Algorithms, pp.215-226, 1989.

A. Muscholl and D. Peled, Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces, MFCS, pp.81-91, 1999.
DOI : 10.1007/3-540-48340-3_8

A. Muscholl, D. Peled, and Z. Su, Deciding properties for message sequence charts, FOSSACS'98, pp.226-242, 1998.

Y. Pencolé and M. O. Cordier, A DECENTRALIZED MODEL-BASED DIAGNOSTIC TOOL FOR COMPLEX SYSTEMS, International Journal on Artificial Intelligence Tools, vol.11, issue.03, pp.327-346, 2002.
DOI : 10.1142/S0218213002000927

O. Salem, S. Vaton, and A. Gravey, An efficient online anomalies detection mechanism for high-speed networks, MonAM'07, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00504313

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.852

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1853

R. Sekar, A. Gupta, J. Frullo, T. Shanbhag, A. Tiwari et al., Specification-based anomaly detection, Proceedings of the 9th ACM conference on Computer and communications security , CCS '02, 2002.
DOI : 10.1145/586110.586146

R. Su, W. M. Wonham, J. Kurien, and X. Koutsoukos, Distributed diagnosis for qualitative systems, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.169-174, 2002.
DOI : 10.1109/WODES.2002.1167684

S. Yovine, Model checking timed automata, European Educational Forum: School on Embedded Systems, pp.114-152, 1996.
DOI : 10.1007/3-540-65193-4_20