Mathai Joseph

44 papers A 1B 2C 2Misc 1Journal 15Unranked 15
YearRankTypeTitle / Venue / Authors
2010 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
SEAFOOD
Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov
2009 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
SEAFOOD
Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio
2009 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
SEAFOOD
Olly Gotel, Mathai Joseph, Bertrand Meyer
2007 Misc conf
Abstractions for Real Real-time Systems.
TASE
Mathai Joseph
2007 — conf
Engineering the Development of Embedded Systems.
Formal Methods and Hybrid Real-Time Systems
Mathai Joseph
2007 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
SEAFOOD
Bertrand Meyer, Mathai Joseph
2005 B conf
Formal Aids for the Growth of Software Systems.
FM
Mathai Joseph
2004 B conf
Care, Feeding and Growth of Software Systems.
SEFM
Mathai Joseph
2004 — conf
Real-Time and Fault-Tolerant Systems.
PSSE
Zhiming Liu, Mathai Joseph
2003 C conf
Adding Formalism to Methods or
ICFEM
Mathai Joseph
2001 J jnl
Dynamic Scheduling and Fault-Tolerance: Specification and Verification.
Real Time Syst.
Tomasz Janowski, Mathai Joseph
2001 C conf
Formalizing Models and Meta-models for System Development.
APSEC
R. Venkatesh, Purandar Bhaduri, Mathai Joseph
2001 — conf
Meta-Modelling for Formal Software Development.
CATS
Ashok Sreenivas, R. Venkatesh, Mathai Joseph
2001 J jnl
Verification, refinement and scheduling of real-time programs.
Theor. Comput. Sci.
Zhiming Liu, Mathai Joseph
2000 — ed.
Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings
FTRTFT
Mathai Joseph
1999 J jnl
Specification and Verification of Fault-Tolerance, Timing, and Scheduling.
ACM Trans. Program. Lang. Syst.
Zhiming Liu, Mathai Joseph
1997 — conf
Formalizing Real-Time Scheduling as Program Refinement.
ARTS
Zhiming Liu, Mathai Joseph
1996 — conf
Dynamic Scheduling in the Presence of Faults: Specification and Verification.
FTRTFT
Tomasz Janowski, Mathai Joseph
1996 — book
Real-time systems - specification, verification and analysis.
Mathai Joseph
1996 — conf
Verification of Fault Tolerance and Real Time.
FTCS
Zhiming Liu, Mathai Joseph
1995 J jnl
Verification of Schedulability for Real-Time Programs.
Formal Aspects Comput.
Zhiming Liu, Mathai Joseph, Tomasz Janowski
1994 J jnl
A Compositional Framework for Fault Tolerance by Specification Transformation.
Theor. Comput. Sci.
Doron A. Peled, Mathai Joseph
1994 J jnl
Automated timing analysis of real-time programs.
Softw. Eng. J.
M. R. Hill, Mathai Joseph
1994 — conf
Stepwise Development of Fault-Tolerant Reactive Systems.
FTRTFT
Zhiming Liu, Mathai Joseph
1993 — conf
A Compositional Approach for Fault-Tolerance Using Specification Transformation.
PARLE
Doron A. Peled, Mathai Joseph
1992 — conf
ISL: An Interval Logic for the Specification of Real-time Programs.
FTRTFT
Asis Goswami, Michael Bell, Mathai Joseph
1992 J jnl
Transformation of Programs for Fault-Tolerance.
Formal Aspects Comput.
Zhiming Liu, Mathai Joseph
1991 J jnl
P - A Logic - A Compositional Proof System for Distributed Programs.
Distributed Comput.
Paritosh K. Pandya, Mathai Joseph
1991 — conf
Problems, Promises and Performance: Some Questions for Real-time System Specification.
REX Workshop
Mathai Joseph
1989 — conf
Time and Real-time in Programs.
FSTTCS
Mathai Joseph
1988 — ed.
Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988
FTRTFT
Mathai Joseph
1988 — conf
Semancitcs of Real-time Distributed Programs.
Concurrency
Asis Goswami, Mathai Joseph
1988 — conf
Semantics for Specifying Real-Time Systems.
Specification and Verification of Concurrent Systems
Mathai Joseph, Asis Goswami
1988 A conf
What's 'Real' about Real-Time Systems?
RTSS
Mathai Joseph, Asis Goswami
1987 J jnl
Proof Rules for Fault Tolerant Distributed Programs.
Sci. Comput. Program.
Mathai Joseph, Abha Moitra, Neelam Soundararajan
1986 J jnl
A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls.
Comput. J.
Paritosh K. Pandya, Mathai Joseph
1986 J jnl
Finding Response Times in a Real-Time System.
Comput. J.
Mathai Joseph, Paritosh K. Pandya
1985 — conf
Algebraic Specification Of A Communication Scheduler.
TAPSOFT, Vol.2
Mathai Joseph, Abha Moitra
1985 J jnl
On a Problem in Real-Time Computing.
Inf. Process. Lett.
Mathai Joseph
1984 — ed.
Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings
FSTTCS
Mathai Joseph, R. K. Shyamasundar
1983 — conf
Co-Operative Recovery From Faults in Distributed Programs.
IFIP Congress
Mathai Joseph, Abha Moitra
1979 J jnl
Some Aspects of Concurrent Programmming in CCNPASCAL.
Softw. Pract. Exp.
K. T. Narayana, V. R. Prasad, Mathai Joseph
1978 J jnl
More on Nested Monitor Calls.
ACM SIGOPS Oper. Syst. Rev.
Mathai Joseph, V. R. Prasad
1970 J jnl
An Analysis of Paging and Program Behaviour.
Comput. J.
Mathai Joseph