| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7806141 (Why is no real title available?)
| 2024-02-16 | Paper |
Analysis and Transformation of Constrained Horn Clauses for Program Verification
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Supplemental Material: A Classification Study on Testing and Verification of AI-based Systems
| 2023-02-20 | Dataset |
Removing algebraic data types from constrained Horn clauses using difference predicates
| 2022-11-09 | Paper |
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
Journal Of Logic And Computation | 2022-03-09 | Paper |
scientific article; zbMATH DE number 7453193 (Why is no real title available?)
| 2022-01-06 | Paper |
scientific article; zbMATH DE number 7447758 (Why is no real title available?)
| 2021-12-17 | Paper |
scientific article; zbMATH DE number 7444023 (Why is no real title available?)
| 2021-12-13 | Paper |
Removing unnecessary variables from Horn clause verification conditions
| 2021-12-07 | Paper |
Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
scientific article; zbMATH DE number 7364137 (Why is no real title available?)
| 2021-06-28 | Paper |
Verification of imperative programs by constraint logic program transformation
| 2021-06-21 | Paper |
Semantics and controllability of time-aware business processes
Fundamenta Informaticae | 2019-05-24 | Paper |
Solving Horn clauses on inductive data types without induction
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Predicate pairing with abstraction for relational verification
| 2018-09-06 | Paper |
Relational verification through Horn clause transformation
| 2018-08-27 | Paper |
Predicate pairing for program verification
Theory and Practice of Logic Programming | 2018-05-31 | Paper |
Program verification using constraint handling rules and array constraint generalizations
Fundamenta Informaticae | 2017-11-10 | Paper |
Proving correctness of imperative programs by linearizing constrained Horn clauses
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Verification of time-aware business processes using constrained Horn clauses
| 2017-10-13 | Paper |
A rule-based verification strategy for array manipulating programs
Fundamenta Informaticae | 2016-08-15 | Paper |
Efficient generation of test data structures using constraint logic programming and program transformation
Journal Of Logic And Computation | 2015-12-28 | Paper |
Verifying Array Programs by Transforming Verification Conditions
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Proving theorems by program transformation
Fundamenta Informaticae | 2013-11-28 | Paper |
Specialization with constrained generalization for software model checking
Logic-Based Program Synthesis and Transformation | 2013-09-13 | Paper |
Controlling polyvariance for specialization-based verification
Fundamenta Informaticae | 2013-07-30 | Paper |
Generalization strategies for the verification of infinite state systems
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
Constraint-based correctness proofs for logic program transformations
Formal Aspects of Computing | 2013-03-22 | Paper |
Using real relaxations during program specialization
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Synthesizing concurrent programs using answer set programming
Fundamenta Informaticae | 2013-01-14 | Paper |
Improving reachability analysis of infinite state systems by specialization
Fundamenta Informaticae | 2012-10-29 | Paper |
Improving reachability analysis of infinite state systems by specialization
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Program specialization for verifying infinite state systems: an experimental evaluation
Logic-Based Program Synthesis and Transformation | 2011-05-27 | Paper |
Combining logic programs and monadic second order logics by program transformation
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Transformations of logic programs on infinite lists
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
The transformational approach to program development
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Deciding full branching time logic by program transformation
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
A folding rule for eliminating existential variables from constraint logic programs
Fundamenta Informaticae | 2010-02-05 | Paper |
Totally correct logic program transformations via well-founded annotations
Higher-Order and Symbolic Computation | 2009-08-04 | Paper |
Automatic Correctness Proofs for Logic Program Transformations
Logic Programming | 2009-03-05 | Paper |
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
Logic Programming | 2009-01-22 | Paper |
Transformational Verification of Parameterized Protocols Using Array Formulas
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
Logic Programming | 2008-03-11 | Paper |
Derivation of efficient logic programs by specialization and reduction of nondeterminism
Higher-Order and Symbolic Computation | 2006-02-08 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
scientific article; zbMATH DE number 2222694 (Why is no real title available?)
| 2005-11-03 | Paper |
Transformations of logic programs with goals as arguments
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
scientific article; zbMATH DE number 2090119 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1973221 (Why is no real title available?)
| 2003-09-01 | Paper |
scientific article; zbMATH DE number 1926610 (Why is no real title available?)
| 2003-06-11 | Paper |
The list introduction strategy for the derivation of logic programs
Formal Aspects of Computing | 2002-09-25 | Paper |
scientific article; zbMATH DE number 1696824 (Why is no real title available?)
| 2002-01-28 | Paper |
scientific article; zbMATH DE number 1615258 (Why is no real title available?)
| 2001-07-08 | Paper |
scientific article; zbMATH DE number 1497831 (Why is no real title available?)
| 2001-03-05 | Paper |
Transformation of logic programs: Foundations and techniques
The Journal of Logic Programming | 2000-08-14 | Paper |
Synthesis and transformation of logic programs using unfold/fold proofs
The Journal of Logic Programming | 2000-02-06 | Paper |
scientific article; zbMATH DE number 1158762 (Why is no real title available?)
| 1998-06-03 | Paper |
Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
Theoretical Computer Science | 1997-02-28 | Paper |
scientific article; zbMATH DE number 549961 (Why is no real title available?)
| 1994-05-06 | Paper |
scientific article; zbMATH DE number 440117 (Why is no real title available?)
| 1993-12-06 | Paper |
scientific article; zbMATH DE number 177791 (Why is no real title available?)
| 1993-05-18 | Paper |
The loop absorption and the generalization strategies for the development of logic programs and partial deduction
The Journal of Logic Programming | 1993-01-01 | Paper |
scientific article; zbMATH DE number 4047721 (Why is no real title available?)
| 1987-01-01 | Paper |
