Jeremie Miserez

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 1

Top Topics

Automatic Detection

Network Analysis

Static Analysis

Top Venues

Publications

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev
SDNRacer: concurrency analysis for software-defined networks. PLDI (2016)
Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev
SDNRacer: detecting concurrency violations in software-defined networks. SOSR (2015)