Author of the publication

Verification of Time-Aware Business Processes Using Constrained Horn Clauses.

, , , , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 38-55. Springer, (2016)

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

CHC-COMP 2022: Competition Report., and . HCVS/VPT@ETAPS, volume 373 of EPTCS, page 44-62. (2022)Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification., , , and . CILC, volume 2396 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Property-Based Test Case Generators for Free., , , , and . TAP@FM, volume 11823 of Lecture Notes in Computer Science, page 186-206. Springer, (2019)Software Model Checking by Program Specialization.. ICLP (Technical Communications), volume 17 of LIPIcs, page 439-444. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates., , , and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 83-102. Springer, (2020)Analysis and Transformation of Constrained Horn Clauses for Program Verification., , , , , and . Theory Pract. Log. Program., 22 (6): 974-1042 (2022)Multiple Query Satisfiability of Constrained Horn Clauses., , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 125-143. Springer, (2023)Lemma Generation for Horn Clause Satisfiability: A Preliminary Study., , , and . VPT@Programming, volume 299 of EPTCS, page 4-18. (2019)Semantics and Controllability of Time-Aware Business Processes., , , , and . Fundam. Informaticae, 165 (3-4): 205-244 (2019)Multiple Query Satisfiability of Constrained Horn Clauses., , , and . CoRR, (2022)