Author of the publication

Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.

, , , , and . HotNets, page 99-105. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compiling Stateful Network Properties for Runtime Verification., , , , and . CoRR, (2016)The power of "why" and "why not": enriching scenario exploration with provenance., , , and . ESEC/SIGSOFT FSE, page 106-116. ACM, (2017)Prototyping Formal Methods Tools: A Protocol Analysis Case Study., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 394-413. Springer, (2021)Static Differential Program Analysis for Software-Defined Networks., , and . FM, volume 9109 of Lecture Notes in Computer Science, page 395-413. Springer, (2015)Tierless Programming and Reasoning for Software-Defined Networks., , , and . NSDI, page 519-531. USENIX Association, (2014)Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion., , , , and . HotNets, page 99-105. ACM, (2016)The Human in Formal Methods., and . FM, volume 11800 of Lecture Notes in Computer Science, page 3-10. Springer, (2019)Exodus: toward automatic migration of enterprise network configurations to SDNs., , , , and . SOSR, page 13:1-13:7. ACM, (2015)Aluminum: principled scenario exploration through minimality., , , , and . ICSE, page 232-241. IEEE Computer Society, (2013)Using Relational Problems to Teach Property-Based Testing., , and . CoRR, (2020)