Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. - Tim Nelson; Nicholas DeMarinis; Timothy Adam Hoff; Rodrigo Fonseca; Shriram Krishnamurthi (HotNets, 2016)

Compiling Stateful Network Properties for Runtime Verification. - Tim Nelson; Nicholas DeMarinis; Timothy Adam Hoff; Rodrigo Fonseca; Shriram Krishnamurthi (CoRR, 2016)