Mathai Joseph - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2007

Engineering the Development of Embedded SystemsMathai Joseph. birthday 2007: 391-398 [doi]

Abstractions for Real Real-time SystemsMathai Joseph. tase 2007: 22 [doi]

2005

Formal Aids for the Growth of Software SystemsMathai Joseph. FM 2005: 1 [doi]

2004

Care, Feeding and Growth of Software SystemsMathai Joseph. SEFM 2004: 186 [doi]

Real-Time and Fault-Tolerant SystemsZhiming Liu, Mathai Joseph. psse 2006: 156-219 [doi]

2003

Adding Formalism to Methods or ::::Where and When Will Industry Use Formal Reasoning?::::Mathai Joseph. icfem 2003: 26-33 [doi]

2001

1999

Specification and Verification of Fault-Tolerance, Timing, and SchedulingZhiming Liu, Mathai Joseph. TOPLAS, 21(1):46-89, 1999. [doi]

1997

Formalizing Real-Time Scheduling as Program RefinementZhiming Liu, Mathai Joseph. arts 1997: 295-309

1996

Dynamic Scheduling in the Presence of Faults: Specification and VerificationTomasz Janowski, Mathai Joseph. ftrtft 1996: 279-297

Real-time systems - specification, verification and analysisMathai Joseph. Prentice Hall International series in computer science, Prentice Hall, 1996.

Verification of Fault Tolerance and Real TimeZhiming Liu, Mathai Joseph. ftcs 1996: 220-229

1995

Verification of Schedulability for Real-Time ProgramsZhiming Liu, Mathai Joseph, Tomasz Janowski. fac, 7(5):510-532, 1995.

1994

Stepwise Development of Fault-Tolerant Reactive SystemsZhiming Liu, Mathai Joseph. ftrtft 1994: 529-546

A Compositional Framework for Fault Tolerance by Specification TransformationDoron Peled, Mathai Joseph. TCS, 128(1&2):99-125, 1994.

1993

A Compositional Approach for Fault-Tolerance Using Specification TransformationDoron Peled, Mathai Joseph. parle 1993: 173-184

1992

ISL: An Interval Logic for the Specification of Real-time ProgramsAsis Goswami, Michael Bell, Mathai Joseph. ftrtft 1991: 1-20

Transformation of Programs for Fault-ToleranceZhiming Liu, Mathai Joseph. fac, 4(5):442-469, 1992.

1991

Problems, Promises and Performance: Some Questions for Real-time System SpecificationMathai Joseph. rex 1992: 315-324

P - A Logic - A Compositional Proof System for Distributed ProgramsParitosh K. Pandya, Mathai Joseph. dc, 5:37-54, 1991.

1989

Time and Real-time in ProgramsMathai Joseph. fsttcs 1989: 312-324

1988

Semancitcs of Real-time Distributed ProgramsAsis Goswami, Mathai Joseph. concur 1988: 292-306

Semantics for Specifying Real-Time SystemsMathai Joseph, Asis Goswami. facs 1990: 272-275

What s Real about Real-Time Systems?Mathai Joseph, Asis Goswami. rtss 1988: 78-85

1987

Proof Rules for Fault Tolerant Distributed ProgramsMathai Joseph, Abha Moitra, Neelam Soundararajan. SCP, 8(1):43-67, 1987.

1986

Finding Response Times in a Real-Time SystemMathai Joseph, Paritosh K. Pandya. cj, 29(5):390-395, 1986.

A Structure-Directed Total Correctness Proof Rule for Recursive Procedure CallsParitosh K. Pandya, Mathai Joseph. cj, 29(6):531-537, 1986.

1985

On a Problem in Real-Time ComputingMathai Joseph. ipl, 20(4):173-177, 1985.

Algebraic Specification Of A Communication SchedulerMathai Joseph, Abha Moitra. tapsoft 1985: 356-370

1983

Co-Operative Recovery From Faults in Distributed ProgramsMathai Joseph, Abha Moitra. ifip 1983: 481-486

Sign in or sign up to see more results.

runs on WebDSL