 | 2010 |
|---|
| 40 |       | 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
Springer 2010 |
| 2009 |
|---|
| 39 | | Kay 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 |
| 38 | | Olly 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 |
|---|
| 37 |  | 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 |
| 36 | | Mathai Joseph:
Engineering the Development of Embedded Systems.
Formal Methods and Hybrid Real-Time Systems 2007: 391-398 |
| 35 | | Mathai Joseph:
Abstractions for Real Real-time Systems.
TASE 2007: 22 |
| 2005 |
|---|
| 34 | | Mathai Joseph:
Formal Aids for the Growth of Software Systems.
FM 2005: 1 |
| 2004 |
|---|
| 33 | | Zhiming Liu,
Mathai Joseph:
Real-Time and Fault-Tolerant Systems.
PSSE 2004: 156-219 |
| 32 | | Mathai Joseph:
Care, Feeding and Growth of Software Systems.
SEFM 2004: 186- |
| 2003 |
|---|
| 31 | | Mathai Joseph:
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?.
ICFEM 2003: 26-33 |
| 2001 |
|---|
| 30 | | R. Venkatesh,
Purandar Bhaduri,
Mathai Joseph:
Formalizing Models and Meta-models for System Development.
APSEC 2001: 155- |
| 29 | | Ashok Sreenivas,
R. Venkatesh,
Mathai Joseph:
Meta-Modelling for Formal Software Development.
Electr. Notes Theor. Comput. Sci. 42: 1-11 (2001) |
| 28 | | Tomasz Janowski,
Mathai Joseph:
Dynamic Scheduling and Fault-Tolerance: Specification and Verification.
Real-Time Systems 20(1): 51-81 (2001) |
| 27 | | Zhiming Liu,
Mathai Joseph:
Verification, refinement and scheduling of real-time programs.
Theor. Comput. Sci. 253(1): 119-152 (2001) |
| 2000 |
|---|
| 26 | | 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 |
|---|
| 25 | | Zhiming Liu,
Mathai Joseph:
Specification and Verification of Fault-Tolerance, Timing, and Scheduling.
ACM Trans. Program. Lang. Syst. 21(1): 46-89 (1999) |
| 1997 |
|---|
| 24 | | Zhiming Liu,
Mathai Joseph:
Formalizing Real-Time Scheduling as Program Refinement.
ARTS 1997: 295-309 |
| 1996 |
|---|
| 23 | | Mathai Joseph:
Real-time systems - specification, verification and analysis.
Prentice Hall 1996: I-XIV, 1-278 |
| 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 |
|---|
| 17 | | Doron 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 |
|---|
| 14 | | Mathai 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 |
|---|
| 12 | | Mathai 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 |
| 10 | | Asis 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 |
|---|
| 4 | | Mathai 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page