@article{nazarpour:hal-01653883, TITLE = {{Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation}}, AUTHOR = {Nazarpour, Hosein and Falcone, Yli{\`e}s and Bensalem, Saddek and Bozga, Marius}, URL = {https://inria.hal.science/hal-01653883}, JOURNAL = {{Formal Aspects of Computing}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {29}, NUMBER = {6}, PAGES = {951 - 986}, YEAR = {2017}, MONTH = Nov, DOI = {10.1007/s00165-017-0422-6}, PDF = {https://inria.hal.science/hal-01653883/file/faoc1.pdf}, HAL_ID = {hal-01653883}, HAL_VERSION = {v1}, }