Login / Signup
Timothy Adam Hoff
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Structural Properties
Protein Protein Interactions
Online Social Networks
Degree Distribution
Top Venues
CoRR
HotNets
</>
Publications
</>
Tim Nelson
,
Nicholas DeMarinis
,
Timothy Adam Hoff
,
Rodrigo Fonseca
,
Shriram Krishnamurthi
Compiling Stateful Network Properties for Runtime Verification.
CoRR
(2016)
Tim Nelson
,
Nicholas DeMarinis
,
Timothy Adam Hoff
,
Rodrigo Fonseca
,
Shriram Krishnamurthi
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.
HotNets
(2016)