Search filters

List of works by Ali Mili

A relational division operator: the conjugate kernel

Embedding a demonic semilattice in a relation algebra

scholarly article by Jules Desharnais et al published October 1995 in Theoretical Computer Science

Modeling security as a dependability attribute: a refinement-based approach

scientific article published on 24 February 2006

Modeling the evolution of operating systems: An empirical study

On Faults and Faulty Programs

article

On the use of executable assertions in structured programs

Quantifying security threats and their potential impacts: a case study

scientific article published on 26 March 2010

Relational Mathematics for Relative Correctness

article

Semantic metrics for software products

The use of executable assertions for error detection and damage assessment

What is a fault? and why does it matter?

Paulina is supported by:

About Paulina

Help