Skip to main content
SpringerLink
Log in

Report Dagstuhl Seminar on Time Services Schloß Dagstuhl, March 11. – March 15. 1996

  • Published:
Real-Time Systems Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. John Rushby and Friedrich von Henke. Formal verification of algorithms for critical systems. IEEE Transactions on Software Engineering, 19(1):13–23, Jan. 1993.

    Google Scholar 

  2. John Rushby. A formally verified algorithm for clock synchronization under a hybrid fault model. In Thirteenth ACMSymposium on Principles of Distributed Computing, pages 304–313, Los Angeles, CA, August 1994. Association for Computing Machinery.

  3. Natarajan Shankar. Mechanical verification of a generalized protocol for Byzantine fault-tolerant clock synchronization. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science, pages 217–236, Nijmegen, The Netherlands, January 1992. Springer-Verlag.

    Google Scholar 

  4. Paul S. Miner. Verification of fault-tolerant clock synchronization systems. NASA Technical Paper 3349, NASA Langley Research Center, Hampton, VA, Nov. 1993.

    Google Scholar 

  5. Paul S. Miner, Shyamsundar Pullela, and Steven D. Johnson. Interaction of formal design systems in the development of a fault-tolerant clock synchronization circuit. In 13th Symposium on Reliable Distributed Systems, pages 128–137, Dana Point, CA, October 1994. IEEE Computer Society.

Download references

Author information

Authors and Affiliations

  1. Computer Science Dept., Hebrew University, Givat Ram, 91904, Jerusalem, Israel

    Danny Dolev

  2. Med. Universität zu Lübeck, Institut für Theoretische Informatik, Wallstrasse 40, D-23560, Lübek, Germany

    Rüdiger Reischuk

  3. Dept. of Computer Science, Cornell University, Upson Hall, Ithaca, NY, 14853-7510

    Fred B. Schneider

  4. IBM Almaden Research, Dept. K53/802, 650 Harry Road, San Jose, CA, 95120-6099

    H. Raymond Strong

Authors
  1. Danny Dolev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rüdiger Reischuk
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fred B. Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. H. Raymond Strong
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dolev, D., Reischuk, R., Schneider, F.B. et al. Report Dagstuhl Seminar on Time Services Schloß Dagstuhl, March 11. – March 15. 1996. Real-Time Systems 12, 329–345 (1997). https://doi.org/10.1023/A:1007957331469

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1007957331469

Search

Navigation