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)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)Scalable Optimal Layout Synthesis for NISQ Quantum Processors., , , , and . DAC, page 1-6. IEEE, (2023)User-Propagators for Custom Theories in SMT Solving., , and . SMT, volume 3185 of CEUR Workshop Proceedings, page 71-79. CEUR-WS.org, (2022)STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems., , , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 415-418. Springer, (1996)