Jump to content
Image picture book
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