dblp.uni-trier.dewww.uni-trier.de

P. M. Melliar-Smith Vis

P. Michael Melliar-Smith

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
145EEFirat Kart, Louise E. Moser, P. Michael Melliar-Smith: Collaborative Computing Using the Atom Publishing Protocol. ITNG 2008: 291-296
144EELouise E. Moser, P. M. Melliar-Smith: Service-Oriented Architecture and Web Services. Wiley Encyclopedia of Computer Science and Engineering 2008
143EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Extended Transaction Protocol. IEEE Trans. Parallel Distrib. Syst. 19(2): 188-203 (2008)
142EEFirat Kart, Louise E. Moser, P. Michael Melliar-Smith: Building a Distributed E-Healthcare System Using SOA. IT Professional 10(2): 24-30 (2008)
141EEWenbing 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)
140EEVana 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
139EEFirat 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
137EEP. Michael Melliar-Smith, Louise E. Moser: Achieving Atomicity for Web Services Using Commutativity of Actions. J. UCS 13(8): 1094-1109 (2007)
136EELouise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao: Building Dependable and Secure Web Services. JSW 2(1): 14-26 (2007)
2006
135EELouise E. Moser, P. M. Melliar-Smith, Wenbing Zhao: Making Web Services Dependable. ARES 2006: 440-448
134EEZachary 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
131EEPrithviraj 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)
130EEWenbing 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
129EEA. 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
128EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Coordination Protocol for Web Services. ICWS 2005: 49-56
127EEWenbing 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
125EEPrithviraj 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)
124EEWenbing 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
123EEP. M. Melliar-Smith, Louise E. Moser: Progress in Real-Time Fault Tolerance. SRDS 2004: 109-111
122EEWenbing 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
120EELouise E. Moser, P. M. Melliar-Smith: Demonstration of Fault Tolerance for CORBA Applications. DISCEX (2) 2003: 87-89
119EEWenbing 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
118EERuppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith: Transparent TCP Connection Failover. DSN 2003: 383-392
117EEKim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Byzantine Fault Detectors for Solving Consensus. Comput. J. 46(1): 16-35 (2003)
116EEPrithviraj Dasgupta, P. M. Melliar-Smith: Dynamic Consumer Profiling and Tiered Pricing Using Software Agents. Electronic Commerce Research 3(3-4): 277-296 (2003)
2002
115EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: On Bootstrapping Replicated CORBA Applications. COMPSAC 2002: 239-245
114EELouise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury: Online Upgrades Become Standard. COMPSAC 2002: 982-988
113EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Lessons Learned in Building a Fault-Tolerant CORBA System. DSN 2002: 39-44
112EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Replication and Transaction Processing in Three-Tier Architectures. ICDCS 2002: 290-
111EERuppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: The Totem Redundant Ring Protocol. ICDCS 2002: 598-607
110EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. IPDPS 2002
109EEWenbing 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
108EEPriya 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
104EEL. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. DOA 2001: 310-320
103EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. DSN 2001: 261-270
102EEVana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Migration Algorithms for Distributed Object Systems. ICDCS 2001: 119-126
101EEL. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrades of CORBA Applications Using Object Replication. ICSM 2001: 488-
100EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Increasing the Reliability of Three-Tier Applications. ISSRE 2001: 138-147
99EEK. 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
98EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strong Replica Consistency for Fault-Tolerant CORBA Applications. WORDS 2001: 10-20
97EEKim 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)
94EEEfstratios 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
93EENitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Transparent Consistent Replication of Java RMI Objects. DOA 2000: 17-26
92EERuppert 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
91EEVana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith: A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. HICSS 2000
90EEVana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Scheduling for Soft Real-Time Distributed Object Systems. ISORC 2000: 114-121
89EENitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interception in the Aroma system. Java Grande 2000: 107-115
88EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Gateways for Accessing Fault Tolerance Domains. Middleware 2000: 88-103
87EEMichael 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
86EELouise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: Multicast Group Communication for CORBA. DOA 1999: 98-107
85EELouise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: A Fault Tolerance Framework for CORBA. FTCS 1999: 150-157
84EEPriya 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
83EELouise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket: A Group Communication Protocol for CORBA. ICPP Workshops 1999: 30-36
82EEVana 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
81EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. SRDS 1999: 263-273
80EEEfstratios 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)
78EEPrithviraj 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
76EEKim 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
74EEMichael D. Santos, P. M. Melliar-Smith, Louise E. Moser: A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. ICNP 1998: 151-
73EEDeborah 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)
72EERavi 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
69EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: The Interception Approach to Reliable Distributed CORBA Objects. COOTS 1997: 245-248
68EEPriya 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
67EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Consistency of Partitionable Object Groups in a CORBA Framework. HICSS (1) 1997: 120-129
66EEEfstratios 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
64EELouise 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)
63EEPriya 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)
62EEXiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Totally ordered gigabit multicasting. Distributed Systems Engineering 4(4): 229-243 (1997)
1996
61EELouise 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
60EEW. 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
58EEXiaomin 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)
54EEY. 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)
53EEY. 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
51EEDeborah 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
49EELouise E. Moser, P. M. Melliar-Smith: Total Ordering Algorithms for Asynchronous Byzantine Systems. WDAG 1995: 242-256
48EEYair 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
46EEMarcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey: The QuickRing Network. ACM Conference on Computer Science 1994: 233-240
45EEG. 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
40EELaura 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)
39EEMarcos 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)
37EELouise 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
35EELouise E. Moser, P. M. Melliar-Smith: Analysis of Timing Hazards in Ada Programs. ACM Conference on Computer Science 1993: 326-331
34EEHossein Moiin, P. M. Melliar-Smith, Louise E. Moser: Better Late Than Never. ACM Conference on Computer Science 1993: 44-51
33EEG. 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
32EEY. 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
27EEY. 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
25EELaura 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
22EELouise 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
20EELouise E. Moser, Vikas Kapur, P. M. Melliar-Smith: Probabilistic Language Analysis of Weighted Voting Algorithms. SIGMETRICS 1990: 67-73
19EEP. 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
16EEP. 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
13EELeslie 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
7EERobert 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)