Person:797984

Available identifiers

zbMath Open mili.aliWikidataQ102252492 ScholiaQ102252492MaRDI QIDQ797984

List of research outcomes

Publication	Date of Publication	Type
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
Specification methodology: An integrated relational approach	1986-01-01	Paper
Formal models of stepwise refinements of programs	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
Verifying programs by induction on their data structure: general format and applications	1983-01-01	Paper
A relational approach to the design of deterministic programs	1983-01-01	Paper
Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ali Milli