W2F - Papers



Note: We generated the html version of our bibtex files with the bib2html tools of David Hull. The search engine (see the Search Help for instructions) was also taken from these tools.

Search our full bibliography database for the W2F project (HTML version, bibtex version):


Authors:  
Keywords: 
           


Project Publications

Papers (2003 2002 2001)
Diplomas and Dissertations (2002)
Technical Reports (2003 2002 2001 2000 1999)
Presentations (2002 2001)

If you wish to obtain a W2F paper that is not available for download on this page, please contact the project head.


Papers

- 2003 -

Martin Biely. An Optimal Byzantine Agreement Algorithm with Arbitrary Node and Link Failures, 15th Annual IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'03), Marina Del Rey, California, USA, November 3-5, 2003, pp. 146-151. (abstract)

Ulrich Schmid, Christof Fetzer. Randomized Asynchronous Consensus with Imperfect Communications, 22nd Symposium on Reliable Distributed Systems (SRDS'03), Florence, Italy, October 6-8, 2003. (abstract)

Josef Widder. Booting clock synchronization in partially synchronous systems, Proceedings of the 17th International Symposium on Distributed Computing (DISC'03), Sorrento, Italy, October 1-3, 2003. (abstract)

- 2002 -

Bettina Weiss. Authentication Under Denial-of-Service Attacks, Communications and Computer Networks (CCN'02), Boston, USA, November 4-6, 2002, pp. 134-139. (abstract)

Bernd Thallner, Günther Gridling. Simulation of a Wireless CDMA Ad Hoc Network, Communications and Computer Networks (CCN'02), Boston, USA, November 4-6, 2002, pp. 354-359. (abstract)

Ulrich Schmid, Bettina Weiss, John Rushby. Formally Verified Byzantine Agreement in Presence of Link Faults, 22nd IEEE International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 608-616. (abstract)

- 2001 -

Bettina Weiss, Ulrich Schmid. Consensus with Written Messages under Link Faults, 20th Symposium on Reliable Distributed Systems (SRDS'01), New Orleans, USA, October 28-31, 2001, pp. 194-197. (short paper) (abstract)

Ulrich Schmid. How to Model Link Failures: A Perception-Based Fault Model, Proceedings of the International Conference on Dependable Systems and Networks (DSN'01), Göteborg, Sweden, June 30th - July 4th, 2001, pp. 57-66. (abstract)


Diplomas and Dissertations

- 2002 -

Bettina Weiss Authenticated Consensus, PhD Thesis, Technische Universität Wien, Faculty of Technical and Natural Sciences, Dept. of Automation, October 2002. (83 pages) (abstract)

Josef Widder. Switching On. How Processes Initialize for Consistent Broadcast, Diploma Thesis, Technische Universität Wien, Dept. of Automation, October 2002. (32 pages) (abstract)

Safa Rahimi Movaghar. Comparison of Protocol Frameworks, Diploma Thesis, Technische Universität Wien, Dept. of Automation, September 2002. (149 pages)

Hannes Stratil. Topology Management and Routing in Wireless Networks - An Overview, Diploma Thesis, Technische Universität Wien, Dept. of Automation, February 2002. (87 pages) (abstract)

Martin Biely. Byzantine Agreement Under the Perception-Based Fault Model, Diploma Thesis, Technische Universität Wien, Dept. of Automation, February 2002. (59 pages) (abstract)


Technical Reports

- 2004 -

Jean-Francois Hermant, Josef Widder. Implementing Time Free Designs for Distributed Real-Time Systems (A Case Study) Technische Universität Wien, Institut für Technische Informatik, May 2004. Joint Research Report with INRIA Rocquencourt. (submitted for publication). (abstract)

- 2003 -

Bernd Thallner, Ulrich Schmid. Fault Tolerant Communication Topologies for Wireless Ad Hoc Networks, TR 183/1-132, Technische Universität Wien, Dept. of Automation, December 2003. (abstract)

Josef Widder, Gérard Le Lann and Ulrich Schmid. Perfect Failure Detection with Booting in Partially Synchronous Systems, TR 183/1-131, Technische Universität Wien, Dept. of Automation. (abstract)

Martin Biely. Towards an Optimal Algorithm for Hybrid Byzantine Agreement, TR 183/1-130, Technische Universität Wien, Dept. of Automation, April 2003.

Gérard Le Lann, Ulrich Schmid. How to Implement a Time-Free Perfect Failure Detector in Partially Synchronous Systems, TR 183/1-127, Technische Universität Wien, Dept. of Automation, January 2003. (abstract)

Josef Widder, Ulrich Schmid. Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Node and Link Failures, TR 183/1-126, Technische Universität Wien, Dept. of Automation, January 2003. (abstract)

- 2002 -

Josef Widder. Switching On: How to Boot Clock Synchronization in Partially Synchronous Systems, TR 183/1-125, Technische Universität Wien, Dept. of Automation, December 2002. (abstract)

Ulrich Schmid, Bettina Weiss. Synchronous Byzantine Agreement under Hybrid Process and Link Failures, TR 183/1-124, Technische Universität Wien, Dept. of Automation, October 2002. (65 pages) (abstract)

Günther Gridling. An Algorithm for Three-Process Consensus Under Restricted Link Failures, TR 183/1-123, Technische Universität Wien, Dept. of Automation, October 2002. (6 pages) (abstract)

Bettina Weiss. Authentication Under Denial-of-Service Attacks, TR 183/1-122, Technische Universität Wien, Dept. of Automation, July 2002. (abstract) (under revision)

Günther Gridling. On the Problem of Internal Interference in CDMA-Based Ad-Hoc Networks, TR 183/1-121, Technische Universität Wien, Dept. of Automation, June 2002. (abstract) (under revision)

Ulrich Schmid, Christof Fetzer. Randomized Asynchronous Consensus with Imperfect Communications, TR 183/1-120, Technische Universität Wien, Dept. of Automation, January 2002. (abstract)

- 2001 -

Martin Biely, Ulrich Schmid. Message-Efficient Consensus Algorithms in Presence of Hybrid Node and Link Faults, TR 183/1-116, Technische Universität Wien, Dept. of Automation, August 2001. (14 pages) (abstract)

Günther Gridling. Initial Clock Synchronization With Fault Detection, TR 183/1-115, Technische Universität Wien, Dept. of Automation, July 2001.

Bettina Weiss, Ulrich Schmid. Consensus with Written Messages under Link Faults, TR 183/1-114, Technische Universität Wien, Dept. of Automation, March 2001. (10 pages) (abstract)

Bettina Weiss. Service Specification of W2F, TR 183/1-113, Technische Universität Wien, Dept. of Automation, February 2001. (obsolete)

Ulrich Schmid, Bettina Weiss. Consensus with Oral/Written Messages: Link Faults Revisited, TR 183/1-110, Technische Universität Wien, Dept. of Automation, February 2001. (20 pages) (abstract) (obsolete)

- 2000 -

Bettina Weiss. Security Issues in W2F, TR 183/1-111, Technische Universität Wien, Dept. of Automation, July 2000. (12 pages)

Ulrich Schmid. A Perception-based Fault Model for Single-Round Agreement Algorithms, TR 183/1-108, Technische Universität Wien, Dept. of Automation, October 2000. (15 pages) (abstract)

Christof Fetzer, Ulrich Schmid. Architecture and Services of the W2F Fieldbus, TR 183/1-101, Technische Universität Wien, Dept. of Automation, March 2000. (5 pages)

Bettina Weiss. Security in Distributed Systems - A Survey, TR 183/1-99, Technische Universität Wien, Dept. of Automation, February 2000. (38 pages)

- 1999 -

Ulrich Schmid. Basic Features of the Wireline/Wireless Factory/Facility Fieldbus, TR 183/1-95, August 1999. (5 pages)


Presentations

- 2002 -

Bettina Weiss. Authentication Under Denial-of-Service Attacks, Communications and Computer Networks (CCN'02), Boston, USA, November 4-6, 2002, pp. 134-139.

Bernd Thallner. Simulation of a Wireless CDMA Ad Hoc Network, Communications and Computer Networks (CCN'02), Boston, USA, November 4-6, 2002, pp. 354-359.

Josef Widder. Switching On. How Processes Initialize for Consistent Broadcast, Journées Internationales sur l'auto-stabilisation, CIRM, Luminy, France, October 21-25, 2002.

Ulrich Schmid. Formally Verified Byzantine Agreement in Presence of Link Faults, 22nd IEEE International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 608-616.

- 2001 -

Bettina Weiss. Consensus with Written Messages under Link Faults, 20th Symposium on Reliable Distributed Systems (SRDS'01), New Orleans, USA, October 28-31, 2001, pp. 194-197. (short paper)

Ulrich Schmid. How to Model Link Failures: A Perception-Based Fault Model, Proceedings of the International Conference on Dependable Systems and Networks (DSN'01), Göteborg, Sweden, June 30th - July 4th, 2001, pp. 57-66.