The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mathai Joseph: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. R. Venkatesh, Purandar Bhaduri, Mathai Joseph
    Formalizing Models and Meta-models for System Development. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:155-0 [Conf]
  2. Zhiming Liu, Mathai Joseph
    Formalizing Real-Time Scheduling as Program Refinement. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:295-309 [Conf]
  3. Asis Goswami, Mathai Joseph
    Semancitcs of Real-time Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:292-306 [Conf]
  4. Mathai Joseph, Asis Goswami
    Semantics for Specifying Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Specification and Verification of Concurrent Systems, 1988, pp:272-275 [Conf]
  5. Mathai Joseph
    Formal Aids for the Growth of Software Systems. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:1- [Conf]
  6. Mathai Joseph
    Time and Real-time in Programs. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1989, pp:312-324 [Conf]
  7. Zhiming Liu, Mathai Joseph
    Verification of Fault Tolerance and Real Time. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:220-229 [Conf]
  8. Tomasz Janowski, Mathai Joseph
    Dynamic Scheduling in the Presence of Faults: Specification and Verification. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:279-297 [Conf]
  9. Zhiming Liu, Mathai Joseph
    Stepwise Development of Fault-Tolerant Reactive Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:529-546 [Conf]
  10. Asis Goswami, Michael Bell, Mathai Joseph
    ISL: An Interval Logic for the Specification of Real-time Programs. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:1-20 [Conf]
  11. Mathai Joseph
    Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:26-33 [Conf]
  12. Mathai Joseph, Abha Moitra
    Co-Operative Recovery From Faults in Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:481-486 [Conf]
  13. Doron Peled, Mathai Joseph
    A Compositional Approach for Fault-Tolerance Using Specification Transformation. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:173-184 [Conf]
  14. Mathai Joseph
    Problems, Promises and Performance: Some Questions for Real-time System Specification. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:315-324 [Conf]
  15. Mathai Joseph, Asis Goswami
    What's 'Real' about Real-Time Systems? [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1988, pp:78-85 [Conf]
  16. Mathai Joseph
    Care, Feeding and Growth of Software Systems. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:186-0 [Conf]
  17. Mathai Joseph, Abha Moitra
    Algebraic Specification Of A Communication Scheduler. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:356-370 [Conf]
  18. Mathai Joseph, Paritosh K. Pandya
    Finding Response Times in a Real-Time System. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1986, v:29, n:5, pp:390-395 [Journal]
  19. Paritosh K. Pandya, Mathai Joseph
    A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1986, v:29, n:6, pp:531-537 [Journal]
  20. Paritosh K. Pandya, Mathai Joseph
    P - A Logic - A Compositional Proof System for Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1991, v:5, n:, pp:37-54 [Journal]
  21. Zhiming Liu, Mathai Joseph
    Transformation of Programs for Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:5, pp:442-469 [Journal]
  22. Zhiming Liu, Mathai Joseph, Tomasz Janowski
    Verification of Schedulability for Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:510-532 [Journal]
  23. Mathai Joseph
    On a Problem in Real-Time Computing. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1985, v:20, n:4, pp:173-177 [Journal]
  24. Tomasz Janowski, Mathai Joseph
    Dynamic Scheduling and Fault-Tolerance: Specification and Verification. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2001, v:20, n:1, pp:51-81 [Journal]
  25. Mathai Joseph, Abha Moitra, Neelam Soundararajan
    Proof Rules for Fault Tolerant Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:1, pp:43-67 [Journal]
  26. Zhiming Liu, Mathai Joseph
    Verification, refinement and scheduling of real-time programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:1, pp:119-152 [Journal]
  27. Doron Peled, Mathai Joseph
    A Compositional Framework for Fault Tolerance by Specification Transformation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:99-125 [Journal]
  28. Ashok Sreenivas, R. Venkatesh, Mathai Joseph
    Meta-Modelling for Formal Software Development. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  29. Zhiming Liu, Mathai Joseph
    Specification and Verification of Fault-Tolerance, Timing, and Scheduling. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:1, pp:46-89 [Journal]
  30. Mathai Joseph
    Engineering the Development of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:391-398 [Conf]
  31. Mathai Joseph
    Abstractions for Real Real-time Systems. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:22- [Conf]
  32. Zhiming Liu, Mathai Joseph
    Real-Time and Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:156-219 [Conf]

Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002