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)Report on Networking and Programming Languages 2017., , and . Comput. Commun. Rev., 47 (5): 39-41 (2017)Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)., , , and . Dagstuhl Reports, 11 (9): 80-101 (2021)Verifying temporal properties of reactive systems: A STeP tutorial, , , , , , and . FORMAL METHODS IN SYSTEM DESIGN, page 2000. (2000)An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts., , , , , and . CoRR, (2023)Preface: Special Issue of Selected Extended Papers of CADE-23., and . J. Autom. Reason., 51 (1): 1-2 (2013)Satisfiability Modulo Custom Theories in Z3., , and . VMCAI, volume 13881 of Lecture Notes in Computer Science, page 91-105. Springer, (2023)Abduction for Learning Smart City Rules., , and . GCAI, volume 50 of EPiC Series in Computing, page 233-238. EasyChair, (2017)Z3: An Efficient SMT Solver., and . TACAS, volume 4963 of Lecture Notes in Computer Science, page 337-340. Springer, (2008)Deductive Verification of Real-Time Systems Using STeP., , , and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 22-43. Springer, (1997)