@inproceedings{riganelli:hal-01653894, TITLE = {{Verifying Policy Enforcers}}, AUTHOR = {Riganelli, Oliviero and Micucci, Daniela and Mariani, Leonardo and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01653894}, BOOKTITLE = {{RV 2017 - 17th International Conference on Runtime Verification}}, ADDRESS = {Seattle, United States}, YEAR = {2017}, MONTH = Sep, KEYWORDS = {runtime enforcement ; proactive library ; self-healing ; Android ; resource usage ; API ; policy enforcement}, PDF = {https://inria.hal.science/hal-01653894/file/rv17.pdf}, HAL_ID = {hal-01653894}, HAL_VERSION = {v1}, }