@inproceedings{kassem:hal-01248349, TITLE = {{Monitoring Electronic Exams}}, AUTHOR = {Kassem, Ali and Falcone, Yli{\`e}s and Lafourcade, Pascal}, URL = {https://inria.hal.science/hal-01248349}, BOOKTITLE = {{6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings}}, ADDRESS = {Vienne, Australia}, HAL_LOCAL_REFERENCE = {Challenge 2}, PUBLISHER = {{Springer}}, SERIES = {Runtime Verification}, VOLUME = {9333}, PAGES = {16}, YEAR = {2015}, MONTH = Sep, DOI = {10.1007/978-3-319-23820-3\_8}, PDF = {https://inria.hal.science/hal-01248349/file/rv15-1.pdf}, HAL_ID = {hal-01248349}, HAL_VERSION = {v1}, }