@article{falcone:hal-01248420, TITLE = {{Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation}}, AUTHOR = {Falcone, Yli{\`e}s and Jaber, Mohamad and Nguyen, Thanh-Hung and Bozga, Marius and Bensalem, Saddek}, URL = {https://inria.hal.science/hal-01248420}, JOURNAL = {{Software and Systems Modeling}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {14}, NUMBER = {1}, PAGES = {38}, YEAR = {2015}, DOI = {10.1007/s10270-013-0323-y}, PDF = {https://inria.hal.science/hal-01248420/file/Sosym-author-version_Falcone-et-al.pdf}, HAL_ID = {hal-01248420}, HAL_VERSION = {v1}, }