D. Nickovic, U. Hafner, C. Reidl, T. Nguyen, et al."Runtime Monitoring with Recovery of the SENT Communication Protocol"CAV 20172017
D. Nickovic, A. Rodionova, E. Bartocci, R. Grosu"Temporal Logic as Filtering"HSCC 2016, S11-202016
D. Nickovic, S. Jaksic, E. Bartocci, R. Grosu"Quantitative Monitoring of STL with Edit Distance"RV 2016, S201-2182016
D. Nickovic, T. Ferrère, O. Maler"Trace Diagnostics Using Temporal Implicants"ATVA 2015, S241-2582015
D. Nickovic, T. Ferrère, O. Maler, D. Ulus"Measuring with Timed Patterns"CAV 2015, S322-3372015