Collaborated with:M.T.Vechev A.El-Hassany P.Tsankov Jeremie Miserez P.Bielik T.Gehr S.Misailovic Pascal Wiesmann
Talks about:network (3) probabilist (1) synthesi (1) configur (1) softwar (1) concurr (1) bayonet (1) analysi (1) racer (1) infer (1)
Person: Laurent Vanbever
DBLP: Vanbever:Laurent
Contributed to:
2017
20162018Wrote 3 papers:
- CAV-2017-El-HassanyTVV #synthesis
- Network-Wide Configuration Synthesis (AEH, PT, LV, MTV), pp. 261–281.
- PLDI-2016-El-HassanyMBVV #analysis #concurrent #named #network
- SDNRacer: concurrency analysis for software-defined networks (AEH, JM, PB, LV, MTV), pp. 402–415.
- PLDI-2018-GehrMTVWV #named #network #probability
- Bayonet: probabilistic inference for networks (TG, SM, PT, LV, PW, MTV), pp. 586–602.