. Rvdist, Runtime Verification for Distributed Component-Based Systems

A. Agarwal, V. K. Garg, and V. A. Ogale, Modeling and analyzing periodic distributed computations, Int. Symp. on Stabilization, Safety, and Security of Distributed Systems, pp.191-205, 2010.
DOI : 10.1007/978-3-642-16023-3_17
URL : http://users.ece.utexas.edu/%7Egarg/dist/garg-sss10.pdf

C. Artho, Q. Gros, G. Rousset, K. Banzai, L. Ma et al., Model-based API testing of apache zookeeper, 2017 IEEE Int. Conf. on Software Testing, Verification and Validation, pp.288-298, 2017.
DOI : 10.1109/icst.2017.33

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker et al., First international competition on runtime verification: rules, benchmarks, tools, and final results of crv 2014, International Journal on Software Tools for Technology Transfer, 2017.
DOI : 10.1007/s10009-017-0454-5
URL : https://hal.archives-ouvertes.fr/cea-01845191

E. Bartocci, Y. Falcone, A. Francalanza, and G. Reger, Introduction to runtime verification, Lectures on Runtime Verification-Introductory and Advanced Topics, vol.10457, pp.1-33, 2018.
DOI : 10.1007/978-3-319-75632-5_1
URL : https://hal.archives-ouvertes.fr/hal-01762297

A. Bauer and Y. Falcone, Decentralised LTL monitoring, Formal Methods in System Design, vol.48, issue.1-2, pp.46-93, 2016.
DOI : 10.1007/s10703-016-0253-8
URL : https://hal.archives-ouvertes.fr/hal-01313730

A. Bauer, M. Leucker, and C. Schallhart, Model-based runtime analysis of distributed reactive systems, ASWEC'06, Australian Software Engineering Conf. p, pp.243-252, 2006.
DOI : 10.1109/aswec.2006.36
URL : http://www4.in.tum.de/~leucker/Documents/Leucker/aswec06.ps.gz

A. K. Bauer and Y. Falcone, Decentralised LTL monitoring, Int. Symp. on Formal Methods. pp, pp.85-100, 2012.
DOI : 10.1007/s10703-016-0253-8
URL : https://hal.archives-ouvertes.fr/hal-01313730

S. Bliudze and J. Sifakis, A notion of glue expressiveness for component-based systems, Int. Conf. on Concurrency Theory, pp.508-522, 2008.

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

K. M. Chandy and L. Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems (TOCS), vol.3, issue.1, pp.63-75, 1985.
DOI : 10.1145/214451.214456
URL : http://www.cs.umass.edu/~arun/cs677/reading/CL85.pdf

R. Cooper and K. Marzullo, Consistent detection of global predicates, Workshop on Parallel and Distributed Debugging, pp.167-174, 1991.
DOI : 10.1145/122759.122774
URL : http://ecommons.cornell.edu/bitstream/1813/7040/1/91-1200.pdf

A. El-hokayem and Y. Falcone, Monitoring decentralized specifications, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp.125-135, 2017.
DOI : 10.1145/3092703.3092723
URL : https://hal.archives-ouvertes.fr/hal-01653725

A. El-hokayem, Y. Falcone, and M. Jaber, Modularizing behavioral and architectural crosscutting concerns in formal component-based systems-application to the behavior interaction priority framework, J. Log. Algebr. Meth. Program, vol.99, pp.143-177, 2018.
DOI : 10.1016/j.jlamp.2018.05.005
URL : https://hal.archives-ouvertes.fr/hal-01796786

Y. Falcone, T. Cornebize, and J. Fernandez, Efficient and generalized decentralized monitoring of regular languages, Formal Techniques for Distributed Objects, Components, and Systems-34th IFIP WG 6.1 Int. Conf., FORTE 2014, Held as Part of the 9th Int. Federated Conf. on Distributed Computing Techniques, 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, vol.14, pp.349-382, 2012.
DOI : 10.1007/s10009-011-0196-8
URL : http://www.irisa.fr/vertecs/Publis/Ps/STTT-2011.pdf

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification, Engineering Dependable Software Systems, NATO Science for Peace and Security Series, D: Information and Communication Security, vol.34, pp.141-175, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

Y. Falcone and M. Jaber, Fully automated runtime enforcement of component-based systems with formal and sound recovery, STTT, vol.19, issue.3, pp.341-365, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01262658

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 and System Modeling, vol.14, issue.1, pp.173-199, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01248420

Y. Falcone, L. Mounier, J. Fernandez, and J. Richier, Runtime enforcement monitors: composition, synthesis, and enforcement abilities, Formal Methods in System Design, vol.38, issue.3, pp.223-262, 2011.
DOI : 10.1007/s10703-011-0114-4
URL : https://hal.archives-ouvertes.fr/hal-00576948

A. Francalanza, J. A. Pérez, and C. Sánchez, Runtime verification for decentralised and distributed systems, Lectures on Runtime Verification, pp.176-210, 2018.
DOI : 10.1007/978-3-319-75632-5_6
URL : https://ir.cwi.nl/pub/27480/27480.pdf

E. Fromentin, C. Jard, G. Jourdan, and M. Raynal, On-the-fly analysis of distributed computations, Inf. Process. Lett, vol.54, issue.5, pp.267-274, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00074088

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

S. Graf, D. A. Peled, and S. Quinton, Monitoring distributed systems using knowledge. In: Formal Techniques for Distributed Systems, pp.183-197, 2011.
DOI : 10.1007/978-3-642-21461-5_12
URL : https://hal.archives-ouvertes.fr/hal-01583313

S. Kobeissi, A. Utayim, M. Jaber, and Y. Falcone, Facilitating the implementation of distributed systems with heterogeneous interactions, Integrated Formal Methods-14th International Conference, IFM 2018, vol.11023, pp.255-274, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01868748

. Springer, , 2018.

M. Mostafa and B. Bonakdarpour, Decentralized runtime verification of LTL specifications in distributed systems, Int. Parallel and Distributed Processing Symp, pp.494-503, 2015.

H. Nazarpour, Y. Falcone, S. Bensalem, and M. Bozga, Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Asp, Comput, vol.29, issue.6, pp.951-986, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01653883

H. Nazarpour, Y. Falcone, M. Jaber, S. Bensalem, and M. Bozga, Monitoring distributed component-based systems, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01681565

K. Sen, A. Vardhan, G. Agha, and G. Rosu, Efficient decentralized monitoring of safety in distributed systems, 26th Int. Conf. on Software Engineering, pp.418-427, 2004.

J. Tretmans, A formal approach to conformance testing, Sixth Int. Workshop on Protocol Test systems, IFIP TC6/WG6.1, pp.257-276, 1993.