M
Mathai Joseph
Researcher at University of Warwick
Publications - 42
Citations - 1950
Mathai Joseph is an academic researcher from University of Warwick. The author has contributed to research in topics: Scheduling (computing) & Dynamic priority scheduling. The author has an hindex of 14, co-authored 42 publications receiving 1882 citations. Previous affiliations of Mathai Joseph include Tata Research Development and Design Centre & Tata Institute of Fundamental Research.
Papers
More filters
Journal ArticleDOI
Finding Response Times in a Real-Time System
Mathai Joseph,Paritosh K. Pandya +1 more
Book
Real-Time Systems: Specification, Verification, and Analysis
Joseph Mattai,Mathai Joseph +1 more
TL;DR: From the Publisher: Real-time Systems: Specification, Verification and Analysis provides a detailed account of three major aspects of real-time systems: program structures for real- time, timing analysis using scheduling theory, and specification and verification in different formal frameworks.
Journal ArticleDOI
Transformation of programs for fault-tolerance
Zhiming Liu,Mathai Joseph +1 more
TL;DR: The approach to fault-tolerant programming is illustrated by considering the problem of designing a protocol that guarantees reliable communication from a sender to a receiver in spite of faults in the communication channel between them.
Journal ArticleDOI
Specification and verification of fault-tolerance, timing, and scheduling
Zhiming Liu,Mathai Joseph +1 more
TL;DR: This article shows how fault-tolerance, timing, and schedulability can be specified and verified using a single notation and model, which allows a unified view to be taken of the functional and nonfunctional properties of programs and a simple transformational method to be used to combine these properties.
Journal ArticleDOI
P-A logic: a compositional proof system for distributed programs
Paritosh K. Pandya,Mathai Joseph +1 more
TL;DR: Proof rules for deriving some liveness properties of a program from its P-A logic specification are discussed; these properties have the form “Q untilR”, whereQ, R are assertions over communication traces.