P. M. Melliar-Smith

Yung-Ting Chuang

Proceedings of the 2012 IEEE First International Conference on Mobile Services, 2012

Detecting and defending against malicious attacks in the iTrust information retrieval network.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Information Networking, 2012

iTrust: Trustworthy Information Publication, Search and Retrieval.

[BibT_eX]

[DOI]

Isai Michel Lombera

Yung-Ting Chuang

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

2011

RMR: Reliability Map Routing for Tactical Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Amir Aminzadeh Gohari

Ryan Pakbaz

Volkan Rodoplu

IEEE J. Sel. Areas Commun., 2011

Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications.

[BibT_eX]

[DOI]

IET Softw., 2011

Decentralized Mobile Search and Retrieval Using SMS and HTTP to Support Social Change.

[BibT_eX]

[DOI]

Proceedings of the Mobile Computing, Applications, and Services, 2011

Leader-Determined Membership Protocol.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

An Automated Supply Chain Management System and Its Performance Evaluation.

[BibT_eX]

[DOI]

Int. J. Inf. Syst. Supply Chain Manag., 2010

A patient-centered health monitoring system.

[BibT_eX]

[DOI]

Yung-Ting Chuang

Proceedings of Wireless Health 2010, 2010

Fault Tolerance Middleware for Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Managing multiple speech-enabled applications in a mobile handheld device.

[BibT_eX]

[DOI]

Int. J. Pervasive Comput. Commun., 2009

O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

Collaborative Web Data Record Extraction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

2008

Service-Oriented Architecture and Web Services.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A Reservation-Based Extended Transaction Protocol.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2008

A Reservation-based Extended Transaction Protocol for Coordination of Web Services.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2008

Resource management using multiple feedback loops in soft real-time distributed object systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Building a Distributed E-Healthcare System Using SOA.

[BibT_eX]

[DOI]

IT Prof., 2008

Collaborative Computing Using the Atom Publishing Protocol.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Collaborative Computing Infrastructure based on atom.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

2007

Achieving Atomicity for Web Services Using Commutativity of Actions.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2007

Building Dependable and Secure Web Services.

[BibT_eX]

[DOI]

J. Softw., 2007

Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology.

[BibT_eX]

Proceedings of the 2007 International Conference on Internet Computing, 2007

A Distributed e-Healthcare System Based on the Service Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

End-to-end latency of a fault-tolerant CORBA infrastructure.

[BibT_eX]

[DOI]

Perform. Evaluation, 2006

Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy.

[BibT_eX]

[DOI]

Prithviraj Dasgupta

Int. J. Inf. Technol. Decis. Mak., 2006

Speech-Enabled Web Services for Mobile Devices.

[BibT_eX]

Proceedings of the 2006 International Conference on Semantic Web & Web Services, 2006

Location-Aware Voice-Enabled Web Services for Mobile Devices.

[BibT_eX]

Proceedings of the MoMM'2006, 2006

A Personal Handheld Multi-Modal Shopping Assistant.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

Making Web Services Dependable.

[BibT_eX]

[DOI]

Proceedings of the The First International Conference on Availability, 2006

2005

Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2005

Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace.

[BibT_eX]

[DOI]

Prithviraj Dasgupta

Electron. Commer. Res., 2005

Deterministic Scheduling for Multithreaded Replicas.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

A Reservation-Based Coordination Protocol for Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA.

[BibT_eX]

[DOI]

A. V. Singh

Proceedings of the Dependable Computing, 2005

Fault Tolerance for Distributed and Networked Systems.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004

Design and implementation of a consistent time service for fault-tolerant distributed systems.

[BibT_eX]

Comput. Syst. Sci. Eng., 2004

Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure.

[BibT_eX]

[DOI]

Clust. Comput., 2004

Progress in Real-Time Fault Tolerance.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

2003

Dynamic Consumer Profiling and Tiered Pricing Using Software Agents.

[BibT_eX]

[DOI]

Prithviraj Dasgupta

Electron. Commer. Res., 2003

Byzantine Fault Detectors for Solving Consensus.

[BibT_eX]

[DOI]

Comput. J., 2003

Transparent TCP Connection Failover.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Demonstration of Fault Tolerance for CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Eternal - a component-based framework for transparent fault-tolerant CORBA.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2002

Strongly consistent replication and recovery of fault-tolerant CORBA applications.

[BibT_eX]

Comput. Syst. Sci. Eng., 2002

Open Research Issues in Building Dependable Middleware (Panel).

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Unification of Replication and Transaction Processing in Three-Tier Architectures.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

The Totem Redundant Ring Protocol.

[BibT_eX]

[DOI]

Ruppert R. Koch

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

Lessons Learned in Building a Fault-Tolerant CORBA System.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

On Bootstrapping Replicated CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Online Upgrades Become Standard.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Latency analysis of the totem single-ring protocol.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2001

The SecureRing group communication system.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2001

Interceptors for Java Remote Method Invocation.

[BibT_eX]

[DOI]

Nitya Narasimhan

Concurr. Comput. Pract. Exp., 2001

A multicast group communication protocol, engine, and bridge for CORBA.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

Strong Replica Consistency for Fault-Tolerant CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Increasing the Reliability of Three-Tier Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Live Upgrades of CORBA Applications Using Object Replication.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Dynamic Migration Algorithms for Distributed Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Overview of the InterGroup Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2001, 2001

An analysis of the optimum node density for ad hoc mobile networks.

[BibT_eX]

[DOI]

Elizabeth M. Royer

Proceedings of the IEEE International Conference on Communications, 2001

State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

Live Upgrade Techniques for CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

2000

Flow control in the high-speed Thunder and Lightning ATM network.

[BibT_eX]

[DOI]

Michael D. Santos

Comput. Commun., 2000

Dynamic Scheduling of Distributed Method Invocations.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Gateways for Accessing Fault Tolerance Domains.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2000, 2000

Interception in the Aroma system.

[BibT_eX]

[DOI]

Nitya Narasimhan

Proceedings of the ACM 2000 Java Grande Conference, San Francisco, CA, USA, 2000

Dynamic Scheduling for Soft Real-Time Distributed Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

A CORBA Framework for Managing Real-Time Distributed Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks.

[BibT_eX]

[DOI]

Ruppert R. Koch

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Transparent Consistent Replication of Java RMI Objects.

[BibT_eX]

[DOI]

Nitya Narasimhan

Proceedings of the International Symposium on Distributed Objects and Applications, 2000

1999

MAgNET: Mobile Agents for Networked Electronic Trading.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1999

Byzantine-Resistant Total Ordering Algorithms.

[BibT_eX]

[DOI]

Inf. Comput., 1999

Using Interceptors to Enhance CORBA.

[BibT_eX]

[DOI]

Computer, 1999

Analyzing and Measuring the Latency of the Totem Multicast Protocols.

[BibT_eX]

[DOI]

Comput. Networks, 1999

Dynamic modeling of replicated objects for dependable soft real-time distributed object systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

A Group Communication Protocol for CORBA.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

Providing Support for Survivable CORBA Applications with the Immune System.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

A Fault Tolerance Framework for CORBA.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-29, 1999

The Eternal system: an architecture for enterprise applications.

[BibT_eX]

[DOI]

Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

Multicast Group Communication for CORBA.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Distributed Objects and Applications, 1999

1998

The Totem Multiple-Ring Ordering and Topology Maintenance Protocol.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1998

Consistent Object Replication in the external System.

[BibT_eX]

Theory Pract. Object Syst., 1998

Performance engineering of the Totem group communication system.

[BibT_eX]

[DOI]

Ravi K. Budhia

Distributed Syst. Eng., 1998

Surviving Network Partitioning.

[BibT_eX]

[DOI]

Computer, 1998

An Extensible Remote Graphical Interface for an ATM Network Simulator.

[BibT_eX]

[DOI]

Michael D. Santos

Proceedings of the 6th Annual Tcl/Tk Conference, 1998

A Lossless, Minimal Latency Protocol for Gigabit ATM Networks.

[BibT_eX]

[DOI]

Michael D. Santos

Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

The SecureRing Protocols for Securing Group Communication.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

A Graphical Environment for the Design of Concurrent Real-Time Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

Replica consistency of CORBA objects in partitionable distributed systems.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1997

Totally ordered gigabit multicasting.

[BibT_eX]

[DOI]

Xiaomin Chen

Distributed Syst. Eng., 1997

Probabilistic analysis of real-time dependable systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Separation of concerns: functionality vs. quality of service.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector.

[BibT_eX]

Proceedings of the On Principles Of Distributed Systems, 1997

Analyzing the latency of the Totem multicast protocols.

[BibT_eX]

[DOI]

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Consistency of Partitionable Object Groups in a CORBA Framework.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

The Interception Approach to Reliable Distributed CORBA Objects.

[BibT_eX]

[DOI]

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance.

[BibT_eX]

[DOI]

Colleen A. Lingley-Papadopoulos

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1996

Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Interval Logics and Their Decision Procedures, Part I: An Interval Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Automated Deduction in a Graphical Temporal Logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1996

Totem: A Fault-Tolerant Multicast Group Communication System.

[BibT_eX]

[DOI]

Commun. ACM, 1996

Object-oriented programming of complex fault-tolerant real-time systems.

[BibT_eX]

[DOI]

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Probabilistic Duration Automata for Analyzing Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Flow Control Techniques for Multicasting in Gigabit Networks.

[BibT_eX]

[DOI]

Xiaomin Chen

Proceedings of the 1996 International Conference on Network Protocols, 1996

Reservation-Based Totally Ordered Multicasting.

[BibT_eX]

[DOI]

Xiaomin Chen

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Applying Distributed Simulation to a Communication Protocol Development Environment.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

The Real-Time Graphical Interval Logic Toolset.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

The Totem Single-Ring Ordering and Membership Protocol.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1995

Axiomatizations of Interval Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

Total Ordering Algorithms for Asynchronous Byzantine Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

A Parallel Processing Paradigm for Irregular Applications.

[BibT_eX]

[DOI]

Amitabha Das

Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

A reliable ordered delivery protocol for interconnected local area networks.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Network Protocols, 1995

The Totem System.

[BibT_eX]

[DOI]

Deborah A. Agarwal

Proceedings of the Digest of Papers: FTCS-25, 1995

1994

Visual Specifications for Temporal Reasoning.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1994

Processor Membership in Asynchronous Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

A Graphical Interval Logic for Specifying Concurrent Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1994

Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1994

Classic Squares and Broadcast Squares.

[BibT_eX]

[DOI]

Marcos Valerio

Discret. Appl. Math., 1994

Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

A System for Automated Deduction in Graphical Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

First-Order Future Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

The Totem protocol development environment.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Network Protocols, 1994

Extended Virtual Synchrony.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

The QuickRing Network.

[BibT_eX]

[DOI]

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

A Graphical Methodology for Concurrent System Design.

[BibT_eX]

[DOI]

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993

Asynchronous Fault-Tolerant Total Ordering Algorithms.

[BibT_eX]

[DOI]

SIAM J. Comput., 1993

Necessary and Sufficient Conditions for Broadcast Consensus Protocols.

[BibT_eX]

[DOI]

Distributed Comput., 1993

Visual Tools for Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Really visual temporal reasoning.

[BibT_eX]

[DOI]

Y. S. Ramakrishna

Laura K. Dillon

George Kutty

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Fast Message Ordering and Membership Using a Logical Token-Passing Ring.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

A Real-Time Interval Logic and Its Decision Procedure.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

A Graphical Interval Logic Toolset for Verifying Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Analysis of Timing Hazards in Ada Programs.

[BibT_eX]

[DOI]

Proceedings of the ACM 21th Conference on Computer Science, 1993

Better Late Than Never.

[BibT_eX]

[DOI]

Hossein Moiin

Proceedings of the ACM 21th Conference on Computer Science, 1993

1992

An automata-theoretic decision procedure for propositional temporal logic with since and until.

[BibT_eX]

Fundam. Informaticae, 1992

Graphical Specifications for Concurrent Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Software Engineering, 1992

PAL: A Language for Parallel Asynchronous Computation.

[BibT_eX]

Amitabha Das

Proceedings of the 1992 International Conference on Parallel Processing, 1992

An Automata-Theoretic Decision Procedure for Future Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991

A parallel sorting algorithm for a novel model of computation.

[BibT_eX]

[DOI]

Amitabha Das

Int. J. Parallel Program., 1991

Performance Analysis of a Broadcast Communications Protocol.

[BibT_eX]

[DOI]

Proceedings of the 1991 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1991

Membership algorithms for asynchronous distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

Protection against Covert Storage and Timing Channels.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

Total ordering algorithms.

[BibT_eX]

[DOI]

Proceedings of the 19th annual conference on Computer Science, 1991

1990

Broadcast Protocols for Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1990

Formal Verification of Safety-critical Systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1990

The World Banker's Algorithm.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1990

Probabilistic Language Analysis of Weighted Voting Algorithms.

[BibT_eX]

[DOI]

Vikas Kapur

Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

1989

Fault-tolerant distributed systems based on broadcast communication.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

A Graphical Representation of Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987

Extending Interval Logic to Real Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic in Specification, 1987

1986

Byzantine Clock Synchronization.

[BibT_eX]

[DOI]

Leslie Lamport

ACM SIGOPS Oper. Syst. Rev., 1986

1985

Synchronizing Clocks in the Presence of Faults

[BibT_eX]

[DOI]

Leslie Lamport

J. ACM, January, 1985

The enhanced HDM system for specification and verification.

[BibT_eX]

[DOI]

John Rushby

ACM SIGSOFT Softw. Eng. Notes, 1985

1983

An Interval Logic for Higher-Level Temporal Reasoning.

[BibT_eX]

[DOI]

Friedrich H. Vogt

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

An Interval-Based Temporal Logic.

[BibT_eX]

[DOI]

Friedrich H. Vogt

Proceedings of the Logics of Programs, 1983

Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.

[BibT_eX]

Friedrich H. Vogt

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

From State Machines to Temporal Logic: Specification Methods for Protocol Standards.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1982

Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System.

[BibT_eX]

[DOI]