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