Ali Mili

Available identifiers

zbMath Open mili.aliDBLPm/AliMiliWikidataQ102252492 ScholiaQ102252492MaRDI QIDQ797984

List of research outcomes

Publication	Date of Publication	Type
Invariant relations for affine loops	2024-08-24	Paper
Toward a theory of program repair	2023-08-16	Paper
Differentiators and detectors	2021-06-16	Paper
Convergence: integrating termination and abort-freedom	2018-06-27	Paper
Invariant functions and invariant relations: an alternative to invariant assertions	2012-11-12	Paper
A versatile concept for the analysis of loops	2012-08-14	Paper
Computing Preconditions and Postconditions of While Loops	2012-01-06	Paper
Reflexive transitive invariant relations: A basis for computing loop functions	2010-11-10	Paper
Mathematics for reasoning about loop functions	2009-12-11	Paper
Relational methods in the analysis of while loops: observations of versatility	2009-12-11	Paper
Relational characterizations of system fault tolerance	2005-08-05	Paper
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering	2003-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4329260	2002-09-05	Paper
Managing software reuse economics: An integrated ROI-based model	2002-04-15	Paper
Semantic distance between specifications	2000-10-26	Paper
A calculus of program adaption and its applications	2000-09-14	Paper
Unifying program construction and modification	1998-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4362886	1997-11-13	Paper
A relational calculus for program construction by parts	1996-07-03	Paper
Relation-based semantics for concurrency	1995-11-14	Paper
A relational division operator: The conjugate kernel	1994-01-19	Paper
On the mathematics of sequential decompositions	1993-09-16	Paper
On the lattice of specifications: Applications to a specification methodology	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4018960	1993-01-16	Paper
Heuristics for constructing while loops	1992-09-27	Paper
Regularity of relations: A measure of uniformity	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3790608	1988-01-01	Paper
Relational heuristics for the design of deterministic programs	1987-01-01	Paper
Formal models of stepwise refinements of programs	1986-01-01	Paper
Specification methodology: An integrated relational approach	1986-01-01	Paper
Strongest invariant functions: Their use in the systematic analysis of while statements	1985-01-01	Paper
Towards a Theory of Forward Error Recovery	1985-01-01	Paper
A relational approach to the design of deterministic programs	1983-01-01	Paper
Verifying programs by induction on their data structure: general format and applications	1983-01-01	Paper
Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs	1982-01-01	Paper

Research outcomes over time

This page was built for person: Ali Mili