P. M. Melliar-Smith

P. Michael Melliar-Smith

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

144 EE Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: Collaborative Computing Using the Atom Publishing Protocol. ITNG 2008: 291-296

143 EE Louise E. Moser, P. M. Melliar-Smith: Service-Oriented Architecture and Web Services. Wiley Encyclopedia of Computer Science and Engineering 2008

142 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Extended Transaction Protocol. IEEE Trans. Parallel Distrib. Syst. 19(2): 188-203 (2008)

141 EE Wenbing Zhao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith: A Reservation-based Extended Transaction Protocol for Coordination of Web Services. Int. J. Web Service Res. 5(3): 64-95 (2008)

140 EE Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser, Yannis Drougas: Resource management using multiple feedback loops in soft real-time distributed object systems. Journal of Systems and Software 81(7): 1144-1162 (2008)

2007

139 EE Firat Kart, Gengxin Miao, Louise E. Moser, P. M. Melliar-Smith: A Distributed e-Healthcare System Based on the Service Oriented Architecture. IEEE SCC 2007: 652-659

138 Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology. International Conference on Internet Computing 2007: 124-132

137 EE P. Michael Melliar-Smith, Louise E. Moser: Achieving Atomicity for Web Services Using Commutativity of Actions. J. UCS 13(8): 1094-1109 (2007)

136 EE Louise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao: Building Dependable and Secure Web Services. JSW 2(1): 14-26 (2007)

2006

135 EE Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao: Making Web Services Dependable. ARES 2006: 440-448

134 EE Zachary Davis, Michael Hu, Shreyas Prasad, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser: A Personal Handheld Multi-Modal Shopping Assistant. ICNS 2006: 117

133 Shreyas Prasad, Zachary Davis, Michael Hu, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser: Location-Aware Voice-Enabled Web Services for Mobile Devices. MoMM 2006: 291-300

132 Michael Hu, Zachary Davis, Shreyas Prasad, Michael Schuricht, P. Michael Melliar-Smith, Louise E. Moser: Speech-Enabled Web Services for Mobile Devices. SWWS 2006: 103-109

131 EE Prithviraj Dasgupta, P. M. Melliar-Smith, Louise E. Moser: Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy. International Journal of Information Technology and Decision Making 5(2): 331-352 (2006)

130 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: End-to-end latency of a fault-tolerant CORBA infrastructure. Perform. Eval. 63(4-5): 341-363 (2006)

2005

129 EE A. V. Singh, Louise E. Moser, P. M. Melliar-Smith: Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. EDCC 2005: 154-166

128 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Coordination Protocol for Web Services. ICWS 2005: 49-56

127 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Deterministic Scheduling for Multithreaded Replicas. WORDS 2005: 74-81

126 Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Fault Tolerance for Distributed and Networked Systems. Encyclopedia of Information Science and Technology (II) 2005: 1190-1196

125 EE Prithviraj Dasgupta, Louise E. Moser, P. M. Melliar-Smith: Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace. Electronic Commerce Research 5(2): 267-292 (2005)

124 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA. IEEE Trans. Dependable Sec. Comput. 2(1): 20-33 (2005)

2004

123 EE P. M. Melliar-Smith, Louise E. Moser: Progress in Real-Time Fault Tolerance. SRDS 2004: 109-111

122 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure. Cluster Computing 7(4): 317-330 (2004)

121 Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and implementation of a consistent time service for fault-tolerant distributed systems. Comput. Syst. Sci. Eng. 19(5): (2004)

2003

120 EE Louise E. Moser, P. M. Melliar-Smith: Demonstration of Fault Tolerance for CORBA Applications. DISCEX (2) 2003: 87-89

119 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. DSN 2003: 341-350

118 EE Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith: Transparent TCP Connection Failover. DSN 2003: 383-392

117 EE Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Byzantine Fault Detectors for Solving Consensus. Comput. J. 46(1): 16-35 (2003)

116 EE Prithviraj Dasgupta, P. M. Melliar-Smith: Dynamic Consumer Profiling and Tiered Pricing Using Software Agents. Electronic Commerce Research 3(3-4): 277-296 (2003)

2002

115 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: On Bootstrapping Replicated CORBA Applications. COMPSAC 2002: 239-245

114 EE Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury: Online Upgrades Become Standard. COMPSAC 2002: 982-988

113 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Lessons Learned in Building a Fault-Tolerant CORBA System. DSN 2002: 39-44

112 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Replication and Transaction Processing in Three-Tier Architectures. ICDCS 2002: 290-

111 EE Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: The Totem Redundant Ring Protocol. ICDCS 2002: 598-607

110 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. IPDPS 2002

109 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 189-198

108 EE Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt: Open Research Issues in Building Dependable Middleware (Panel). WORDS 2002: 359-

107 Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strongly consistent replication and recovery of fault-tolerant CORBA applications. Comput. Syst. Sci. Eng. 17(2): 103-114 (2002)

106 Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Eternal - a component-based framework for transparent fault-tolerant CORBA. Softw., Pract. Exper. 32(8): 771-788 (2002)

2001

105 L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrade Techniques for CORBA Applications. DAIS 2001: 257-272

104 EE L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. DOA 2001: 310-320

103 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. DSN 2001: 261-270

102 EE Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Migration Algorithms for Distributed Object Systems. ICDCS 2001: 119-126

101 EE L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrades of CORBA Applications Using Object Replication. ICSM 2001: 488-

100 EE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Increasing the Reliability of Three-Tier Applications. ISSRE 2001: 138-147

99 EE K. Berket, Deborah A. Agarwal, P. M. Melliar-Smith, Louise E. Moser: Overview of the InterGroup Protocols. International Conference on Computational Science (1) 2001: 316-325

98 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strong Replica Consistency for Fault-Tolerant CORBA Applications. WORDS 2001: 10-20

97 EE Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing group communication system. ACM Trans. Inf. Syst. Secur. 4(4): 371-406 (2001)

96 Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: A multicast group communication protocol, engine, and bridge for CORBA. Concurrency and Computation: Practice and Experience 13(7): 579-603 (2001)

95 Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interceptors for Java Remote Method Invocation. Concurrency and Computation: Practice and Experience 13(8-9): 755-774 (2001)

94 EE Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Latency analysis of the totem single-ring protocol. IEEE/ACM Trans. Netw. 9(5): 669-680 (2001)

2000

93 EE Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Transparent Consistent Replication of Java RMI Objects. DOA 2000: 17-26

92 EE Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. DSN 2000: 337-346

91 EE Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith: A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. HICSS 2000

90 EE Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Scheduling for Soft Real-Time Distributed Object Systems. ISORC 2000: 114-121

89 EE Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interception in the Aroma system. Java Grande 2000: 107-115

88 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Gateways for Accessing Fault Tolerance Domains. Middleware 2000: 88-103

87 EE Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: Flow control in the high-speed Thunder and Lightning ATM network. Computer Communications 23(10): 928-935 (2000)

1999

86 EE Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: Multicast Group Communication for CORBA. DOA 1999: 98-107

85 EE Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: A Fault Tolerance Framework for CORBA. FTCS 1999: 150-157

84 EE Priya Narasimhan, Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Providing Support for Survivable CORBA Applications with the Immune System. ICDCS 1999: 507-516

83 EE Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket: A Group Communication Protocol for CORBA. ICPP Workshops 1999: 30-36

82 EE Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems. ISORC 1999: 291-300

81 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. SRDS 1999: 263-273

80 EE Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing and Measuring the Latency of the Totem Multicast Protocols. Computer Networks 31(1-2): 59-78 (1999)

79 Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Using Interceptors to Enhance CORBA. IEEE Computer 32(7): 62-68 (1999)

78 EE Prithviraj Dasgupta, Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: MAgNET: Mobile Agents for Networked Electronic Trading. IEEE Trans. Knowl. Data Eng. 11(4): 509-525 (1999)

77 Louise E. Moser, P. M. Melliar-Smith: Byzantine-Resistant Total Ordering Algorithms. Inf. Comput. 150(1): 75-111 (1999)

1998

76 EE Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing Protocols for Securing Group Communication. HICSS (3) 1998: 317-326

75 Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: Flow Control in the High-Speed Thunder and Lightning ATM Network. ICCCN 1998: 243-250

74 EE Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. ICNP 1998: 151-

73 EE Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia: The Totem Multiple-Ring Ordering and Topology Maintenance Protocol. ACM Trans. Comput. Syst. 16(2): 93-132 (1998)

72 EE Ravi K. Budhia, Louise E. Moser, P. M. Melliar-Smith: Performance engineering of the Totem group communication system. Distributed Systems Engineering 5(2): 78-87 (1998)

71 P. M. Melliar-Smith, Louise E. Moser: Surviving Network Partitioning. IEEE Computer 31(3): 62-68 (1998)

70 Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: Consistent Object Replication in the external System. TAPOS 4(2): 81-92 (1998)

1997

69 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: The Interception Approach to Reliable Distributed CORBA Objects. COOTS 1997: 245-248

68 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance. COOTS 1997: 81-90

67 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Consistency of Partitionable Object Groups in a CORBA Framework. HICSS (1) 1997: 120-129

66 EE Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing the latency of the Totem multicast protocols. ICCCN 1997: 42-50

65 Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector. OPODIS 1997: 61-76

64 EE Louise E. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith, Laura K. Dillon: A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Trans. Softw. Eng. Methodol. 6(1): 31-79 (1997)

63 EE Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Replica consistency of CORBA objects in partitionable distributed systems. Distributed Systems Engineering 4(3): 139-150 (1997)

62 EE Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Totally ordered gigabit multicasting. Distributed Systems Engineering 4(4): 229-243 (1997)

1996

61 Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: The Real-Time Graphical Interval Logic Toolset. CAV 1996: 446-449

60 EE W. J. Chun, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal: Applying Distributed Simulation to a Communication Protocol Development Environment. HICSS (1) 1996: 320-329

59 Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Reservation-Based Totally Ordered Multicasting. ICDCS 1996: 511-519

58 EE Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Flow Control Techniques for Multicasting in Gigabit Networks. ICNP 1996: 102-

57 Louise E. Moser, P. M. Melliar-Smith: Probabilistic Duration Automata for Analyzing Real-Time Systems. TACAS 1996: 369-390

56 Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, Ravi K. Budhia, Colleen A. Lingley-Papadopoulos: Totem: A Fault-Tolerant Multicast Group Communication System. Commun. ACM 39(4): 54-63 (1996)

55 Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: Automated Deduction in a Graphical Temporal Logic. Journal of Applied Non-Classical Logics 6(1): (1996)

54 EE Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty: Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theor. Comput. Sci. 166(1&2): 1-47 (1996)

53 EE Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty: Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. Theor. Comput. Sci. 170(1-2): 1-46 (1996)

1995

52 Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal: The Totem System. FTCS 1995: 61-66

51 EE Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia: A reliable ordered delivery protocol for interconnected local area networks. ICNP 1995: 365-

50 Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: A Parallel Processing Paradigm for Irregular Applications. IRREGULAR 1995: 249-254

49 Louise E. Moser, P. M. Melliar-Smith: Total Ordering Algorithms for Asynchronous Byzantine Systems. WDAG 1995: 242-256

48 EE Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella: The Totem Single-Ring Ordering and Membership Protocol. ACM Trans. Comput. Syst. 13(4): 311-342 (1995)

47 G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon: Axiomatizations of Interval Logics. Fundam. Inform. 24(4): 313-331 (1995)

1994

46 EE Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey: The QuickRing Network. ACM Conference on Computer Science 1994: 233-240

45 EE G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: A Graphical Methodology for Concurrent System Design. ACM Conference on Computer Science 1994: 52-59

44 Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal: Extended Virtual Synchrony. ICDCS 1994: 56-65

43 G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna: First-Order Future Interval Logic. ICTL 1994: 195-209

42 P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: A System for Automated Deduction in Graphical Interval Logic. ICTL 1994: 540-542

41 Louise E. Moser, P. M. Melliar-Smith: Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. IEEE Real-Time Systems Symposium 1994: 238-248

40 EE Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: A Graphical Interval Logic for Specifying Concurrent Systems. ACM Trans. Softw. Eng. Methodol. 3(2): 131-165 (1994)

39 EE Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith: Classic Squares and Broadcast Squares. Discrete Applied Mathematics 54(1): 89-96 (1994)

38 Louise E. Moser, P. M. Melliar-Smith, G. Kutty, Y. S. Ramakrishna: Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. Fundam. Inform. 21(4): 257-305 (1994)

37 EE Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Processor Membership in Asynchronous Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 5(5): 459-473 (1994)

36 Laura K. Dillon, G. Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna: Visual Specifications for Temporal Reasoning. J. Vis. Lang. Comput. 5(1): 61-81 (1994)

1993

35 EE Louise E. Moser, P. M. Melliar-Smith: Analysis of Timing Hazards in Ada Programs. ACM Conference on Computer Science 1993: 326-331

34 EE Hossein Moiin, P. M. Melliar-Smith, Louise E. Moser: Better Late Than Never. ACM Conference on Computer Science 1993: 44-51

33 G. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith: A Graphical Interval Logic Toolset for Verifying Concurrent Systems. CAV 1993: 138-153

32 Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: A Real-Time Interval Logic and Its Decision Procedure. FSTTCS 1993: 173-192

31 Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella: Fast Message Ordering and Membership Using a Logical Token-Passing Ring. ICDCS 1993: 551-560

30 G. Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Visual Tools for Temporal Reasoning. VL 1993: 152-159

29 Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Necessary and Sufficient Conditions for Broadcast Consensus Protocols. Distributed Computing 7(2): 75-85 (1993)

28 Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Asynchronous Fault-Tolerant Total Ordering Algorithms. SIAM J. Comput. 22(4): 727-750 (1993)

1992

27 Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS 1992: 51-67

26 Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: PAL: A Language for Parallel Asynchronous Computation. ICPP (2) 1992: 166-173

25 EE Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224

24 Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, G. Kutty: An automata-theoretic decision procedure for propositional temporal logic with since and until. Fundam. Inform. 17(3): 271-282 (1992)

1991

23 P. M. Melliar-Smith, Louise E. Moser: Protection against Covert Storage and Timing Channels. CSFW 1991: 209-214

22 EE Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Membership algorithms for asynchronous distributed systems. ICDCS 1991: 480-488

21 P. M. Melliar-Smith, Louise E. Moser: Performance Analysis of a Broadcast Communications Protocol. SIGMETRICS 1991: 1-10

1990

20 EE Louise E. Moser, Vikas Kapur, P. M. Melliar-Smith: Probabilistic Language Analysis of Weighted Voting Algorithms. SIGMETRICS 1990: 67-73

19 EE P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala: Broadcast Protocols for Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 1(1): 17-25 (1990)

18 Louise E. Moser, P. M. Melliar-Smith: The World Banker's Algorithm. J. Parallel Distrib. Comput. 9(4): 369-373 (1990)

17 Louise E. Moser, P. M. Melliar-Smith: Formal Verification of Safety-critical Systems. Softw., Pract. Exper. 20(8): 799-821 (1990)

1988

16 P. M. Melliar-Smith: A Graphical Representation of Interval Logic. Concurrency 1988: 106-120

1987

15 P. M. Melliar-Smith: Extending Interval Logic to Real Time Systems. Temporal Logic in Specification 1987: 224-242

1986

14 Leslie Lamport, P. M. Melliar-Smith: Byzantine Clock Synchronization. Operating Systems Review 20(3): 10-16 (1986)

1985

13 EE Leslie Lamport, P. M. Melliar-Smith: Synchronizing Clocks in the Presence of Faults J. ACM 32(1): 52-78 (1985)

1984

12 Leslie Lamport, P. M. Melliar-Smith: Byzantine Clock Synchronization. PODC 1984: 68-74

1983

11 Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval-Based Temporal Logic. Logic of Programs 1983: 443-457

10 Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval Logic for Higher-Level Temporal Reasoning. PODC 1983: 173-186

9 Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification 1983: 3-18

8 Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems 1983: 55-65

1982

7 Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith: STP: A Mechanized Logic for Specification and Verification. CADE 1982: 32-49

6 Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV 1982: 3-19

5 P. M. Melliar-Smith, Richard L. Schwartz: Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. IEEE Trans. Computers 31(7): 616-630 (1982)

1981

4 Richard L. Schwartz, P. M. Melliar-Smith: Temporal Logic Specification of Distributed Systems. ICDCS 1981: 446-454

3 Richard L. Schwartz, P. M. Melliar-Smith: The Finalization Operation for Abstract Types. ICSE 1981: 273-282

1977

2 P. M. Melliar-Smith, Brian Randell: Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software 1977: 95-100

1974

1 James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell: A program structure for error detection and recovery. Symposium on Operating Systems 1974: 171-187

2008
144	EE	Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: Collaborative Computing Using the Atom Publishing Protocol. ITNG 2008: 291-296
143	EE	Louise E. Moser, P. M. Melliar-Smith: Service-Oriented Architecture and Web Services. Wiley Encyclopedia of Computer Science and Engineering 2008
142	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Extended Transaction Protocol. IEEE Trans. Parallel Distrib. Syst. 19(2): 188-203 (2008)
141	EE	Wenbing Zhao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith: A Reservation-based Extended Transaction Protocol for Coordination of Web Services. Int. J. Web Service Res. 5(3): 64-95 (2008)
140	EE	Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser, Yannis Drougas: Resource management using multiple feedback loops in soft real-time distributed object systems. Journal of Systems and Software 81(7): 1144-1162 (2008)
2007
139	EE	Firat Kart, Gengxin Miao, Louise E. Moser, P. M. Melliar-Smith: A Distributed e-Healthcare System Based on the Service Oriented Architecture. IEEE SCC 2007: 652-659
138		Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology. International Conference on Internet Computing 2007: 124-132
137	EE	P. Michael Melliar-Smith, Louise E. Moser: Achieving Atomicity for Web Services Using Commutativity of Actions. J. UCS 13(8): 1094-1109 (2007)
136	EE	Louise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao: Building Dependable and Secure Web Services. JSW 2(1): 14-26 (2007)
2006
135	EE	Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao: Making Web Services Dependable. ARES 2006: 440-448
134	EE	Zachary Davis, Michael Hu, Shreyas Prasad, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser: A Personal Handheld Multi-Modal Shopping Assistant. ICNS 2006: 117
133		Shreyas Prasad, Zachary Davis, Michael Hu, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser: Location-Aware Voice-Enabled Web Services for Mobile Devices. MoMM 2006: 291-300
132		Michael Hu, Zachary Davis, Shreyas Prasad, Michael Schuricht, P. Michael Melliar-Smith, Louise E. Moser: Speech-Enabled Web Services for Mobile Devices. SWWS 2006: 103-109
131	EE	Prithviraj Dasgupta, P. M. Melliar-Smith, Louise E. Moser: Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy. International Journal of Information Technology and Decision Making 5(2): 331-352 (2006)
130	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: End-to-end latency of a fault-tolerant CORBA infrastructure. Perform. Eval. 63(4-5): 341-363 (2006)
2005
129	EE	A. V. Singh, Louise E. Moser, P. M. Melliar-Smith: Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. EDCC 2005: 154-166
128	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Coordination Protocol for Web Services. ICWS 2005: 49-56
127	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Deterministic Scheduling for Multithreaded Replicas. WORDS 2005: 74-81
126		Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Fault Tolerance for Distributed and Networked Systems. Encyclopedia of Information Science and Technology (II) 2005: 1190-1196
125	EE	Prithviraj Dasgupta, Louise E. Moser, P. M. Melliar-Smith: Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace. Electronic Commerce Research 5(2): 267-292 (2005)
124	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA. IEEE Trans. Dependable Sec. Comput. 2(1): 20-33 (2005)
2004
123	EE	P. M. Melliar-Smith, Louise E. Moser: Progress in Real-Time Fault Tolerance. SRDS 2004: 109-111
122	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure. Cluster Computing 7(4): 317-330 (2004)
121		Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and implementation of a consistent time service for fault-tolerant distributed systems. Comput. Syst. Sci. Eng. 19(5): (2004)
2003
120	EE	Louise E. Moser, P. M. Melliar-Smith: Demonstration of Fault Tolerance for CORBA Applications. DISCEX (2) 2003: 87-89
119	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. DSN 2003: 341-350
118	EE	Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith: Transparent TCP Connection Failover. DSN 2003: 383-392
117	EE	Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Byzantine Fault Detectors for Solving Consensus. Comput. J. 46(1): 16-35 (2003)
116	EE	Prithviraj Dasgupta, P. M. Melliar-Smith: Dynamic Consumer Profiling and Tiered Pricing Using Software Agents. Electronic Commerce Research 3(3-4): 277-296 (2003)
2002
115	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: On Bootstrapping Replicated CORBA Applications. COMPSAC 2002: 239-245
114	EE	Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury: Online Upgrades Become Standard. COMPSAC 2002: 982-988
113	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Lessons Learned in Building a Fault-Tolerant CORBA System. DSN 2002: 39-44
112	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Replication and Transaction Processing in Three-Tier Architectures. ICDCS 2002: 290-
111	EE	Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: The Totem Redundant Ring Protocol. ICDCS 2002: 598-607
110	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. IPDPS 2002
109	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 189-198
108	EE	Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt: Open Research Issues in Building Dependable Middleware (Panel). WORDS 2002: 359-
107		Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strongly consistent replication and recovery of fault-tolerant CORBA applications. Comput. Syst. Sci. Eng. 17(2): 103-114 (2002)
106		Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Eternal - a component-based framework for transparent fault-tolerant CORBA. Softw., Pract. Exper. 32(8): 771-788 (2002)
2001
105		L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrade Techniques for CORBA Applications. DAIS 2001: 257-272
104	EE	L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. DOA 2001: 310-320
103	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. DSN 2001: 261-270
102	EE	Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Migration Algorithms for Distributed Object Systems. ICDCS 2001: 119-126
101	EE	L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrades of CORBA Applications Using Object Replication. ICSM 2001: 488-
100	EE	Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Increasing the Reliability of Three-Tier Applications. ISSRE 2001: 138-147
99	EE	K. Berket, Deborah A. Agarwal, P. M. Melliar-Smith, Louise E. Moser: Overview of the InterGroup Protocols. International Conference on Computational Science (1) 2001: 316-325
98	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strong Replica Consistency for Fault-Tolerant CORBA Applications. WORDS 2001: 10-20
97	EE	Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing group communication system. ACM Trans. Inf. Syst. Secur. 4(4): 371-406 (2001)
96		Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: A multicast group communication protocol, engine, and bridge for CORBA. Concurrency and Computation: Practice and Experience 13(7): 579-603 (2001)
95		Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interceptors for Java Remote Method Invocation. Concurrency and Computation: Practice and Experience 13(8-9): 755-774 (2001)
94	EE	Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Latency analysis of the totem single-ring protocol. IEEE/ACM Trans. Netw. 9(5): 669-680 (2001)
2000
93	EE	Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Transparent Consistent Replication of Java RMI Objects. DOA 2000: 17-26
92	EE	Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. DSN 2000: 337-346
91	EE	Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith: A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. HICSS 2000
90	EE	Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Scheduling for Soft Real-Time Distributed Object Systems. ISORC 2000: 114-121
89	EE	Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interception in the Aroma system. Java Grande 2000: 107-115
88	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Gateways for Accessing Fault Tolerance Domains. Middleware 2000: 88-103
87	EE	Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: Flow control in the high-speed Thunder and Lightning ATM network. Computer Communications 23(10): 928-935 (2000)
1999
86	EE	Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: Multicast Group Communication for CORBA. DOA 1999: 98-107
85	EE	Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: A Fault Tolerance Framework for CORBA. FTCS 1999: 150-157
84	EE	Priya Narasimhan, Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Providing Support for Survivable CORBA Applications with the Immune System. ICDCS 1999: 507-516
83	EE	Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket: A Group Communication Protocol for CORBA. ICPP Workshops 1999: 30-36
82	EE	Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems. ISORC 1999: 291-300
81	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. SRDS 1999: 263-273
80	EE	Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing and Measuring the Latency of the Totem Multicast Protocols. Computer Networks 31(1-2): 59-78 (1999)
79		Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Using Interceptors to Enhance CORBA. IEEE Computer 32(7): 62-68 (1999)
78	EE	Prithviraj Dasgupta, Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: MAgNET: Mobile Agents for Networked Electronic Trading. IEEE Trans. Knowl. Data Eng. 11(4): 509-525 (1999)
77		Louise E. Moser, P. M. Melliar-Smith: Byzantine-Resistant Total Ordering Algorithms. Inf. Comput. 150(1): 75-111 (1999)
1998
76	EE	Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing Protocols for Securing Group Communication. HICSS (3) 1998: 317-326
75		Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: Flow Control in the High-Speed Thunder and Lightning ATM Network. ICCCN 1998: 243-250
74	EE	Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. ICNP 1998: 151-
73	EE	Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia: The Totem Multiple-Ring Ordering and Topology Maintenance Protocol. ACM Trans. Comput. Syst. 16(2): 93-132 (1998)
72	EE	Ravi K. Budhia, Louise E. Moser, P. M. Melliar-Smith: Performance engineering of the Totem group communication system. Distributed Systems Engineering 5(2): 78-87 (1998)
71		P. M. Melliar-Smith, Louise E. Moser: Surviving Network Partitioning. IEEE Computer 31(3): 62-68 (1998)
70		Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: Consistent Object Replication in the external System. TAPOS 4(2): 81-92 (1998)
1997
69	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: The Interception Approach to Reliable Distributed CORBA Objects. COOTS 1997: 245-248
68	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance. COOTS 1997: 81-90
67	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Consistency of Partitionable Object Groups in a CORBA Framework. HICSS (1) 1997: 120-129
66	EE	Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing the latency of the Totem multicast protocols. ICCCN 1997: 42-50
65		Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector. OPODIS 1997: 61-76
64	EE	Louise E. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith, Laura K. Dillon: A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Trans. Softw. Eng. Methodol. 6(1): 31-79 (1997)
63	EE	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Replica consistency of CORBA objects in partitionable distributed systems. Distributed Systems Engineering 4(3): 139-150 (1997)
62	EE	Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Totally ordered gigabit multicasting. Distributed Systems Engineering 4(4): 229-243 (1997)
1996
61		Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: The Real-Time Graphical Interval Logic Toolset. CAV 1996: 446-449
60	EE	W. J. Chun, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal: Applying Distributed Simulation to a Communication Protocol Development Environment. HICSS (1) 1996: 320-329
59		Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Reservation-Based Totally Ordered Multicasting. ICDCS 1996: 511-519
58	EE	Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Flow Control Techniques for Multicasting in Gigabit Networks. ICNP 1996: 102-
57		Louise E. Moser, P. M. Melliar-Smith: Probabilistic Duration Automata for Analyzing Real-Time Systems. TACAS 1996: 369-390
56		Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, Ravi K. Budhia, Colleen A. Lingley-Papadopoulos: Totem: A Fault-Tolerant Multicast Group Communication System. Commun. ACM 39(4): 54-63 (1996)
55		Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: Automated Deduction in a Graphical Temporal Logic. Journal of Applied Non-Classical Logics 6(1): (1996)
54	EE	Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty: Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theor. Comput. Sci. 166(1&2): 1-47 (1996)
53	EE	Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty: Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. Theor. Comput. Sci. 170(1-2): 1-46 (1996)
1995
52		Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal: The Totem System. FTCS 1995: 61-66
51	EE	Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia: A reliable ordered delivery protocol for interconnected local area networks. ICNP 1995: 365-
50		Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: A Parallel Processing Paradigm for Irregular Applications. IRREGULAR 1995: 249-254
49		Louise E. Moser, P. M. Melliar-Smith: Total Ordering Algorithms for Asynchronous Byzantine Systems. WDAG 1995: 242-256
48	EE	Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella: The Totem Single-Ring Ordering and Membership Protocol. ACM Trans. Comput. Syst. 13(4): 311-342 (1995)
47		G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon: Axiomatizations of Interval Logics. Fundam. Inform. 24(4): 313-331 (1995)
1994
46	EE	Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey: The QuickRing Network. ACM Conference on Computer Science 1994: 233-240
45	EE	G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: A Graphical Methodology for Concurrent System Design. ACM Conference on Computer Science 1994: 52-59
44		Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal: Extended Virtual Synchrony. ICDCS 1994: 56-65
43		G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna: First-Order Future Interval Logic. ICTL 1994: 195-209
42		P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: A System for Automated Deduction in Graphical Interval Logic. ICTL 1994: 540-542
41		Louise E. Moser, P. M. Melliar-Smith: Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. IEEE Real-Time Systems Symposium 1994: 238-248
40	EE	Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: A Graphical Interval Logic for Specifying Concurrent Systems. ACM Trans. Softw. Eng. Methodol. 3(2): 131-165 (1994)
39	EE	Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith: Classic Squares and Broadcast Squares. Discrete Applied Mathematics 54(1): 89-96 (1994)
38		Louise E. Moser, P. M. Melliar-Smith, G. Kutty, Y. S. Ramakrishna: Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. Fundam. Inform. 21(4): 257-305 (1994)
37	EE	Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Processor Membership in Asynchronous Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 5(5): 459-473 (1994)
36		Laura K. Dillon, G. Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna: Visual Specifications for Temporal Reasoning. J. Vis. Lang. Comput. 5(1): 61-81 (1994)
1993
35	EE	Louise E. Moser, P. M. Melliar-Smith: Analysis of Timing Hazards in Ada Programs. ACM Conference on Computer Science 1993: 326-331
34	EE	Hossein Moiin, P. M. Melliar-Smith, Louise E. Moser: Better Late Than Never. ACM Conference on Computer Science 1993: 44-51
33		G. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith: A Graphical Interval Logic Toolset for Verifying Concurrent Systems. CAV 1993: 138-153
32		Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: A Real-Time Interval Logic and Its Decision Procedure. FSTTCS 1993: 173-192
31		Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella: Fast Message Ordering and Membership Using a Logical Token-Passing Ring. ICDCS 1993: 551-560
30		G. Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Visual Tools for Temporal Reasoning. VL 1993: 152-159
29		Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Necessary and Sufficient Conditions for Broadcast Consensus Protocols. Distributed Computing 7(2): 75-85 (1993)
28		Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Asynchronous Fault-Tolerant Total Ordering Algorithms. SIAM J. Comput. 22(4): 727-750 (1993)
1992
27		Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS 1992: 51-67
26		Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: PAL: A Language for Parallel Asynchronous Computation. ICPP (2) 1992: 166-173
25	EE	Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224
24		Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, G. Kutty: An automata-theoretic decision procedure for propositional temporal logic with since and until. Fundam. Inform. 17(3): 271-282 (1992)
1991
23		P. M. Melliar-Smith, Louise E. Moser: Protection against Covert Storage and Timing Channels. CSFW 1991: 209-214
22	EE	Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Membership algorithms for asynchronous distributed systems. ICDCS 1991: 480-488
21		P. M. Melliar-Smith, Louise E. Moser: Performance Analysis of a Broadcast Communications Protocol. SIGMETRICS 1991: 1-10
1990
20	EE	Louise E. Moser, Vikas Kapur, P. M. Melliar-Smith: Probabilistic Language Analysis of Weighted Voting Algorithms. SIGMETRICS 1990: 67-73
19	EE	P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala: Broadcast Protocols for Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 1(1): 17-25 (1990)
18		Louise E. Moser, P. M. Melliar-Smith: The World Banker's Algorithm. J. Parallel Distrib. Comput. 9(4): 369-373 (1990)
17		Louise E. Moser, P. M. Melliar-Smith: Formal Verification of Safety-critical Systems. Softw., Pract. Exper. 20(8): 799-821 (1990)
1988
16		P. M. Melliar-Smith: A Graphical Representation of Interval Logic. Concurrency 1988: 106-120
1987
15		P. M. Melliar-Smith: Extending Interval Logic to Real Time Systems. Temporal Logic in Specification 1987: 224-242
1986
14		Leslie Lamport, P. M. Melliar-Smith: Byzantine Clock Synchronization. Operating Systems Review 20(3): 10-16 (1986)
1985
13	EE	Leslie Lamport, P. M. Melliar-Smith: Synchronizing Clocks in the Presence of Faults J. ACM 32(1): 52-78 (1985)
1984
12		Leslie Lamport, P. M. Melliar-Smith: Byzantine Clock Synchronization. PODC 1984: 68-74
1983
11		Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval-Based Temporal Logic. Logic of Programs 1983: 443-457
10		Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval Logic for Higher-Level Temporal Reasoning. PODC 1983: 173-186
9		Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification 1983: 3-18
8		Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems 1983: 55-65
1982
7		Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith: STP: A Mechanized Logic for Specification and Verification. CADE 1982: 32-49
6		Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV 1982: 3-19
5		P. M. Melliar-Smith, Richard L. Schwartz: Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. IEEE Trans. Computers 31(7): 616-630 (1982)
1981
4		Richard L. Schwartz, P. M. Melliar-Smith: Temporal Logic Specification of Distributed Systems. ICDCS 1981: 446-454
3		Richard L. Schwartz, P. M. Melliar-Smith: The Finalization Operation for Abstract Types. ICSE 1981: 273-282
1977
2		P. M. Melliar-Smith, Brian Randell: Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software 1977: 95-100
1974
1		James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell: A program structure for error detection and recovery. Symposium on Operating Systems 1974: 171-187

Coauthor Index

1 Deborah A. Agarwal [31] [44] [48] [51] [52] [56] [60] [73] [99]

2 Vivek Agrawala [19] [22] [28] [29] [37]

3 Yair Amir [31] [44] [48]

4 K. Berket [83] [86] [96] [99]

5 Ravi K. Budhia [51] [56] [72] [73]

6 Xiaomin Chen [58] [59] [62]

7 W. J. Chun [60]

8 P. Ciarfella [31] [48]

9 Amitabha Das [26] [50]

10 Prithviraj Dasgupta [78] [116] [125] [131]

11 Zachary Davis [132] [133] [134]

12 Laura K. Dillon [24] [25] [27] [30] [32] [33] [36] [40] [42] [43] [47] [53] [54] [55] [61] [64]

13 Yannis Drougas [140]

14 James J. Horning (Jim Horning) [1]

15 Sanjay Hortikar [118]

16 Michael Hu [132] [133] [134]

17 Vana Kalogeraki [82] [90] [91] [102] [140]

18 Vikas Kapur [20]

19 Firat Kart [138] [139] [141] [144]

20 Kim Potter Kihlstrom [65] [76] [84] [97] [117]

21 Ruppert R. Koch [83] [86] [92] [96] [111] [118]

22 G. Kutty [24] [25] [27] [30] [32] [33] [36] [38] [40] [42] [43] [45] [47] [53] [54] [55] [61] [64]

23 Leslie Lamport [12] [13] [14]

24 Hugh C. Lauer [1]

25 Colleen A. Lingley-Papadopoulos [56]

26 Keith Marzullo [108]

27 Gengxin Miao [139]

28 Hossein Moiin [34]

29 Louise E. Moser [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [109] [110] [111] [112] [113] [114] [115] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144]

30 Nitya Narasimhan [78] [89] [93] [95]

31 Priya Narasimhan [63] [67] [68] [69] [70] [79] [81] [84] [85] [86] [88] [96] [98] [103] [106] [107] [108] [113]

32 Andreas Polze [108]

33 Shreyas Prasad [132] [133] [134]

34 Y. S. Ramakrishna [24] [25] [27] [30] [32] [33] [36] [38] [40] [42] [43] [45] [47] [53] [54] [55] [61] [64]

35 Brian Randell [1] [2]

36 Michael D. Santos [74] [75] [87]

37 Douglas C. Schmidt [108]

38 Michael Schuricht [132] [133] [134]

39 Richard L. Schwartz [3] [4] [5] [6] [7] [8] [9] [10] [11]

40 Robert E. Shostak [7]

41 A. V. Singh [129]

42 Paul Sweazey [46]

43 L. A. Tewksbury [101] [104] [105] [114]

44 Efstratios Thomopoulos [66] [80] [94]

45 Marcos Valerio [39] [46]

46 Friedrich H. Vogt [9] [10] [11]

47 Wenbing Zhao [100] [109] [110] [112] [115] [119] [121] [122] [124] [126] [127] [128] [130] [135] [136] [141] [142]

Colors in the list of coauthors

1	Deborah A. Agarwal	[31] [44] [48] [51] [52] [56] [60] [73] [99]
2	Vivek Agrawala	[19] [22] [28] [29] [37]
3	Yair Amir	[31] [44] [48]
4	K. Berket	[83] [86] [96] [99]
5	Ravi K. Budhia	[51] [56] [72] [73]
6	Xiaomin Chen	[58] [59] [62]
7	W. J. Chun	[60]
8	P. Ciarfella	[31] [48]
9	Amitabha Das	[26] [50]
10	Prithviraj Dasgupta	[78] [116] [125] [131]
11	Zachary Davis	[132] [133] [134]
12	Laura K. Dillon	[24] [25] [27] [30] [32] [33] [36] [40] [42] [43] [47] [53] [54] [55] [61] [64]
13	Yannis Drougas	[140]
14	James J. Horning (Jim Horning)	[1]
15	Sanjay Hortikar	[118]
16	Michael Hu	[132] [133] [134]
17	Vana Kalogeraki	[82] [90] [91] [102] [140]
18	Vikas Kapur	[20]
19	Firat Kart	[138] [139] [141] [144]
20	Kim Potter Kihlstrom	[65] [76] [84] [97] [117]
21	Ruppert R. Koch	[83] [86] [92] [96] [111] [118]
22	G. Kutty	[24] [25] [27] [30] [32] [33] [36] [38] [40] [42] [43] [45] [47] [53] [54] [55] [61] [64]
23	Leslie Lamport	[12] [13] [14]
24	Hugh C. Lauer	[1]
25	Colleen A. Lingley-Papadopoulos	[56]
26	Keith Marzullo	[108]
27	Gengxin Miao	[139]
28	Hossein Moiin	[34]
29	Louise E. Moser	[17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [109] [110] [111] [112] [113] [114] [115] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144]
30	Nitya Narasimhan	[78] [89] [93] [95]
31	Priya Narasimhan	[63] [67] [68] [69] [70] [79] [81] [84] [85] [86] [88] [96] [98] [103] [106] [107] [108] [113]
32	Andreas Polze	[108]
33	Shreyas Prasad	[132] [133] [134]
34	Y. S. Ramakrishna	[24] [25] [27] [30] [32] [33] [36] [38] [40] [42] [43] [45] [47] [53] [54] [55] [61] [64]
35	Brian Randell	[1] [2]
36	Michael D. Santos	[74] [75] [87]
37	Douglas C. Schmidt	[108]
38	Michael Schuricht	[132] [133] [134]
39	Richard L. Schwartz	[3] [4] [5] [6] [7] [8] [9] [10] [11]
40	Robert E. Shostak	[7]
41	A. V. Singh	[129]
42	Paul Sweazey	[46]
43	L. A. Tewksbury	[101] [104] [105] [114]
44	Efstratios Thomopoulos	[66] [80] [94]
45	Marcos Valerio	[39] [46]
46	Friedrich H. Vogt	[9] [10] [11]
47	Wenbing Zhao	[100] [109] [110] [112] [115] [119] [121] [122] [124] [126] [127] [128] [130] [135] [136] [141] [142]