Timothy Adam Hoff

According to our database1, Timothy Adam Hoff authored at least 2 papers in 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Compiling Stateful Network Properties for Runtime Verification.
CoRR, 2016

Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.
Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016


  Loading...