Mathai Joseph

Publication Activity (10 Years)

Years Active: 1983-2007
Publications (10 Years): 0

Publications

Mathai Joseph
Abstractions for Real Real-time Systems. TASE (2007)
Mathai Joseph
Engineering the Development of Embedded Systems. Formal Methods and Hybrid Real-Time Systems (2007)
Mathai Joseph
Formal Aids for the Growth of Software Systems. FM (2005)
Zhiming Liu, Mathai Joseph
Real-Time and Fault-Tolerant Systems. PSSE (2004)
Mathai Joseph
Care, Feeding and Growth of Software Systems. SEFM (2004)
Mathai Joseph
. ICFEM (2003)
Tomasz Janowski, Mathai Joseph
Dynamic Scheduling and Fault-Tolerance: Specification and Verification. Real Time Syst. 20 (1) (2001)
R. Venkatesh, Purandar Bhaduri, Mathai Joseph
Formalizing Models and Meta-models for System Development. APSEC (2001)
Zhiming Liu, Mathai Joseph
Verification, refinement and scheduling of real-time programs. Theor. Comput. Sci. 253 (1) (2001)
Ashok Sreenivas, R. Venkatesh, Mathai Joseph
Meta-Modelling for Formal Software Development. Electron. Notes Theor. Comput. Sci. 42 (2001)
Zhiming Liu, Mathai Joseph
Specification and Verification of Fault-Tolerance, Timing, and Scheduling. ACM Trans. Program. Lang. Syst. 21 (1) (1999)
Zhiming Liu, Mathai Joseph
Formalizing Real-Time Scheduling as Program Refinement. ARTS (1997)
Tomasz Janowski, Mathai Joseph
Dynamic Scheduling in the Presence of Faults: Specification and Verification. FTRTFT (1996)
Zhiming Liu, Mathai Joseph
Verification of Fault Tolerance and Real Time. FTCS (1996)
Zhiming Liu, Mathai Joseph, Tomasz Janowski
Verification of Schedulability for Real-Time Programs. Formal Aspects Comput. 7 (5) (1995)
Zhiming Liu, Mathai Joseph
Stepwise Development of Fault-Tolerant Reactive Systems. FTRTFT (1994)
Doron A. Peled, Mathai Joseph
A Compositional Framework for Fault Tolerance by Specification Transformation. Theor. Comput. Sci. 128 (1&2) (1994)
Doron A. Peled, Mathai Joseph
A Compositional Approach for Fault-Tolerance Using Specification Transformation. PARLE (1993)
Zhiming Liu, Mathai Joseph
Transformation of Programs for Fault-Tolerance. Formal Aspects Comput. 4 (5) (1992)
Asis Goswami, Michael Bell, Mathai Joseph
ISL: An Interval Logic for the Specification of Real-time Programs. FTRTFT (1992)
Mathai Joseph
Problems, Promises and Performance: Some Questions for Real-time System Specification. REX Workshop (1991)
Paritosh K. Pandya, Mathai Joseph
P - A Logic - A Compositional Proof System for Distributed Programs. Distributed Comput. 5 (1991)
Mathai Joseph
Time and Real-time in Programs. FSTTCS (1989)
Asis Goswami, Mathai Joseph
Semancitcs of Real-time Distributed Programs. Concurrency (1988)
Mathai Joseph, Asis Goswami
What's 'Real' about Real-Time Systems? RTSS (1988)
Mathai Joseph, Asis Goswami
Semantics for Specifying Real-Time Systems. Specification and Verification of Concurrent Systems (1988)
Mathai Joseph, Abha Moitra, Neelam Soundararajan
Proof Rules for Fault Tolerant Distributed Programs. Sci. Comput. Program. 8 (1) (1987)
Mathai Joseph, Paritosh K. Pandya
Finding Response Times in a Real-Time System. Comput. J. 29 (5) (1986)
Paritosh K. Pandya, Mathai Joseph
A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls. Comput. J. 29 (6) (1986)
Mathai Joseph
On a Problem in Real-Time Computing. Inf. Process. Lett. 20 (4) (1985)
Mathai Joseph, Abha Moitra
Algebraic Specification Of A Communication Scheduler. TAPSOFT, Vol.2 (1985)
Mathai Joseph, Abha Moitra
Co-Operative Recovery From Faults in Distributed Programs. IFIP Congress (1983)