@inproceedings{nazarpour:hal-01285579, TITLE = {{Monitoring Multi-Threaded Component-Based Systems}}, AUTHOR = {Nazarpour, Hosein and Falcone, Yli{\`e}s and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques}, URL = {https://inria.hal.science/hal-01285579}, BOOKTITLE = {{12th International Conference on integrated Formal Methods}}, ADDRESS = {Reykjavik, Finland}, SERIES = {Proceedings of the 12th International Conference on integrated Formal Methods}, YEAR = {2016}, MONTH = Jun, PDF = {https://inria.hal.science/hal-01285579/file/ifm16.pdf}, HAL_ID = {hal-01285579}, HAL_VERSION = {v1}, }