default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathai Joseph
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
[e7]Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov
:
Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings. Lecture Notes in Business Information Processing 54, Springer 2010, ISBN 978-3-642-13783-9 [contents]
2000 – 2009
- 2009
- [e6]Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio:
Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers. Lecture Notes in Business Information Processing 16, Springer 2009, ISBN 978-3-642-01855-8 [contents] - [e5]Olly Gotel, Mathai Joseph, Bertrand Meyer:
Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Lecture Notes in Business Information Processing 35, Springer 2009, ISBN 978-3-642-02986-8 [contents] - 2007
- [c21]Mathai Joseph:
Engineering the Development of Embedded Systems. Formal Methods and Hybrid Real-Time Systems 2007: 391-398 - [c20]Mathai Joseph:
Abstractions for Real Real-time Systems. TASE 2007: 22 - [e4]Bertrand Meyer, Mathai Joseph:
Software Engineering Approaches for Offshore and Outsourced Development - 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers. Lecture Notes in Computer Science 4716, Springer 2007, ISBN 978-3-540-75541-8 [contents] - 2005
- [c19]Mathai Joseph:
Formal Aids for the Growth of Software Systems. FM 2005: 1 - 2004
- [c18]Zhiming Liu, Mathai Joseph:
Real-Time and Fault-Tolerant Systems. PSSE 2004: 156-219 - [c17]Mathai Joseph:
Care, Feeding and Growth of Software Systems. SEFM 2004: 186- - 2003
- [c16]Mathai Joseph:
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. ICFEM 2003: 26-33 - 2001
- [j15]Tomasz Janowski, Mathai Joseph:
Dynamic Scheduling and Fault-Tolerance: Specification and Verification. Real Time Syst. 20(1): 51-81 (2001) - [j14]Zhiming Liu, Mathai Joseph:
Verification, refinement and scheduling of real-time programs. Theor. Comput. Sci. 253(1): 119-152 (2001) - [c15]R. Venkatesh, Purandar Bhaduri, Mathai Joseph:
Formalizing Models and Meta-models for System Development. APSEC 2001: 155- - [c14]Ashok Sreenivas, R. Venkatesh, Mathai Joseph:
Meta-Modelling for Formal Software Development. CATS 2001: 1-11 - 2000
- [e3]Mathai Joseph:
Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings. Lecture Notes in Computer Science 1926, Springer 2000, ISBN 3-540-41055-4 [contents]
1990 – 1999
- 1999
- [j13]Zhiming Liu, Mathai Joseph:
Specification and Verification of Fault-Tolerance, Timing, and Scheduling. ACM Trans. Program. Lang. Syst. 21(1): 46-89 (1999) - 1997
- [c13]Zhiming Liu, Mathai Joseph:
Formalizing Real-Time Scheduling as Program Refinement. ARTS 1997: 295-309 - 1996
- [b1]Mathai Joseph:
Real-time systems - specification, verification and analysis. Prentice Hall International series in computer science, Prentice Hall 1996, ISBN 978-0-13-455297-2, pp. I-XIV, 1-278 - [c12]Zhiming Liu, Mathai Joseph:
Verification of Fault Tolerance and Real Time. FTCS 1996: 220-229 - [c11]Tomasz Janowski, Mathai Joseph:
Dynamic Scheduling in the Presence of Faults: Specification and Verification. FTRTFT 1996: 279-297 - 1995
- [j12]Zhiming Liu, Mathai Joseph, Tomasz Janowski:
Verification of Schedulability for Real-Time Programs. Formal Aspects Comput. 7(5): 510-532 (1995) - 1994
- [j11]M. R. Hill, Mathai Joseph:
Automated timing analysis of real-time programs. Softw. Eng. J. 9(5): 221-227 (1994) - [j10]Doron A. Peled, Mathai Joseph:
A Compositional Framework for Fault Tolerance by Specification Transformation. Theor. Comput. Sci. 128(1&2): 99-125 (1994) - [c10]Zhiming Liu, Mathai Joseph:
Stepwise Development of Fault-Tolerant Reactive Systems. FTRTFT 1994: 529-546 - 1993
- [c9]Doron A. Peled, Mathai Joseph:
A Compositional Approach for Fault-Tolerance Using Specification Transformation. PARLE 1993: 173-184 - 1992
- [j9]Zhiming Liu, Mathai Joseph:
Transformation of Programs for Fault-Tolerance. Formal Aspects Comput. 4(5): 442-469 (1992) - [c8]Asis Goswami, Michael Bell, Mathai Joseph:
ISL: An Interval Logic for the Specification of Real-time Programs. FTRTFT 1992: 1-20 - 1991
- [j8]Paritosh K. Pandya, Mathai Joseph:
P - A Logic - A Compositional Proof System for Distributed Programs. Distributed Comput. 5: 37-54 (1991) - [c7]Mathai Joseph:
Problems, Promises and Performance: Some Questions for Real-time System Specification. REX Workshop 1991: 315-324
1980 – 1989
- 1989
- [c6]Mathai Joseph:
Time and Real-time in Programs. FSTTCS 1989: 312-324 - 1988
- [c5]Asis Goswami, Mathai Joseph:
Semancitcs of Real-time Distributed Programs. Concurrency 1988: 292-306 - [c4]Mathai Joseph, Asis Goswami:
Semantics for Specifying Real-Time Systems. Specification and Verification of Concurrent Systems 1988: 272-275 - [c3]Mathai Joseph, Asis Goswami:
What's 'Real' about Real-Time Systems? RTSS 1988: 78-85 - [e2]Mathai Joseph:
Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Lecture Notes in Computer Science 331, Springer 1988, ISBN 3-540-50302-1 [contents] - 1987
- [j7]Mathai Joseph, Abha Moitra, Neelam Soundararajan:
Proof Rules for Fault Tolerant Distributed Programs. Sci. Comput. Program. 8(1): 43-67 (1987) - 1986
- [j6]Mathai Joseph, Paritosh K. Pandya:
Finding Response Times in a Real-Time System. Comput. J. 29(5): 390-395 (1986) - [j5]Paritosh K. Pandya, Mathai Joseph:
A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls. Comput. J. 29(6): 531-537 (1986) - 1985
- [j4]Mathai Joseph:
On a Problem in Real-Time Computing. Inf. Process. Lett. 20(4): 173-177 (1985) - [c2]Mathai Joseph, Abha Moitra:
Algebraic Specification Of A Communication Scheduler. TAPSOFT, Vol.2 1985: 356-370 - 1984
- [e1]Mathai Joseph, R. K. Shyamasundar:
Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings. Lecture Notes in Computer Science 181, Springer 1984, ISBN 3-540-13883-8 [contents] - 1983
- [c1]Mathai Joseph, Abha Moitra:
Co-Operative Recovery From Faults in Distributed Programs. IFIP Congress 1983: 481-486
1970 – 1979
- 1979
- [j3]K. T. Narayana, V. R. Prasad, Mathai Joseph:
Some Aspects of Concurrent Programmming in CCNPASCAL. Softw. Pract. Exp. 9(9): 749-770 (1979) - 1978
- [j2]Mathai Joseph, V. R. Prasad:
More on Nested Monitor Calls. ACM SIGOPS Oper. Syst. Rev. 12(2): 21-25 (1978) - 1970
- [j1]Mathai Joseph:
An Analysis of Paging and Program Behaviour. Comput. J. 13(1): 48-54 (1970)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
