A. Basu, P. Bidinger, M. Bozga, and J. Sifakis, Distributed Semantics and Implementation for Systems with Interaction and Priority, pp.116-133, 2008.
DOI : 10.1007/978-3-540-30101-1_15
URL : https://hal.archives-ouvertes.fr/hal-00359261

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

A. Bauer, M. Leucker, and C. Schallhart, Comparing LTL Semantics for Runtime Verification, Journal of Logic and Computation, vol.20, issue.3, pp.651-674, 2010.
DOI : 10.1093/logcom/exn075

S. Berkovich, B. Bonakdarpour, and S. Fischmeister, GPU-based Runtime Verification, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing, pp.1025-1036, 2013.
DOI : 10.1109/IPDPS.2013.105

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, A framework for automated distributed implementation of component-based models, Distributed Computing, vol.10, issue.2, pp.383-409, 2012.
DOI : 10.1007/s00446-012-0168-6
URL : https://hal.archives-ouvertes.fr/hal-00877995

Y. Falcone, T. Cornebize, and J. Fernandez, Efficient and Generalized Decentralized Monitoring of Regular Languages, pp.66-83, 2014.
DOI : 10.1007/978-3-662-43613-4_5
URL : https://hal.archives-ouvertes.fr/hal-00972559

Y. Falcone, J. Fernandez, and L. Mounier, What can you verify and enforce at runtime? STTT, pp.349-382, 2012.

Y. Falcone, M. Jaber, T. Nguyen, M. Bozga, and S. Bensalem, Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software & Systems Modeling, vol.40, issue.1, pp.173-199, 2015.
DOI : 10.1007/s10270-013-0323-y
URL : https://hal.archives-ouvertes.fr/hal-00972566

R. Milner, Communication and concurrency, 1989.

M. Mostafa and B. Bonakdarpour, Decentralized Runtime Verification of LTL Specifications in Distributed Systems, 2015 IEEE International Parallel and Distributed Processing Symposium, pp.494-503, 2015.
DOI : 10.1109/IPDPS.2015.95

H. Nazarpour, Runtime Verification of Multi-Threaded BIP

H. Nazarpour, Y. Falcone, S. Bensalem, M. Bozga, and J. Combaz, Monitoring Multi-threaded Component-Based Systems, Verimag Research Report, vol.41, issue.2, 2015.
DOI : 10.1007/978-3-319-33693-0_10
URL : https://hal.archives-ouvertes.fr/hal-01285579

A. Sen and V. K. Garg, Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing, pp.171-183, 2003.
DOI : 10.1007/978-3-540-27860-3_17

A. Sen and V. K. Garg, Formal Verification of Simulation Traces Using Computation Slicing, IEEE Transactions on Computers, vol.56, issue.4, pp.511-527, 2007.
DOI : 10.1109/TC.2007.1011

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

A. I. Tomlinson and V. K. Garg, Monitoring Functions on Global States of Distributed Programs, Journal of Parallel and Distributed Computing, vol.41, issue.2, pp.173-189, 1997.
DOI : 10.1006/jpdc.1996.1298