Mathai Joseph

According to our database, Mathai Joseph authored at least 37 papers between 1970 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Abstractions for Real Real-time Systems.

Mathai Joseph

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Engineering the Development of Embedded Systems.

Mathai Joseph

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2005

Formal Aids for the Growth of Software Systems.

Mathai Joseph

Proceedings of the FM 2005: Formal Methods, 2005

2004

Care, Feeding and Growth of Software Systems.

Mathai Joseph

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Real-Time and Fault-Tolerant Systems.

Zhiming Liu, Mathai Joseph

Proceedings of the Refinement Techniques in Software Engineering, 2004

2003

Adding Formalism to Methods or <i>Where and When Will Industry Use Formal Reasoning?</i>.

Mathai Joseph

Proceedings of the Formal Methods and Software Engineering, 2003

2001

Meta-Modelling for Formal Software Development.

Ashok Sreenivas, R. Venkatesh, Mathai Joseph

Proceedings of the Computing: The Australasian Theory Symposium, 2001

Verification, refinement and scheduling of real-time programs.

Zhiming Liu, Mathai Joseph

Theor. Comput. Sci., 2001

Dynamic Scheduling and Fault-Tolerance: Specification and Verification.

Tomasz Janowski, Mathai Joseph

Real Time Syst., 2001

Formalizing Models and Meta-models for System Development.

R. Venkatesh, Purandar Bhaduri, Mathai Joseph

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999

Specification and Verification of Fault-Tolerance, Timing, and Scheduling.

Zhiming Liu, Mathai Joseph

ACM Trans. Program. Lang. Syst., 1999

1997

Formalizing Real-Time Scheduling as Program Refinement.

Zhiming Liu, Mathai Joseph

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Dynamic Scheduling in the Presence of Faults: Specification and Verification.

Tomasz Janowski, Mathai Joseph

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Verification of Fault Tolerance and Real Time.

Zhiming Liu, Mathai Joseph

Proceedings of the Digest of Papers: FTCS-26, 1996

Real-time systems - specification, verification and analysis.

Mathai Joseph

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-455297-2, 1996

1995

Verification of Schedulability for Real-Time Programs.

Zhiming Liu, Mathai Joseph, Tomasz Janowski

Formal Aspects Comput., 1995

1994

A Compositional Framework for Fault Tolerance by Specification Transformation.

Doron A. Peled, Mathai Joseph

Theor. Comput. Sci., 1994

Automated timing analysis of real-time programs.

M. R. Hill, Mathai Joseph

Softw. Eng. J., 1994

Stepwise Development of Fault-Tolerant Reactive Systems.

Zhiming Liu, Mathai Joseph

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

A Compositional Approach for Fault-Tolerance Using Specification Transformation.

Doron A. Peled, Mathai Joseph

Proceedings of the PARLE '93, 1993

1992

Transformation of Programs for Fault-Tolerance.

Zhiming Liu, Mathai Joseph

Formal Aspects Comput., 1992

ISL: An Interval Logic for the Specification of Real-time Programs.

Asis Goswami, Michael Bell, Mathai Joseph

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

P - A Logic - A Compositional Proof System for Distributed Programs.

Paritosh K. Pandya, Mathai Joseph

Distributed Comput., 1991

Problems, Promises and Performance: Some Questions for Real-time System Specification.

Mathai Joseph

Proceedings of the Real-Time: Theory in Practice, 1991

1989

Time and Real-time in Programs.

Mathai Joseph

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

What's 'Real' about Real-Time Systems?

Mathai Joseph, Asis Goswami

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Semantics for Specifying Real-Time Systems.

Mathai Joseph, Asis Goswami

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

Semancitcs of Real-time Distributed Programs.

Asis Goswami, Mathai Joseph

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987

Proof Rules for Fault Tolerant Distributed Programs.

Mathai Joseph, Abha Moitra, Neelam Soundararajan

Sci. Comput. Program., 1987

1986

A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls.

Paritosh K. Pandya, Mathai Joseph

Comput. J., 1986

Finding Response Times in a Real-Time System.

Mathai Joseph, Paritosh K. Pandya

Comput. J., 1986

1985

On a Problem in Real-Time Computing.

Mathai Joseph

Inf. Process. Lett., 1985

Algebraic Specification Of A Communication Scheduler.

Mathai Joseph, Abha Moitra

Proceedings of the Mathematical Foundations of Software Development, 1985

1983

Co-Operative Recovery From Faults in Distributed Programs.

Mathai Joseph, Abha Moitra

Proceedings of the Information Processing 83, 1983

1979

Some Aspects of Concurrent Programmming in CCNPASCAL.

K. T. Narayana, V. R. Prasad, Mathai Joseph

Softw. Pract. Exp., 1979

1978

More on Nested Monitor Calls.

Mathai Joseph, V. R. Prasad

ACM SIGOPS Oper. Syst. Rev., 1978

1970

An Analysis of Paging and Program Behaviour.

Mathai Joseph

Comput. J., 1970