@article{kassem:hal-01653884, TITLE = {{Formal analysis and offline monitoring of electronic exams}}, AUTHOR = {Kassem, Ali and Falcone, Yli{\`e}s and Lafourcade, Pascal}, URL = {https://inria.hal.science/hal-01653884}, JOURNAL = {{Formal Methods in System Design}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {51}, NUMBER = {1}, PAGES = {117 - 153}, YEAR = {2017}, MONTH = Aug, DOI = {10.1007/s10703-017-0280-0}, PDF = {https://inria.hal.science/hal-01653884/file/fmsd6.pdf}, HAL_ID = {hal-01653884}, HAL_VERSION = {v1}, }