Best Paper Award
J. Deshmukh, A. Donzé, S. Ghosh, X. Jin, G. Juniwal and S. A. Seshia, Robust Online Monitoring of Signal Temporal Logic
Finalist Papers
J. Deshmukh, A. Donzé, S. Ghosh, X. Jin, G. Juniwal and S. A. Seshia, Robust Online Monitoring of Signal Temporal Logic
A. Francalanza, L. Aceto and A. Ingolfsdottir, On Verifying The Hennessy-Milner Logic with Recursion at Runtime