Author of the publication

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

VeriCon: Towards Verifying Controller Programs in Software-defined Networks, , , , , , , and . SIGPLAN Not., 49 (6): 282--293 (June 2014)Formal Foundations for Networking (Dagstuhl Seminar 15071)., , , and . Dagstuhl Reports, 5 (2): 44-63 (2015)Preface of the special issue on the conference on formal methods in computer aided design 2018., and . Formal Methods Syst. Des., 57 (2): 119-120 (2021)Foreword., and . J. Symb. Comput., 47 (12): 1413-1415 (2012)Algebra-Based Reasoning for Loop Synthesis., , , and . Formal Aspects Comput., 34 (1): 1-31 (2022)From Primal Infon Logic with Individual Variables to Datalog., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 72-86. Springer, (2012)Validating datacenters at scale., , , , , , , , , and 7 other author(s). SIGCOMM, page 200-213. ACM, (2019)Checking Beliefs in Dynamic Networks., , , , and . NSDI, page 499-512. USENIX Association, (2015)Satisfiability Modulo Theories: An Appetizer., and . SBMF, volume 5902 of Lecture Notes in Computer Science, page 23-36. Springer, (2009)Engineering Theories with Z3.. IWIL@LPAR, volume 22 of EPiC Series in Computing, page 1-2. EasyChair, (2012)