P. M. Melliar-Smith

169 papers A* 8A 24B 15C 4Misc 2Journal 59Unranked 55

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Corrigendum to "Peer-to-Peer Publication, Search and Retrieval Using the Android Mobile Platform" [Computer Networks 65(2014) 56-72]. Comput. Networks Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang
2016	J	`jnl`	Statistical Estimation and Dynamic Adaptation Algorithms for the iTrust Publication, Search and Retrieval System. Comput. J. Yung-Ting Chuang, P. M. Melliar-Smith, Louise E. Moser, Isai Michel Lombera
2015	A	`conf`	Conversion Infrastructure for Maintaining High Availability of Web Services Using Multiple Service Providers. ICWS P. M. Melliar-Smith, Louise E. Moser
2015	—	`conf`	Personal Health Monitoring Using a Smartphone. IEEE MS Louise E. Moser, P. M. Melliar-Smith
2013	J	`jnl`	Low Latency Fault Tolerance System. Comput. J. Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser
2013	J	`jnl`	Mobile Decentralized Search and Retrieval Using SMS and HTTP. Mob. Networks Appl. Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang
2013	—	`conf`	Peer management for iTrust over Wi-Fi Direct. WPMC Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang
2013	B	`conf`	Probabilistic Analysis of Message Forwarding. ICCCN Louise E. Moser, P. M. Melliar-Smith
2012	B	`conf`	Decentralized search and retrieval for mobile networks using SMS. WiMob Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang
2012	—	`conf`	Detecting and defending against malicious attacks in the iTrust information retrieval network. ICOIN Yung-Ting Chuang, Isai Michel Lombera, P. M. Melliar-Smith, Louise E. Moser
2011	—	`conf`	Decentralized Mobile Search and Retrieval Using SMS and HTTP to Support Social Change. MobiCASE Isai Michel Lombera, Yung-Ting Chuang, Louise E. Moser, P. M. Melliar-Smith
2011	J	`jnl`	Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications. IET Softw. Honglei Zhang, Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2011	—	`conf`	Leader-Determined Membership Protocol. HASE Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser
2010	—	`conf`	A patient-centered health monitoring system. Wireless Health Yung-Ting Chuang, P. M. Melliar-Smith, Louise E. Moser
2010	J	`jnl`	An Automated Supply Chain Management System and Its Performance Evaluation. Int. J. Inf. Syst. Supply Chain Manag. Firat Kart, Louise E. Moser, P. M. Melliar-Smith
2010	—	`conf`	Fault Tolerance Middleware for Cloud Computing. IEEE CLOUD Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser
2010	J	`jnl`	The Low Latency Fault Tolerance System CoRR Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser
2009	A	`conf`	Collaborative Web Data Record Extraction. ICWS Gengxin Miao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith
2009	J	`jnl`	Managing multiple speech-enabled applications in a mobile handheld device. Int. J. Pervasive Comput. Commun. Michael Schuricht, Zachary Davis, Michael Hu, Shreyas Prasad, P. M. Melliar-Smith, Louise E. Moser
2009	—	`conf`	O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems. SCCC P. M. Melliar-Smith, Louise E. Moser
2008	J	`jnl`	A Reservation-Based Extended Transaction Protocol. IEEE Trans. Parallel Distributed Syst. Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2008	J	`jnl`	A Reservation-based Extended Transaction Protocol for Coordination of Web Services. Int. J. Web Serv. Res. Wenbing Zhao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith
2008	J	`jnl`	Resource management using multiple feedback loops in soft real-time distributed object systems. J. Syst. Softw. Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser, Yannis Drougas
2008	—	`ch.`	Service-Oriented Architecture and Web Services. Wiley Encyclopedia of Computer Science and Engineering Louise E. Moser, P. M. Melliar-Smith
2007	—	`conf`	A Distributed e-Healthcare System Based on the Service Oriented Architecture. IEEE SCC Firat Kart, Gengxin Miao, Louise E. Moser, P. M. Melliar-Smith
2006	—	`conf`	A Personal Handheld Multi-Modal Shopping Assistant. ICNS Zachary Davis, Michael Hu, Shreyas Prasad, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser
2006	J	`jnl`	End-to-end latency of a fault-tolerant CORBA infrastructure. Perform. Evaluation Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2006	C	`conf`	Location-Aware Voice-Enabled Web Services for Mobile Devices. MoMM Shreyas Prasad, Zachary Davis, Michael Hu, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser
2006	B	`conf`	Making Web Services Dependable. ARES Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao
2006	J	`jnl`	Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy. Int. J. Inf. Technol. Decis. Mak. Prithviraj Dasgupta, P. M. Melliar-Smith, Louise E. Moser
2005	A	`conf`	A Reservation-Based Coordination Protocol for Web Services. ICWS Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2005	—	`conf`	Deterministic Scheduling for Multithreaded Replicas. WORDS Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2005	J	`jnl`	Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace. Electron. Commer. Res. Prithviraj Dasgupta, Louise E. Moser, P. M. Melliar-Smith
2005	—	`ch.`	Fault Tolerance for Distributed and Networked Systems. Encyclopedia of Information Science and Technology (II) Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2005	Misc	`conf`	Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. EDCC A. V. Singh, Louise E. Moser, P. M. Melliar-Smith
2005	J	`jnl`	Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA. IEEE Trans. Dependable Secur. Comput. Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2004	J	`jnl`	Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure. Clust. Comput. Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2004	J	`jnl`	Design and implementation of a consistent time service for fault-tolerant distributed systems. Comput. Syst. Sci. Eng. Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2004	B	`conf`	Progress in Real-Time Fault Tolerance. SRDS P. M. Melliar-Smith, Louise E. Moser
2003	J	`jnl`	Byzantine Fault Detectors for Solving Consensus. Comput. J. Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
2003	—	`conf`	Demonstration of Fault Tolerance for CORBA Applications. DISCEX (2) Louise E. Moser, P. M. Melliar-Smith
2003	A	`conf`	Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. DSN Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2003	J	`jnl`	Dynamic Consumer Profiling and Tiered Pricing Using Software Agents. Electron. Commer. Res. Prithviraj Dasgupta, P. M. Melliar-Smith
2003	A	`conf`	Transparent TCP Connection Failover. DSN Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith
2002	A	`conf`	Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. IPDPS Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2002	—	`conf`	End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. Symposium on Object-Oriented Real-Time Distributed Computing Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2002	J	`jnl`	Eternal - a component-based framework for transparent fault-tolerant CORBA. Softw. Pract. Exp. Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2002	A	`conf`	Lessons Learned in Building a Fault-Tolerant CORBA System. DSN Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2002	B	`conf`	On Bootstrapping Replicated CORBA Applications. COMPSAC Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2002	B	`conf`	Online Upgrades Become Standard. COMPSAC Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury
2002	—	`conf`	Open Research Issues in Building Dependable Middleware (Panel). WORDS Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt
2002	J	`jnl`	Strongly consistent replication and recovery of fault-tolerant CORBA applications. Comput. Syst. Sci. Eng. Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2002	A	`conf`	The Totem Redundant Ring Protocol. ICDCS Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith
2002	A	`conf`	Unification of Replication and Transaction Processing in Three-Tier Architectures. ICDCS Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2001	J	`jnl`	A multicast group communication protocol, engine, and bridge for CORBA. Concurr. Comput. Pract. Exp. Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket
2001	—	`conf`	Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. DOA L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith
2001	A	`conf`	Dynamic Migration Algorithms for Distributed Object Systems. ICDCS Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser
2001	A	`conf`	Increasing the Reliability of Three-Tier Applications. ISSRE Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2001	J	`jnl`	Interceptors for Java Remote Method Invocation. Concurr. Comput. Pract. Exp. Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2001	J	`jnl`	Latency analysis of the totem single-ring protocol. IEEE/ACM Trans. Netw. Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith
2001	C	`conf`	Live Upgrade Techniques for CORBA Applications. DAIS L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith
2001	—	`conf`	Live Upgrades of CORBA Applications Using Object Replication. ICSM L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith
2001	Misc	`conf`	Overview of the InterGroup Protocols. International Conference on Computational Science (1) K. Berket, Deborah A. Agarwal, P. M. Melliar-Smith, Louise E. Moser
2001	A	`conf`	State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. DSN Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2001	—	`conf`	Strong Replica Consistency for Fault-Tolerant CORBA Applications. WORDS Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2001	J	`jnl`	The SecureRing group communication system. ACM Trans. Inf. Syst. Secur. Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
2000	—	`conf`	A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. HICSS Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith
2000	A	`conf`	A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. DSN Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith
2000	C	`conf`	Dynamic Scheduling for Soft Real-Time Distributed Object Systems. ISORC Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser
2000	A	`conf`	Dynamic Scheduling of Distributed Method Invocations. RTSS Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser
2000	J	`jnl`	Flow control in the high-speed Thunder and Lightning ATM network. Comput. Commun. Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser
2000	A	`conf`	Gateways for Accessing Fault Tolerance Domains. Middleware Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2000	—	`conf`	Interception in the Aroma system. Java Grande Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2000	—	`conf`	Transparent Consistent Replication of Java RMI Objects. DOA Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1999	—	`conf`	A Fault Tolerance Framework for CORBA. FTCS Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan
1999	—	`conf`	A Group Communication Protocol for CORBA. ICPP Workshops Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket
1999	J	`jnl`	Analyzing and Measuring the Latency of the Totem Multicast Protocols. Comput. Networks Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith
1999	J	`jnl`	Byzantine-Resistant Total Ordering Algorithms. Inf. Comput. Louise E. Moser, P. M. Melliar-Smith
1999	—	`conf`	Dynamic modeling of replicated objects for dependable soft real-time distributed object systems. WORDS (Jan.) Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith
1999	B	`conf`	Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. SRDS Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1999	J	`jnl`	MAgNET: Mobile Agents for Networked Electronic Trading. IEEE Trans. Knowl. Data Eng. Prithviraj Dasgupta, Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1999	—	`conf`	Multicast Group Communication for CORBA. DOA Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket
1999	A	`conf`	Providing Support for Survivable CORBA Applications with the Immune System. ICDCS Priya Narasimhan, Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
1999	B	`conf`	The Eternal system: an architecture for enterprise applications. EDOC Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, L. A. Tewksbury, Vana Kalogeraki
1999	J	`jnl`	Using Interceptors to Enhance CORBA. Computer Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1999	C	`conf`	Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems. ISORC Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser
1998	B	`conf`	A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. ICNP Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser
1998	—	`conf`	An Extensible Remote Graphical Interface for an ATM Network Simulator. Tcl/Tk Conference Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser
1998	J	`jnl`	Consistent Object Replication in the external System. Theory Pract. Object Syst. Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan
1998	B	`conf`	Flow Control in the High-Speed Thunder and Lightning ATM Network. ICCCN Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser
1998	J	`jnl`	Performance engineering of the Totem group communication system. Distributed Syst. Eng. Ravi K. Budhia, Louise E. Moser, P. M. Melliar-Smith
1998	J	`jnl`	Surviving Network Partitioning. Computer P. M. Melliar-Smith, Louise E. Moser
1998	—	`conf`	The SecureRing Protocols for Securing Group Communication. HICSS (3) Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
1998	J	`jnl`	The Totem Multiple-Ring Ordering and Topology Maintenance Protocol. ACM Trans. Comput. Syst. Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia
1997	J	`jnl`	A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Trans. Softw. Eng. Methodol. Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon
1997	B	`conf`	Analyzing the latency of the Totem multicast protocols. ICCCN Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith
1997	—	`conf`	Consistency of Partitionable Object Groups in a CORBA Framework. HICSS (1) Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1997	—	`conf`	Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance. COOTS Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1997	J	`jnl`	Replica consistency of CORBA objects in partitionable distributed systems. Distributed Syst. Eng. Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1997	B	`conf`	Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector. OPODIS Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
1997	—	`conf`	The Interception Approach to Reliable Distributed CORBA Objects. COOTS Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1997	J	`jnl`	Totally ordered gigabit multicasting. Distributed Syst. Eng. Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith
1996	—	`conf`	Applying Distributed Simulation to a Communication Protocol Development Environment. HICSS (1) Wesley J. Chun, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal
1996	J	`jnl`	Automated Deduction in a Graphical Temporal Logic. J. Appl. Non Class. Logics Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1996	B	`conf`	Flow Control Techniques for Multicasting in Gigabit Networks. ICNP Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith
1996	J	`jnl`	Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theor. Comput. Sci. Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1996	J	`jnl`	Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. Theor. Comput. Sci. Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1996	—	`conf`	Object-oriented programming of complex fault-tolerant real-time systems. WORDS Louise E. Moser, Priya Narasimhan, P. M. Melliar-Smith
1996	A	`conf`	Probabilistic Duration Automata for Analyzing Real-Time Systems. TACAS Louise E. Moser, P. M. Melliar-Smith
1996	A	`conf`	Reservation-Based Totally Ordered Multicasting. ICDCS Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith
1996	A*	`conf`	The Real-Time Graphical Interval Logic Toolset. CAV Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1996	J	`jnl`	Totem: A Fault-Tolerant Multicast Group Communication System. Commun. ACM Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, Ravi K. Budhia, Colleen A. Lingley-Papadopoulos
1995	—	`conf`	A Parallel Processing Paradigm for Irregular Applications. IRREGULAR Amitabha Das, Louise E. Moser, P. M. Melliar-Smith
1995	B	`conf`	A reliable ordered delivery protocol for interconnected local area networks. ICNP Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia
1995	J	`jnl`	Axiomatizations of Interval Logics. Fundam. Informaticae George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon
1995	J	`jnl`	The Totem Single-Ring Ordering and Membership Protocol. ACM Trans. Comput. Syst. Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella
1995	—	`conf`	The Totem System. FTCS Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal
1995	—	`conf`	Total Ordering Algorithms for Asynchronous Byzantine Systems. WDAG Louise E. Moser, P. M. Melliar-Smith
1994	J	`jnl`	A Graphical Interval Logic for Specifying Concurrent Systems. ACM Trans. Softw. Eng. Methodol. Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1994	—	`conf`	A Graphical Methodology for Concurrent System Design. ACM Conference on Computer Science George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1994	—	`conf`	A System for Automated Deduction in Graphical Interval Logic. ICTL P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1994	J	`jnl`	Classic Squares and Broadcast Squares. Discret. Appl. Math. Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith
1994	J	`jnl`	Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. Fundam. Informaticae Louise E. Moser, P. M. Melliar-Smith, George Kutty, Y. S. Ramakrishna
1994	A	`conf`	Extended Virtual Synchrony. ICDCS Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal
1994	—	`conf`	First-Order Future Interval Logic. ICTL George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna
1994	A	`conf`	Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. RTSS Louise E. Moser, P. M. Melliar-Smith
1994	J	`jnl`	Processor Membership in Asynchronous Distributed Systems. IEEE Trans. Parallel Distributed Syst. Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1994	—	`conf`	The QuickRing Network. ACM Conference on Computer Science Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey
1994	B	`conf`	The Totem protocol development environment. ICNP P. Ciarfella, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal
1994	J	`jnl`	Visual Specifications for Temporal Reasoning. J. Vis. Lang. Comput. Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna
1993	A*	`conf`	A Graphical Interval Logic Toolset for Verifying Concurrent Systems. CAV George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith
1993	—	`conf`	A Real-Time Interval Logic and Its Decision Procedure. FSTTCS Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty
1993	—	`conf`	Analysis of Timing Hazards in Ada Programs. ACM Conference on Computer Science Louise E. Moser, P. M. Melliar-Smith
1993	J	`jnl`	Asynchronous Fault-Tolerant Total Ordering Algorithms. SIAM J. Comput. Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1993	—	`conf`	Better Late Than Never. ACM Conference on Computer Science Hossein Moiin, P. M. Melliar-Smith, Louise E. Moser
1993	A	`conf`	Fast Message Ordering and Membership Using a Logical Token-Passing Ring. ICDCS Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella
1993	J	`jnl`	Necessary and Sufficient Conditions for Broadcast Consensus Protocols. Distributed Comput. Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1993	—	`conf`	Visual Tools for Temporal Reasoning. VL George Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1992	—	`conf`	An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty
1992	J	`jnl`	An automata-theoretic decision procedure for propositional temporal logic with since and until. Fundam. Informaticae Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, George Kutty
1992	A*	`conf`	Graphical Specifications for Concurrent Software Systems. ICSE Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1992	—	`conf`	PAL: A Language for Parallel Asynchronous Computation. ICPP (2) Amitabha Das, Louise E. Moser, P. M. Melliar-Smith
1991	J	`jnl`	A parallel sorting algorithm for a novel model of computation. Int. J. Parallel Program. Amitabha Das, Louise E. Moser, P. M. Melliar-Smith
1991	A	`conf`	Membership algorithms for asynchronous distributed systems. ICDCS Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1991	A*	`conf`	Performance Analysis of a Broadcast Communications Protocol. SIGMETRICS P. M. Melliar-Smith, Louise E. Moser
1991	—	`conf`	Protection against Covert Storage and Timing Channels. CSFW P. M. Melliar-Smith, Louise E. Moser
1991	—	`conf`	Total ordering algorithms. ACM Conference on Computer Science Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1990	J	`jnl`	Broadcast Protocols for Distributed Systems. IEEE Trans. Parallel Distributed Syst. P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala
1990	J	`jnl`	Formal Verification of Safety-critical Systems. Softw. Pract. Exp. Louise E. Moser, P. M. Melliar-Smith
1990	A*	`conf`	Probabilistic Language Analysis of Weighted Voting Algorithms. SIGMETRICS Louise E. Moser, Vikas Kapur, P. M. Melliar-Smith
1990	J	`jnl`	The World Banker's Algorithm. J. Parallel Distributed Comput. Louise E. Moser, P. M. Melliar-Smith
1988	—	`conf`	A Graphical Representation of Interval Logic. Concurrency P. M. Melliar-Smith
1987	—	`conf`	Extending Interval Logic to Real Time Systems. Temporal Logic in Specification P. M. Melliar-Smith
1986	J	`jnl`	Byzantine Clock Synchronization. ACM SIGOPS Oper. Syst. Rev. Leslie Lamport, P. M. Melliar-Smith
1985	J	`jnl`	Synchronizing Clocks in the Presence of Faults J. ACM Leslie Lamport, P. M. Melliar-Smith
1984	A*	`conf`	Byzantine Clock Synchronization. PODC Leslie Lamport, P. M. Melliar-Smith
1983	A*	`conf`	An Interval Logic for Higher-Level Temporal Reasoning. PODC Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
1983	—	`conf`	An Interval-Based Temporal Logic. Logic of Programs Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
1983	—	`conf`	From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems Richard L. Schwartz, P. M. Melliar-Smith
1983	—	`conf`	Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
1982	J	`jnl`	Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. IEEE Trans. Computers P. M. Melliar-Smith, Richard L. Schwartz
1982	—	`conf`	From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV Richard L. Schwartz, P. M. Melliar-Smith
1982	A	`conf`	STP: A Mechanized Logic for Specification and Verification. CADE Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith
1982	J	`jnl`	The proof of SIFT. ACM SIGSOFT Softw. Eng. Notes P. M. Melliar-Smith, Richard L. Schwartz
1981	A	`conf`	Temporal Logic Specification of Distributed Systems. ICDCS Richard L. Schwartz, P. M. Melliar-Smith
1981	A*	`conf`	The Finalization Operation for Abstract Types. ICSE Richard L. Schwartz, P. M. Melliar-Smith
1977	—	`conf`	Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software P. M. Melliar-Smith, Brian Randell
1974	—	`conf`	A program structure for error detection and recovery. Symposium on Operating Systems James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell
1969	—	`conf`	A design for a fast computer for scientific calculations. AFIPS Fall Joint Computing Conference P. M. Melliar-Smith