Finding response times in a real-time system M Joseph, P Pandya The Computer Journal 29 (5), 390-395, 1986 | 1713 | 1986 |
Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996 | 319 | 1996 |
Transformation of programs for fault-tolerance Z Liu, M Joseph Formal Aspects of Computing 4, 442-469, 1992 | 105 | 1992 |
Specification and verification of fault-tolerance, timing, and scheduling Z Liu, M Joseph ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (1), 46-89, 1999 | 95 | 1999 |
An analysis of paging and program behaviour M Joseph The Computer Journal 13 (1), 48-54, 1970 | 75 | 1970 |
P—A logic—a compositional proof system for distributed programs PK Pandya, M Joseph Distributed Computing 5 (1), 37-54, 1991 | 74 | 1991 |
Hair Jr., William C. Black, Barry J. Babin, and Rolph E. Anderson, Multivariate Data Analysis F Joseph Jr Upper Saddle River, NJ: Prentice Hall, 2010 | 55 | 2010 |
Formal techniques in real-time and fault-tolerant systems J Vytopil Springer Science & Business Media, 2012 | 50 | 2012 |
What's' real'about real-time systems? M Joseph, A Goswami University of Warwick. Department of Computer Science, 1988 | 36 | 1988 |
Formal description of realtime systems: A reiew M Joseph The Software Life Cycle, 291-308, 1990 | 32 | 1990 |
Verification of fault tolerance and real time Z Liu, M Joseph Proceedings of Annual Symposium on Fault Tolerant Computing, 220-229, 1996 | 31 | 1996 |
Specification and verification of recovery in asynchronous communicating systems Z Liu, M Joseph Formal techniques in real-time and fault-tolerant systems, 137-165, 1993 | 27 | 1993 |
A multiprocessor operating system M Joseph, V Prasad, N Natarajan Prentice-Hall International, Englewood Cliffs, Nd, 1984 | 26 | 1984 |
A compositional framework for fault tolerance by specification transformation D Peled, M Joseph Theoretical Computer Science 128 (1-2), 99-125, 1994 | 22 | 1994 |
Policy: Free Indian science M Joseph, A Robinson Nature 508 (7494), 36-38, 2014 | 20 | 2014 |
Verification, refinement and scheduling of real-time programs Z Liu, M Joseph Theoretical Computer Science 253 (1), 119-152, 2001 | 20 | 2001 |
Relating computation and time M Joseph, A Goswami University of Warwick. Department of Computer Science, 1989 | 19 | 1989 |
Proof rules for fault tolerant distributed programs M Joseph, A Moitra, N Soundararajan Science of Computer Programming 8 (1), 43-67, 1987 | 18 | 1987 |
Problems, promises and performance: some questions for real-time system specification M Joseph Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992 | 15 | 1992 |
On a problem in real-time computing M Joseph Information Processing Letters 20 (4), 173-177, 1985 | 15 | 1985 |