Mathai Joseph

Available identifiers

zbMath Open joseph.mathaiWikidataQ15990096 ScholiaQ15990096MaRDI QIDQ757078

List of research outcomes

Publication	Date of Publication	Type
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2703740	2001-05-08	Paper
Dynamic scheduling and fault-tolerance: Specification and verification	2001-02-18	Paper
Verification, refinement and scheduling of real-time programs	2000-12-12	Paper
Verification of schedulability for real-time programs	1996-05-27	Paper
A compositional framework for fault tolerance by specification transformation	1994-07-21	Paper
Transformation of programs for fault-tolerance	1993-01-17	Paper
P-A logic - a compositional proof system for distributed programs	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3361874	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3814777	1988-01-01	Paper
Proof rules for fault tolerant distributed programs	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3316570	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: Mathai Joseph