dblp.uni-trier.dewww.uni-trier.de

Mathai Joseph Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Michael Bell [16]
2Kay Berkling [38]
3Purandar Bhaduri [29]
4Asis Goswami [8] [9] [10] [16]
5Olly Gotel (Orlena Gotel, O. C. Z. Gotel) [37]
6Tomasz Janowski [20] [21] [27]
7Zhiming Liu [15] [19] [20] [22] [23] [24] [26] [32]
8Bertrand Meyer [36] [37] [38]
9Abha Moitra [1] [4] [7]
10Martin Nordio [38]
11Paritosh K. Pandya [5] [6] [13]
12Doron Peled [17] [18]
13R. K. Shyamasundar [2]
14Neelam Soundararajan [7]
15Ashok Sreenivas [28]
16R. Venkatesh [28] [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)