Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 338
Ali Milli - MaRDI portal

Ali Milli

From MaRDI portal
(Redirected from Person:241119)
Person:797984

Available identifiers

zbMath Open mili.aliWikidataQ102252492 ScholiaQ102252492MaRDI QIDQ797984

List of research outcomes

PublicationDate of PublicationType
Toward a theory of program repair2023-08-16Paper
Differentiators and detectors2021-06-16Paper
Convergence: integrating termination and abort-freedom2018-06-27Paper
Invariant functions and invariant relations: an alternative to invariant assertions2012-11-12Paper
A versatile concept for the analysis of loops2012-08-14Paper
Computing Preconditions and Postconditions of While Loops2012-01-06Paper
Reflexive transitive invariant relations: A basis for computing loop functions2010-11-10Paper
Mathematics for reasoning about loop functions2009-12-11Paper
Relational Methods in the Analysis of While Loops: Observations of Versatility2009-12-11Paper
Relational characterizations of system fault tolerance2005-08-05Paper
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering2003-02-19Paper
https://portal.mardi4nfdi.de/entity/Q43292602002-09-05Paper
Managing software reuse economics: An integrated ROI-based model2002-04-15Paper
Semantic distance between specifications2000-10-26Paper
A calculus of program adaption and its applications2000-09-14Paper
Unifying program construction and modification1998-04-02Paper
https://portal.mardi4nfdi.de/entity/Q43628861997-11-13Paper
A relational calculus for program construction by parts1996-07-03Paper
Relation-based semantics for concurrency1995-11-14Paper
A relational division operator: The conjugate kernel1994-01-19Paper
On the mathematics of sequential decompositions1993-09-16Paper
On the lattice of specifications: Applications to a specification methodology1993-04-01Paper
https://portal.mardi4nfdi.de/entity/Q40189601993-01-16Paper
Heuristics for constructing while loops1992-09-27Paper
Regularity of relations: A measure of uniformity1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37906081988-01-01Paper
Relational heuristics for the design of deterministic programs1987-01-01Paper
Specification methodology: An integrated relational approach1986-01-01Paper
Formal models of stepwise refinements of programs1986-01-01Paper
Strongest invariant functions: Their use in the systematic analysis of while statements1985-01-01Paper
Towards a Theory of Forward Error Recovery1985-01-01Paper
Verifying programs by induction on their data structure: general format and applications1983-01-01Paper
A relational approach to the design of deterministic programs1983-01-01Paper
Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs1982-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Ali Milli