@inproceedings{falcone:hal-03525762, TITLE = {{Monitoring Distributed Component-Based Systems}}, AUTHOR = {Falcone, Yli{\`e}s and Nazarpour, Hosein and Bensalem, Saddek and Bozga, Marius}, URL = {https://inria.hal.science/hal-03525762}, BOOKTITLE = {{FACS 2021 - 17th edition of the International Conference on Formal Aspects of Component Software}}, ADDRESS = {Grenoble, France}, PAGES = {1-19}, YEAR = {2021}, MONTH = Oct, PDF = {https://inria.hal.science/hal-03525762/file/facs21.pdf}, HAL_ID = {hal-03525762}, HAL_VERSION = {v1}, }