Y. Falcone, M. Jaber, T. H. Nguyen, M. Bozga, and S. Bensalem, Runtime Verification of Component-Based Systems, 9th Int. Conf. on Software Engineering and Formal Methods, pp.204-220, 2011.
DOI : 10.1007/978-3-642-16901-4_29

URL : https://hal.archives-ouvertes.fr/hal-00642969

W. Zhou, O. Sokolsky, B. T. Loo, and I. Lee, DMaC: Distributed Monitoring and Checking, 9th Work. on Runtime Verification, pp.184-201, 2009.
DOI : 10.1007/978-3-540-24730-2_9

K. Sen, A. Vardhan, G. Agha, and G. Rosu, Decentralized runtime analysis of multithreaded applications, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
DOI : 10.1109/IPDPS.2006.1639591

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

A. Genon, T. Massart, and C. Meuter, Monitoring distributed controllers, 14th Symp. on Formal Methods, pp.557-572, 2006.

S. Graf, D. Peled, and S. Quinton, Monitoring Distributed Systems Using Knowledge, Joint 13th IFIP WG 6.1 Int. Conf., FMOODS 2011, and 31st IFIP WG 6.1 Int. Conf., FORTE 2011, pp.183-197, 2011.
DOI : 10.1016/j.ipl.2004.01.004

Y. Wang, T. S. Yoo, and S. Lafortune, New results on decentralized diagnosis of discrete event systems, 42nd Ann. Allerton Conf. on Comm., Control, and Computing, 2004.

F. Cassez, The complexity of codiagnosability for discrete event and timed systems In: 8th Int. Symp. on Automated Technology for Verification and Analysis, LNCS, vol.6252, pp.82-96, 2010.

S. Tripakis, Decentralized Observation Problems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.6-11, 2005.
DOI : 10.1109/CDC.2005.1582122

A. K. Bauer and Y. Falcone, Decentralised LTL monitoring, 18th Int. Symp. on Formal Methods, pp.85-100, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00857286

F. Bacchus and F. Kabanza, Planning for temporally extended goals, Annals of Mathematics and Artificial Intelligence, vol.22, issue.1/2, pp.5-27, 1998.
DOI : 10.1023/A:1018985923441

E. Bartocci, Sampling-based Decentralized Monitoring for Networked Embedded Systems, 3rd Int. Work. on Hybrid Autonomous Systems, pp.85-99, 2013.
DOI : 10.4204/EPTCS.124.9

A. Bauer, M. Leucker, and C. Schallhart, Monitoring of Real-Time Properties, 26th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science, pp.260-272, 2006.
DOI : 10.1007/11944836_25

Y. Falcone, J. C. Fernandez, and L. Mounier, Runtime Verification of Safety-Progress Properties, 9th Int. Work. on Runtime Verification, pp.40-59, 2009.
DOI : 10.1137/0201010

URL : https://hal.archives-ouvertes.fr/hal-00420487

Y. Falcone, J. C. Fernandez, and L. Mounier, What can you verify and enforce at runtime? Software Tools for, Technology Transfert, vol.14, pp.349-382, 2012.

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, p.14, 2011.
DOI : 10.1145/2000799.2000800

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Intl. Conf. on Software Engineering (ICSE), pp.411-420, 1999.

H. Alavi, G. Avrunin, J. Corbett, L. Dillon, M. Dwyer et al., Specification patterns website, 2011.

Y. Falcone, L. Mounier, J. C. Fernandez, and J. L. Richier, Runtime enforcement monitors: composition, synthesis, and enforcement abilities, Formal Methods in System Design, vol.42, issue.3, pp.223-262, 2011.
DOI : 10.1007/s10703-011-0114-4

URL : https://hal.archives-ouvertes.fr/hal-00576948