5 citations · 5 across the 3 of their papers we have counts for
3 papers
PSL is Dead. Long Live PSL
Kevin Smith, Hai Lin, Praveen Tiwari +2
Property Specification Language (PSL) is a form of temporal logic that has been mainly used in discrete domains (e.g. formal hardware verification). In this paper, we show that by…
Real-time Drift Detection on Time-series Data
Nandini Ramanan, Rasool Tahmasbi, Marjorie Sayer +3
Practical machine learning applications involving time series data, such as firewall log analysis to proactively detect anomalous behavior, are concerned with real time analysis of…
Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias
Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia +4
Analysis of large observational data sets generated by a reactive system is a common challenge in debugging system failures and determining their root cause. One of the major probl…