P. M. Melliar-Smith

169 papers A* 8A 24B 15C 4Misc 2Journal 59Unranked 55
YearRankTypeTitle / 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