An Analysis of Paging and Program Behaviour. - Mathai Joseph (Comput. J., 1970)

More on Nested Monitor Calls. - Mathai Joseph; V. R. Prasad (ACM SIGOPS Oper. Syst. Rev., 1978)

Some Aspects of Concurrent Programmming in CCNPASCAL. - K. T. Narayana; V. R. Prasad; Mathai Joseph (Softw. Pract. Exp., 1979)

Co-Operative Recovery From Faults in Distributed Programs. - Mathai Joseph; Abha Moitra (IFIP Congress, 1983)

Algebraic Specification Of A Communication Scheduler. - Mathai Joseph; Abha Moitra (TAPSOFT, Vol.2, 1985)

On a Problem in Real-Time Computing. - Mathai Joseph (Inf. Process. Lett., 1985)

Finding Response Times in a Real-Time System. - Mathai Joseph; Paritosh K. Pandya (Comput. J., 1986)

A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls. - Paritosh K. Pandya; Mathai Joseph (Comput. J., 1986)

Proof Rules for Fault Tolerant Distributed Programs. - Mathai Joseph; Abha Moitra; Neelam Soundararajan (Sci. Comput. Program., 1987)

Semancitcs of Real-time Distributed Programs. - Asis Goswami; Mathai Joseph (Concurrency, 1988)

Semantics for Specifying Real-Time Systems. - Mathai Joseph; Asis Goswami (Specification and Verification of Concurrent Systems, 1988)

What's 'Real' about Real-Time Systems? - Mathai Joseph; Asis Goswami (RTSS, 1988)

Time and Real-time in Programs. - Mathai Joseph (FSTTCS, 1989)

Problems, Promises and Performance: Some Questions for Real-time System Specification. - Mathai Joseph (REX Workshop, 1991)

P - A Logic - A Compositional Proof System for Distributed Programs. - Paritosh K. Pandya; Mathai Joseph (Distributed Comput., 1991)

ISL: An Interval Logic for the Specification of Real-time Programs. - Asis Goswami; Michael Bell; Mathai Joseph (FTRTFT, 1992)

Transformation of Programs for Fault-Tolerance. - Zhiming Liu 001; Mathai Joseph (Formal Aspects Comput., 1992)

A Compositional Approach for Fault-Tolerance Using Specification Transformation. - Doron A. Peled; Mathai Joseph (PARLE, 1993)

Stepwise Development of Fault-Tolerant Reactive Systems. - Zhiming Liu 001; Mathai Joseph (FTRTFT, 1994)

Automated timing analysis of real-time programs. - M. R. Hill; Mathai Joseph (Softw. Eng. J., 1994)

A Compositional Framework for Fault Tolerance by Specification Transformation. - Doron A. Peled; Mathai Joseph (Theor. Comput. Sci., 1994)

Verification of Schedulability for Real-Time Programs. - Zhiming Liu 001; Mathai Joseph; Tomasz Janowski (Formal Aspects Comput., 1995)

Real-time systems - specification, verification and analysis. - Mathai Joseph (Prentice Hall, 1996)

Verification of Fault Tolerance and Real Time. - Zhiming Liu 001; Mathai Joseph (FTCS, 1996)

Dynamic Scheduling in the Presence of Faults: Specification and Verification. - Tomasz Janowski; Mathai Joseph (FTRTFT, 1996)

Formalizing Real-Time Scheduling as Program Refinement. - Zhiming Liu 001; Mathai Joseph (ARTS, 1997)

Specification and Verification of Fault-Tolerance, Timing, and Scheduling. - Zhiming Liu 001; Mathai Joseph (ACM Trans. Program. Lang. Syst., 1999)

Formalizing Models and Meta-models for System Development. - R. Venkatesh; Purandar Bhaduri; Mathai Joseph (APSEC, 2001)

Dynamic Scheduling and Fault-Tolerance: Specification and Verification. - Tomasz Janowski; Mathai Joseph (Real Time Syst., 2001)

Verification, refinement and scheduling of real-time programs. - Zhiming Liu 001; Mathai Joseph (Theor. Comput. Sci., 2001)

Meta-Modelling for Formal Software Development. - Ashok Sreenivas; R. Venkatesh; Mathai Joseph (CATS, 2001)

Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. - Mathai Joseph (ICFEM, 2003)

Real-Time and Fault-Tolerant Systems. - Zhiming Liu 001; Mathai Joseph (PSSE, 2004)

Care, Feeding and Growth of Software Systems. - Mathai Joseph (SEFM, 2004)

Formal Aids for the Growth of Software Systems. - Mathai Joseph (FM, 2005)

Engineering the Development of Embedded Systems. - Mathai Joseph (Formal Methods and Hybrid Real-Time Systems, 2007)

Abstractions for Real Real-time Systems. - Mathai Joseph (TASE, 2007)