Manfred Kersken

Anwendung und Automatisierung der Analyse von Prozeßrechnerprogrammen

K. Okroy, Manfred Kersken, 1977, Fachtagung Prozessrechner.

The Role of Static Analysis in Software Reliability Assessment

Manfred Kersken, 1990 .

Zuverlässigkeitseigenschaften diversitärer Programmsysteme

Manfred Kersken, Wolfgang D. Ehrenberger, 1981, Fachtagung Prozessrechner.

Software Fault Tolerance

Manfred Kersken, Francesca Saglietti, F. Saglietti, 1992, Research Reports ESPRIT.

Software Fault Tolerance: Achievement and Assessment Strategies

Francesca Saglietti, Manfred Kersken, 1992 .

Quantitative Assessment of Fault-Tolerant Software Architecture

Francesca Saglietti, Manfred Kersken, 1987, Fehlertolerierende Rechensysteme.