@inproceedings{charafeddine:hal-01248353, TITLE = {{Runtime Enforcement for Component-Based Systems}}, AUTHOR = {Charafeddine, Hadil and El-Harake, Khalil and Falcone, Yli{\`e}s and Jaber, Mohamad}, URL = {https://inria.hal.science/hal-01248353}, BOOKTITLE = {{Symposium on Applied Computing - Software Verification and Testing }}, ADDRESS = {Salamanque, Spain}, YEAR = {2015}, MONTH = Apr, DOI = {10.1145/2695664.2695879}, PDF = {https://inria.hal.science/hal-01248353/file/sac15.pdf}, HAL_ID = {hal-01248353}, HAL_VERSION = {v1}, }