4 papers
Policy Change for Treelike Monitors
François Hublet, Dhruv Nevatia, Joshua Schneider
We study the policy change problem that arises in the runtime verification of long-running systems. The online monitors typically used in this context are generally treelike, in th…
Reachability Analysis of the Domain Name System
Dhruv Nevatia, Si Liu, David Basin
The high complexity of DNS poses unique challenges for ensuring its security and reliability. Despite continuous advances in DNS testing, monitoring, and verification, protocol-lev…
An Automata Theoretic Characterization of Weighted First-Order Logic
Dhruv Nevatia, Benjamin Monmege
Since the 1970s with the work of McNaughton, Papert and Schützenberger, a regular language is known to be definable in the first-order logic if and only if its syntactic monoid is…
An Algebraic Characterisation of First-Order Logic with Neighbour
Amaldev Manuel, Dhruv Nevatia
We give an algebraic characterisation of first-order logic with the neighbour relation, on finite words. For this, we consider languages of finite words over alphabets with an invo…