| Publication | Date of Publication | Type |
|---|
Invariant relations for affine loops
Acta Informatica | 2024-08-24 | Paper |
Toward a theory of program repair
Acta Informatica | 2023-08-16 | Paper |
Differentiators and detectors
Information Processing Letters | 2021-06-16 | Paper |
Convergence: integrating termination and abort-freedom
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Invariant functions and invariant relations: an alternative to invariant assertions
Journal of Symbolic Computation | 2012-11-12 | Paper |
A versatile concept for the analysis of loops
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Computing Preconditions and Postconditions of While Loops
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
Reflexive transitive invariant relations: A basis for computing loop functions
Journal of Symbolic Computation | 2010-11-10 | Paper |
Mathematics for reasoning about loop functions
Science of Computer Programming | 2009-12-11 | Paper |
Relational methods in the analysis of while loops: observations of versatility
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Relational characterizations of system fault tolerance
Science of Computer Programming | 2005-08-05 | Paper |
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering
Annals of Software Engineering | 2003-02-19 | Paper |
| scientific article; zbMATH DE number 1735899 (Why is no real title available?) | 2002-09-05 | Paper |
Managing software reuse economics: An integrated ROI-based model
Annals of Software Engineering | 2002-04-15 | Paper |
Semantic distance between specifications
Theoretical Computer Science | 2000-10-26 | Paper |
A calculus of program adaption and its applications
Science of Computer Programming | 2000-09-14 | Paper |
Unifying program construction and modification
Logic Journal of the IGPL | 1998-04-02 | Paper |
| scientific article; zbMATH DE number 1086636 (Why is no real title available?) | 1997-11-13 | Paper |
A relational calculus for program construction by parts
Science of Computer Programming | 1996-07-03 | Paper |
Relation-based semantics for concurrency
Information Sciences | 1995-11-14 | Paper |
A relational division operator: The conjugate kernel
Theoretical Computer Science | 1994-01-19 | Paper |
On the mathematics of sequential decompositions
Science of Computer Programming | 1993-09-16 | Paper |
On the lattice of specifications: Applications to a specification methodology
Formal Aspects of Computing | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 90776 (Why is no real title available?) | 1993-01-16 | Paper |
Heuristics for constructing while loops
Science of Computer Programming | 1992-09-27 | Paper |
Regularity of relations: A measure of uniformity
Theoretical Computer Science | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4054999 (Why is no real title available?) | 1988-01-01 | Paper |
Relational heuristics for the design of deterministic programs
Acta Informatica | 1987-01-01 | Paper |
Formal models of stepwise refinements of programs
ACM Computing Surveys | 1986-01-01 | Paper |
Specification methodology: An integrated relational approach
Software: Practice and Experience | 1986-01-01 | Paper |
Strongest invariant functions: Their use in the systematic analysis of while statements
Acta Informatica | 1985-01-01 | Paper |
Towards a Theory of Forward Error Recovery
IEEE Transactions on Software Engineering | 1985-01-01 | Paper |
A relational approach to the design of deterministic programs
Acta Informatica | 1983-01-01 | Paper |
Verifying programs by induction on their data structure: general format and applications
Information Processing Letters | 1983-01-01 | Paper |
Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs
IEEE Transactions on Computers | 1982-01-01 | Paper |
