Publications (until Summer 2003)

To faciliate retrieval here, I have grouped the texts according to the following topics:

• (German) Language and Literature
• Prettyprinting and Literate Programming
• Distributed Algorithms, Fault Tolerance and Self-Stabilization
• Electronic Commerce Protocols and Security
• Computer Musings
• Student Articles and Columns

The documents distributed here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

• Felix Gärtner: ``...er wollte mit sich sprechen...'' - Zur Funktion verdeckter Büchner-Zitate in Peter Schneiders `Lenz'. Hausarbeit im Proseminar ``Georg Büchners `Lenz' im Kontext'' bei Prof. Dr. Rudolph Drux, Wintersemester 1995/96, Institut für Sprach- und Literaturwissenschaften der TH Darmstadt, August 1996.
  
  Peter Schneider übernimmt in seiner ``Neufassung'' von Georg Büchners Erzählung `Lenz' teilweise ganze Textpassagen in wortwörtlicher Form. In dieser Arbeit habe ich alle derartige Textpassagen zu finden versucht und ihre Auswirkungen auf die Gesamtinterpretation des Textes erforscht. Interessant nicht nur für Literaturwissenschaftler, sondern auch für Personen, die sich mit der literarischen Seite der Studentenbewegung der 60er Jahre beschäftugt haben.
  
  Available as: Gnuzipped DVI.
  
  Zum Auffinden der Parallelstellung wurde teilweise das folgende Programm synopse benutzt.
  
  
  
• Felix Gärtner: Über den Unterschied zwischen geschriebener Sprache und Diagrammen. Hausarbeit im Hauptseminar Untersuchungen zu Sprache und Bildwahrnehmung (Prof. G. Rahmstorf) im Wintersemester 1996/97 am Institut für Sprach- und Literaturwissenschaften der Technischen Hochschule Darmstadt, März 1997.
  
  This text brought me a bit closer to the topics that modern AI is working on: diagrams, diagrammatic reasoning and diagrammatic representations vs. linguistic ones.
  
  Read abstract.
  
  Available as: Gnuzipped Postscript.
  
  
  

Literate Programs

• Felix Gärtner: SHELL.WEB - ein Beispiel für Literate Programming in Deutscher Sprache. Handout zum Vortrag über Literate Programming im Rahmen des Hauptseminars Didaktik der Informatik im Sommersemester 1993 an der Philipps-Universität Marburg. Zuletzt überarbeitet im September 1998.
  
  Ein einfaches literarisches Beispielprogramm aus der frühen Zeit meines Studiums, in der literate programming aufregend, neu und das einzig wahre war, und ich noch glaubte, wie Knuth schreiben zu können. Enstprechend liest sich der Text auch. Geschrieben im originalen Knuth-PASCAL für TeX.
  
  Available as: Gnuzipped Postscript, PASCAL-WEB-Quelltext.
  
  
  
• Felix Gärtner: synopse.nw - Unterstützung beim Finden von Parallelstellen in Texten. Kompletter noweb-Sourcecode für ein C-Programm, mit dem nach wortwörtlichen Parallelen in zwei gegebenen Texten gesucht werden kann, Juli 1996.
  
  Ein kleines Programm, geschrieben für eine Hausarbeit in Literaturwissenschaft, welches mit Eingabetexten moderater Größe schon einen schnellen Rechner braucht.
  
  Available as: Gnuzipped noweb sourcecode, Gnuzipped DVI, and browsable HTML.
  
  
  

Prettyprinting

• Felix Gärtner: The Pretzelbook. Second edition. Included in the Pretzel system distribution, June 1998.
  
  This is the ultimate source of information on the Pretzel system, a language independent prettyprinter generator.
  
  Available as: Gnuzipped DVI.
  
  
  
• Felix Gärtner: Building a language independent prettyprinter. Studienarbeit am Fachgebiet Systemprogrammierung des Fachbereichs Informatik der TU Darmstadt, Februar 1995..
  
  A project report that describes the beginnings of the Pretzel system. For more currect information, see the Pretzelbook.
  
  Available as: Gnuzipped DVI.
  
  
  

Edited Volumes

• RESH'02. Proceedings of the 2002 ICDCS Workshop on Resource Sharing in Massively Distributed Systems. (edited by Pascal Felber, Christof Fetzer, Felix C. Gärtner, and Ferndando Pedone) Appears as part of the ICDCS 2002 Workshop Proceedings, IEEE Computer Society Press.

Book Chapters

• Formale Grundlagen der Fehlertoleranz in verteilten Systemen. Chapter 4 in: Ausgezeichnete Informatikdissertationen 2001, edited by Dorothea Wagner, Heinz Beilner, Herbert Fiedler, Oliver Günther, Steffen Hölldobler, Günther Hotz, Peter Liggesmayer, Klaus-Peter Löhr, Rüdiger Reischuk, volume D-2 of Lecture Notes in Informatics (LNI) - Dissertations, Gesellschaft für Informatik, 2001, pages 39-50.

  Well, this isn't really a book chapter, but a somewhat lengthy abstract of my PhD thesis (in German).

Journal papers

• Felix C. Gärtner: Fundamentals of fault-tolerant distributed computing in asynchronous environments. ACM Computing Surveys, 31 (1), pp. 1-26, March 1999.

  Lucky outcome of a paper submitted to the 2nd Annual Computing Surveys Student Tutorial Paper Contest. The submitted version is available as a Technical Report. Read abstract. BibTeX entry.

• Felix C. Gärtner: Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification. Journal of Universal Computer Science (J.UCS, Special Issue on Dependability Evaluation and Assessment), 5 (10), pp. 668-692, Springer-Verlag, Oct. 1999.

  Lays the ground for the transformational work I originally planned to do in my thesis. Available as online in various formats, BibTeX entry.

• A case study in the mechanical verification of fault tolerance. (with Heiko Mantel) Journal of Experimental & Theoretical Artficial Intelligence (JETAI), Vol. 12, No. 4, pp. 473-488, October 2000.

  Available: BibTeX entry. Preliminary form available as Technical Report.

• Modular event-based systems. (with Ludger Fiege and Gero Mühl) Knowledge Engineering Review, Cambridge University Press, to appear.

Conference/Workshop papers and abstracts

• Enhancing the Fault Tolerance of Replication: Another Excercise in Constrained Convergence. (with Henning Pagnia) Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing (FTCS-28, Digest of FastAbstracts), Munich, Germany, June 1998, pp. 29-30.

  This was a highly polished short version of the ideas from my diploma thesis. Available as: Postscript, BibTeX entry.

• Exploiting Control Theory for Proving the Stability of Distributed Algorithms. (with Oliver Theel) Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing (FTCS-28, Digest of FastAbstracts), Munich, Germany, June 1998, pp. 62--63.

  This is an early ``work-in-progress'' version of another paper.

• On proving the stability of distributed algorithms: self-stabilization vs. control theory. (with Oliver Theel) In: Proceedings of the International Systems, Signals, Control, Computers Conference (SSCC'98), Durban, South Africa, September 1998 (edited by Vladimir B. Bajic), Volume III, pp. 58-66.

  Available as: Gnuzipped Postscript, BibTeX entry.

• On the Relationship between Self-Stabilization and Fault Tolerance. In: Report on the Dagstuhl Seminar 98331 on Self-Stabilization, Schloß Dagstuhl, Germany, August 1998 (Dagstuhl-Seminar-Report 220), p. 9.

  This is only the abstract of my talk on the same topic.

• An exercise in systematically deriving fault-tolerance specifications. Proceedings of the Third European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 23-28, 1999, p. 99-102.

  A pretty easy going formal paper describing specification transformations from a high level view and using the problem of consensus under the crash fault assumption as an example. Available as: Gnuzipped Postscript, Slides as Gnuzipped Postscript, BibTeX entry.

• On Proving Termination Through Transfer Functions. (with Oliver Theel) Presented at the 4th International Workshop on Termination, Dagstuhl, Germany, May 1999.

  A talk which tried to approach a solution to a problem formulated in an earlier paper presented in Durban, S.A.. Abstract available as: Gnuzipped Postscript, BibTeX entry.

• An Exercise in Proving Convergence through Transfer Functions. (with Oliver Theel) Proceedings of the IEEE Workshop on Self-Stabilizing Systems, Austin, Texas, June 1999, pp. 41-47.

  First presentation of ideas from an earlier paper presented in Durban, S.A. to the self-stabilization community. Available as: Gnuzipped Postscript, BibTeX entry.

• Self-Stabilizing Load Distribution for Replicated Servers on a Per-Access Basis. (with Henning Pagnia) Proceedings of the IEEE Workshop on Self-Stabilizing Systems, Austin, Texas, June 1999, pp. 102--109.

  This is the development of an idea from my diploma thesis, but unfortunately concurrently different solutions were described in a paper at ICDCS'99. This paper might nevertheless be interesting because it applies the compositional self-stabilization methodology in a standard fashion (at the end of the 20th centrury). Available as: Gnuzipped Postscript, BibTeX entry.

• Transformationen zur paralleliserten und fehlertoleranten Informationsverarbeitung. (with Marc Theisen) In: INFORMATIK'99, Tagungsband der GI-Jahrestagung, Paderborn, Oktober 1999, pp. 207-215.

  A somewhat invited presentation (here are the slides). Available as: Gnuzipped Postscript, BibTeX entry.

• Formale Grundlagen der Fehlertoleranz. In: Informatiktage 1999, Konradin Verlag, 1999, pp. 137-139.

  A short statement about my PhD thesis. This text came to be because GI and Konradin Verlag were organizing a recruitment event at the old monastery of Bad Schussenried. It was a great event.

• A case study in the mechanical verification of fault tolerance. (with Heiko Mantel) In: Proceedings of the 13th International Florida Artificial Intelligence Research Conference (FLAIRS-2000), Orlando, FL, May 2000, Special Track on Verification, Validation and System Certification.

  Preliminary form available as Technical Report. Available: BibTeX entry.

• Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems. (with Marc Theisen) In: INFORMATIK 2000, Tagungsband der GI-Jahrestagung, Berlin, September 2000, erschienen in der Reihe Informatik-Aktuell, herausgegeben von Kurt Mehlhorn und Gregor Snelting, Springer Verlag, 2000, pp. 165-180.

  Available as: Gnuzipped Postscript.

• Consistent detection of global predicates under a weak fault assumption. (with Sven Kloppenburg) In Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS 2000), October 2000, Nürnberg, Germany, IEEE CS Press, pp. 94-103.

  A generalization of the modalities possibly and definitely to faulty systems. Available as: Gnuzipped Postscript, talk slides (PDF), BibTeX entry.

• (Im)Possibilities of Predicate Detection in Crash-Affected Systems. (with Stefan Pleisch) Proceedings of the 5th Workshop on Self-Stabilizing Systems (WSS 2001), Lisbon, Portugal, October 2001, Springer LNCS 2194, pp. 98-113.

  Available as: Gnuzipped PS file. Extended version appears as an IBM Research report.

• (Im)Possibilities of Predicate Detection in Crash-Affected Systems using Interrupt-Style Failure Detectors. (with Stefan Pleisch) In: Jennifer Welch (Ed.), DISC 2001 Brief Announcements. Technical Report TR-01-7 Departamento de Informatica, Faculdade de Ciencias da Universidade de Lisboa, Lisbon, Portugal, pp. 7-12.

  Available as from Library of the University of Lisbon. See also talk slides.

• Defining Redundancy in Fault-Tolerant Systems. (with Hagen Völzer) In: Jennifer Welch (Ed.), DISC 2001 Brief Announcements. Technical Report TR-01-7 Departamento de Informatica, Faculdade de Ciencias da Universidade de Lisboa, Lisbon, Portugal, pp. 13-16.

  Available as from Library of the University of Lisbon. See also talk slides.

• A Modular Approach to Building Event-Based Systems. (with Ludger Fiege and Gero Mühl) In Proceedings of the ACM Symposium on Applied Computing (SAC 2002), March 2002, Madrid, Spain.

  Available as: PDF file.

• Fehlermodellierung ohne explizite Fehlerzustände. In U. Brinkschulte, K.-E. Großpietsch, C. Hochberger, E.W. Mayr (editors): International Conference on Architecture of Computing Systems (ARCS 2002) Workshop Proceedings, VDE Verlag, pp. 71-80. Presented as part of the Workshop on Dependability and Fault Tolerance.

  Available as PDF file. See also talk slides.

• Evaluating Advanced Routing Algorithms for Content-Based Publish/Subscribe Systems. (with Alejandro Buchmann, Ludger Fiege and Gero Mühl) In Proceedings of Tenth IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), 12-16 October 2002, Fort Worth, Texas.

• Failure Detection Sequencers: Necessary and Sufficient Information about Failures to solve Predicate Detection. (with Stefan Pleisch) Proceedings of the 16th International Conference on Distributed Computing (DISC 2002), Toulouse, France, October 2002, Springer LNCS 2508, pp. 280-294.

Technical Reports

• Fundamentals of Fault Tolerant Distributed Computing in Asynchronous Environments. Technical Report TUD-BS-1998-02, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, July 1998.

  This was written as my personal manifesto and incorporated all the broad reading I was doing during the early months of 1998. Winner of the 2nd Annual Computing Surveys Student Tutorial Paper Contest; a slightly revised version appears in ACM Computing Surveys. Read abstract. Available as: Postscript, BibTeX entry.

• Specifications for fault tolerance: A comedy of failures. Technical Report TUD-BS-1998-03, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, October 1998.

  Some first ideas concerning fault modelling: prerequisites for my further work. Got rejected at ICDCS 1999. Read abstract. Available as: Gnuzipped Postscript. BibTeX entry.

• An exercise in systematically deriving fault-tolerance specifications. Technical Report TUD-BS-1999-01, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, March 1999.

  A case study in how to derive degraded specifications given a high-level failure model. A shorter version appears in the proceedings of ERSADS'99. Read abstract. Available as: Gnuzipped Postscript. BibTeX entry.

• Fehlererkennung und Fehlerdiagnose für verläßliche Systeme - Automatisierungstechnik vs. verteilte Systeme. (with Armin Wolfram) Technical Report TUD-BS-1999-03, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, July 1999.

  Available as: Gnuzipped Postscript.

• A survey of transformational approaches to the specification and verification of fault-tolerant systems. Technical Report TUD-BS-1999-04, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, April 1999.

  Read abstract. Available as: Gnuzipped Postscript.

• A case study in the mechanical verification of fault tolerance. (with Heiko Mantel) Technical Report TUD-BS-1999-08, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, November 1999.

  Read abstract. Available as: Gnuzipped Postscript, BibTeX entry.

• Consistent detection of global predicates in asynchronous systems with crash failures. (with Sven Kloppenburg) Technical Report TUD-BS-2000-01, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, Feb. 2000.

  Read abstract. Available as: Gnuzipped Postscript, BibTeX entry.

• Redundancy in space in fault-tolerant systems. (with Hagen Völzer) Technical Report TUD-BS-2000-06, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, Jul. 2000.

  Available as: Gnuzipped Postscript, BibTeX entry.

• A gentle introduction to failure detectors and related subjects. Technical Report TUD-BS-2001-01, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, Apr. 2001.

  Available as: Gnuzipped Postscript, BibTeX entry.

• (Im)Possibilities of Predicate Detection in Crash-Affected Systems. (with Stefan Pleisch) IBM Research Report RZ 3361, IBM Research, Zurich Research Laboratory, Aug. 2001.

  This is the extended version of a paper at WSS 2001. Available as: PDF file, BibTeX entry.

• Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection. (with Stefan Pleisch) IBM Research Report RZ 3438, IBM Research, Zurich Research Laboratory, July 2002.

  Available as: PDF file.

• On Systematic Design of Fast and Perfect Detectors. (with Arshad Jhumka, Christof Fetzer and Neeraj Suri) Ecole Polytechnique Federale de Lausanne (EPFL), School of Computer and Communication Sciences, Technical Report 200263, September 22, 2002.

  Available as: PDF file.

Theses

• Formale Grundlagen der Fehlertoleranz in verteilten Systemen. Dissertation, Fachbereich Informatik, TU Darmstadt, 2001.

  Here is the official version of my PhD thesis published by our university electronically. It's in German, but on page 5 there's an abstract written in English. Part of the thesis has been published at conferences or in journals already.

• Fehlertolerante Replikation von Diensten mit schwacher Konsistenz mittels selbststabilisierender verteilter Algorithmen. Diplomarbeit DA-BS-1997-06, Fachbereich Informatik, Technische Universität Darmstadt, Dezember 1997.

  This is my diploma thesis, a real fun-to-write thing that combined all the nice areas of interest: distributed algorithms, fault tolerance and replication. I assume that this text is the first broad introduction to self-stabilization in German?!

  You can read the abstract in German, or read it in English. There's also a ``thesis homepage'' in German or English with some funny Java animations to play around with. See also the 2-page version published as a FastAbstract at FTCS-28. Available as: Gnuzipped Postscript (see also Errata), BibTeX entry.

Talks

1997

• Fehlertoleranz in Algorithmen für schwach-konsistente Replikation in verteilten Systemen. Talk held on December 17, 1997 at the Computer Science Department of Goethe Universität Frankfurt/Main, Germany.

  This talk describes results of my diploma thesis with a strong emphasis on fault tolerance in weak consistency replication. It was fun to present this talk, because the audience was very encouraging and the discussion was interesting. Slides available as: Gnuzipped Postscript. Handout available as: Gnuzipped Postscript.

  1998

• Selbststabilisierende Replikation. Talk held on January 16, 1998 at the Computer Science Department of my home university.

  This was the ``final'' talk on my diploma thesis with emphasis on self-stabilization and methodologies to build self-stabilizing algorithms. Slides available as: Gnuzipped Postscript. Handout available as: Gnuzipped Postscript.

• Enhancing the Fault Tolerance of Replication: Another Excercise in Constrained Convergence. Talk held on June 23, 1998 at FTCS-28 in Munich.

  This has been (and probably will be) the shortest talk I ever will hold anywhere. It was a two-slide-four-minute rush through a few ideas during a strenuous FastAbstracts session. See also the paper version of this talk. Slides available as: Gnuzipped Postscript.

• On the Relationship between Self-Stabilization and Fault Tolerance - Problems and Prospects. Talk held on August 20, 1998 at a Dagstuhl Seminar 98331 on Self-Stabilization at Schloß Dagstuhl, Germany.

  This talk was meant to review the position of self-stabilization within the broad field of fault tolerance. There were no actual results to report, only some preliminary ideas on the potential of self-stabilization for reliable computing. Read abstract (which was published in the Seminar Report). Slides available as: Gnuzipped Postscript (you need to ``swap landscape'' in Ghostview to see them the right way up).

• Fehlerbezogene Spezifikation. Vortrag gehalten am 29.10.1998 im Rahmen des Diskussionskreises Fehlertoleranz der GI Fachgruppe 3.6.1 ``Fehlertolerierende Rechnersysteme'' an der TU Dresden.

  Themenbeschreibung und erste Ansätze zu meinem Promotionsthema. Slides available as: Gnuzipped Postscript (you need to ``swap landscape'' in Ghostview to see them the right way up).

• Fehlerbezogene Spezifikation Verteilter Algorithmen. Vortrag gehalten am 20.11.1998 im Rahmen einer Klausurtagung des GK ISIA in Klingenberg/Main.

  Verkürzte Fassung des Vortrages vom 29.10.1998, jedoch mit Farbfolien!!! Slides available as: Gnuzipped Postscript (you need to ``swap landscape'' in Ghostview to see them the right way up).

  1999

• An exercise in systematically deriving fault-tolerance specifications. Short talk held on April 27, 1999 at the Savoy Hotel, Funchal, Madeira Island during ERSADS'99.

  See the entry on the corresponding paper where you can also have a look at the slides.

• Self-Stabilizing Load Distribution for Replicated Servers on a Per-Access Basis. Talk held on June 5, 1999 at the Hyatt Regency Hotel, Austin, TX during WSS'99.

  See the entry on the corresponding paper. Slides available as Gnuzipped Postscript (you need to ``swap landscape'' in Ghostview to see them the right way up).

• Verifikation von Fehlertoleranzalgorithmen (mit VSE?). Vortrag gehalten am 26. Juli 1999 vor der VSE-Gruppe am DFKI, Saarbrücken.

  Slides available on request.

• Transformationen zur paralleliserten und fehlertoleranten Informationsverarbeitung. Vortrag gehalten am 8. Oktober 1999 in der Sektion ``Junge Informatik'' der GI-Jahrestagung INFORMATIK'99 in Paderborn (zusammen mit Marc Theisen).

  See the entry on the corresponding paper. Slides are available as Powerpoint-turned-into-Postscript-and-hand-edited format.

• Über die formale Definition und die Rolle von Redundanz in der Fehlertoleranz. Vortrag gehalten am 22.10.1999 im Rahmen des Diskussionskreises Fehlertoleranz der GI Fachgruppe 3.6.1 ``Fehlertolerierende Rechnersysteme'' an der Uni Essen.

  Beschreibung einer gemeinsamen Arbeit mit Hagen Völzer. Slides available on request.

• Formale Grundlagen der Fehletoleranz. Talk held on November 14, 1999, as part of Informatiktage 1999 in Bad Schussenried.

  2000

• Fehlermodellierung in Automaten unter Verfeinerung. Vortrag gehalten am 17.3.2000 im Rahmen des Diskussionskreises Fehlertoleranz der GI Fachgruppe 3.6.1 ``Fehlertolerierende Rechnersysteme'' an der Uni Paderborn.

  Slides available on request.

• A fault classification scheme based on safety and liveness. Talk held on March 28, 2000 at a Dagstuhl Seminar 00131 on Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems at Schloß Dagstuhl, Germany.

  Slides available as: Gnuzipped Postscript (you need to ``swap landscape'' in Ghostview to see them the right way up).

• Consistent Detection of Global Predicates in Asynchronous Systems with Crash Faults. Talk held on Sep. 12, 2000 at IBM Zurich Research Laboratory, the Network Security and Cryptography Group in Rüschlikon, Switzerland.

  Description of joint work with Sven Kloppenburg which appears at SRDS2000. Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

• Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems. Vortrag gehalten am 21. September 2000 in der Sektion ``Junge Informatik'' der GI-Jahrestagung INFORMATIK 2000 in Berlin (zusammen mit Marc Theisen).

  See the entry on the corresponding paper.

• Consistent detection of global predicates under a weak fault assumption. Talk held on Oct. 17, 2000 during SRDS 2000.

  See the entry on the corresponding paper. Here are the talk slides.

• Defining Redundancy: In search for the holy grail. Talk held on Oct. 25, 2000 during Dagstuhl Seminar 00431 on Self-stabilization.

  There's a technical report on parts of the topics addressed in the talk. Here are the talk slides.

• Komponenten machen Beweise schwieriger. Vortrag gehalten am 16. November 2000 im Rahmen des Software-Komponenten-Workshops an der TU Darmstadt.

  Here are the talk slides.

• Grundlagen fehlertoleranter Systeme. Vortrag gehalten am 1. Dezember 2000 im Rahmen des Abschlusskolloquiums vom GK ISIA an der TU Darmstadt.

  Here are the talk slides. These slides were only partially presented (press ``skip'' on slide 8 to follow the detour).

• Grundlagen fehlertoleranter Systeme. Vortrag gehalten am 7. Dezember 2000 im Rahmen des Doktorandenkolloquiums des FB Mathematik und Informatik an der Uni Marburg.

  Here are the full talk slides.

2001

• Formale Grundlagen der Fehlertoleranz in verteilten Systemen. Talk not held on Feb. 16, 2001 at DFKI in Saarbrücken, Germany.

  Another rewash of my PhD thesis. Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

• Formale Grundlagen der Fehlertoleranz in verteilten Systemen. Talk held during my PhD defense on May 17, 2001 at TU Darmstadt.

  Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

• (Im)Possibilities of Predicate Detection in Crash-Affected Systems. Talk held on October 2, 2001 at the 5th Workshop on Self-Stabilizing Systems, Lisbon, Portugal.

  Here are the talk slides.

• Defining Redundancy in Fault-tolerant Systems. Brief announcement talk held on Oct. 4, 2001 at the 15th International Symposium on Distributed Computing (DISC), Lisbon, Portugal.

  Here are the talk slides.

• (Im)Possibilities of Predicate Detection in Crash-Affected Systems using Interrupt-Style Failure Detectors. Brief announcement talk held on Oct. 4, 2001 at the 15th International Symposium on Distributed Computing (DISC), Lisbon, Portugal.

  Here are the talk slides.

• Ist Reliability Engineering auch Security Engineering? Informal talk held on Nov. 23, 2001 at Diskussionskreis Fehlertoleranz at the Fraunhofer Gesellschaft in St. Augustin, Bonn, Germany.

2002

• Solving consensus using unreliable failure detectors. Two part talk held on Mar. 25 and Apr. 15, 2002 in the Distributed Computing Seminar at the Computer Science Department of The University of Iowa.

  Slides available on request.

• Fehlermodellierung ohne explizite Fehlerzustände. Talk held on Apr. 11, 2002 at the Workshop on Dependabilty and Fault Tolerance as part of ARCS 2002, Karlsruhe.

  Here are the talk slides.

• Five minutes on self-stabilization. A brief talk to introduce the notion of self-stabilization held on May 21, 2002, as part of an internal PhD Workshop at DVS.

  Slides available on request.

• Grundstrukturen fehlertoleranter und sicherer verteilter Systeme. Talk held on June 5, 2002, at University of Erlangen, institute Informatik 3 (Computer Architecture), invited by Prof. Mario Dal Cin and Dr. Volkmar Sieh.
• Formale Grundlagen der Fehlertoleranz in verteilten Systemen. Talk held on June 25, 2002, at a GI-Kolloquium in the Akademie der Wissenschaften und Literatur, Mainz.

  Talk slides available as: PDF file.

• Failure Detection Sequencers: Necessary and Sufficient Information about Failures to solve Predicate Detection. Talk held on September 26, 2002, during a preparation seminar at EPFL.

  Better talk slides available for almost the same talk which I gave at DISC 2002.

• Was ist der Unterschied zwischen Fehlern und Hackerangriffen? Short presentation given on October 10, 2002, at Fraunhofer IIS/EAS in Dresden.

• Entdecken globaler Prädikate in fehlerbehafteten verteilten Systemen. Talk held on October 17, 2002, at the Computer Science Department of the University of Kaiserslautern, Germany.

  Available: abstract from the announcement, talk slides.

• On crash detectors and self-stabilization. Talk held on October 21, 2002 during the seminar on self-stabilization at CIRM, Luminy, France.

  Talk slides available as: PDF file.

• Failure Detection Sequencers: Necessary and Sufficient Information about Failures to solve Predicate Detection. Talk held on October 10, 2002, during DISC 2002 in Toulouse, France.

  Talk slides available as: PDF file.

Research Reports

• Fehlertolerante Informationsverarbeitung. Beschreibung des eigenen Forschungsgebietes für die Broschüre ``Spitzenforschung in Hessen'', Band 1, herausgegeben vom Hess. Ministerium für Wissenschaft und Kunst, Januar 1999, p. 74-75.

  This is the printed version of a description of my own research interests within the GK ISIA.

• Mathematische Spielereien um Fehler und Fehlertoleranzen. In: Thema Forschung, 1/2000, Technische Universität Darmstadt, Sonderheft über ``Intelligente Systeme'', März 2001, Seiten 84-88.

  Populärwissenschaftliche Darstellung eines Teils meiner Dissertation; leider nicht online verfügbar, aber ich schicke gerne ein Exemplar zu!

Book Chapters

• Fairer Austausch im Mobile Business. (with Henning Pagnia and Holger Vogt) In: Ralf Reichwald (Hg.), Mobile Kommunikation. Wertschöpfung, Technologien, neue Dienste. Gabler-Verlag, Wiesbaden, 2002, pages 157-170..

Journal Papers

• Supporting fair exchange in mobile environments. (with Henning Pagnia and Holger Vogt) ACM/Kluwer Journal on Mobile Networks and Applications (MONET), Vol. 8, No. 2, April 2003.

• Fair Exchange. (with Henning Pagnia and Holger Vogt) The Computer Journal, Vol. 46, No. 1, 2003.

Conference and Workshop Papers

• Approaching a formal definition of fairness in electronic commerce. (with Henning Pagnia and Holger Vogt) Proceedings of the International SRDS Workshop on Electronic Commerce (WELCOM'99), Lausanne, Switzerland, Oct. 1999, pp. 354-359.

  A somewhat fair comparison between fairness notions of concurrency theory and electronic commerce. Available as: Gnuzipped Postscript, BibTeX entry. Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

• Modular fair exchange protocols for electronic commerce. (with Holger Vogt and Henning Pagnia) Proceedings of the 15th Annual Computer Security Applications Conference, Phoenix, Arizona, Dec. 6-10., 1999.

  Read abstract. Text available as Technical Report TUD-BS-1999-07, BibTeX entry.

• Solving fair exchange with mobile agents. (with Henning Pagnia, Holger Vogt and Uwe G. Wilhelm) Proceedings of the Joint Symposium ASA/MA 2000 (2nd International Symposium on Agent Systems and Applications and 4th International Symposium on Mobile Agents), Zürich, Switzerland, Sep. 13-15, 2000, LNCS 1882, Springer Verlag, pp. 57-72.

  Text available as gnuzipped Postscript, BibTeX entry. Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

• Using Smart Cards for Fair Exchange. (with Holger Vogt and Henning Pagnia) In Proceedings of the 2nd International Workshop on Electronic Commerce (WELCOM 2001), Heidelberg, Germany, November 2001. Springer, LNCS 2232, pp. 101-113.

Technical Reports

• On the impossibility of fair exchange without a trusted third party. (with Henning Pagnia) Technical Report TUD-BS-1999-02, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, March 1999.

  A first attempt to relate the problems of fair exchange and consensus. Rejected at DISC 1999 because of overseen related work. Ideas appear in a later Computer Journal paper. Read abstract. Available as: Gnuzipped Postscript. BibTeX entry.

• Modular fair exchange protocols for electronic commerce. (with Holger Vogt and Henning Pagnia) Technical Report TUD-BS-1999-07, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, September 1999.

  Appears in the proceedings of the 15th ACSAC, 1999 (see associated entry). Available as: Gnuzipped Postscript.

• Revisiting Liveness Properties in the Context of Secure Systems. Ecole Polytechnique Federale de Lausanne (EPFL), School of Computer and Communication Sciences, Technical Report 200278, November 4, 2002.

  Available as: PDF file.

Talks

1999

• Approaching a formal definition of fairness in electronic commerce. Talk held on Oct. 19, 1999 at EPFL during WELCOM'99.

  See the entry on the corresponding paper where you can also have a look at the slides.

2000

• Solving Fair Exchange with Mobile Agents. Talk held on Sep. 13, 2000 at ETH Zürich during ASA/MA2000.

  See the entry on the corresponding paper or have a look at the talk slides.

2001

• Formalization and Verification of Fault Tolerance and Security. Talk held on Jan. 23, 2001 at IBM Zurich Research Laboratory.

  A rather high level presentation about my first understanding of relations between fault tolerance and security. Contains an unmotivated formalization of fairness using non-interference. Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

• Directions in Fault-tolerant and Secure Distributed Algorithms. Talk held on May 30, 2001 at Max Planck Insitut für Informatik in Saarbrücken, Germany.

  My research agenda as of 2001. Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

2002

• Fehlertolerante und sichere verteilte Systeme: Wunsch oder Wirklichkeit?. Talk held on Jan 29, 2002 at TU Darmstadt.

  Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

• Grundstrukturen fehlertoleranter und sicherer verteilter Systeme. Talk held on Jun 5, 2002 at Department of Computer Science, University of Erlangen.

  Slides available as PDF file (produced using Klaus Guntermann's PPower4 processor).

• Reasoning about security properties: Safety, liveness and beyond. Talk held on September 18, 2002 during the weekly LAMP-LPD seminar at EPFL.

  Talk slides available as: PDF file.

• The problem of fair exchange, its formalization, and its relation to other problems in distributed computing. Talk held on November 13, 2002, at EPFL.

  Talk slides available as: PDF file

Computer Musings

• Felix Gärtner: Towards 100 Percent Correct Software. FIfF-Kommunikation, 3/1998, p. 64 (Schluß-PFIfF).

  One-page musing on proofs in mathematical or computer science papers. The time I wrote this I was reading about one proof a day, and sometimes it isn't quite clear whether the authors are quite serious in their writing. So this short column isn't as ironic as it might feel at first sight. A briefly revised version is available as: Gnuzipped Postscript.

Arbeiten als Mitherausgeber

• Oliver Theel, Henning Pagnia, Felix Gärtner, Peter Kammerer (Herausgeber): Tagungsband zum ersten internen Seminar zum Thema ``Internet -- Technik, Probleme und Perspektiven (ISITPP'99). Technischer Bericht TUD-BS-1999-05, Fachbereich Informatik, TU Darmstadt, Juli 1999.

  Seminar im Sommersemester 1999, gehalten als kleine Konferenz. Tagungsband online.

Magazin-Artikel

• Felix Gärtner: Aller Jahre wieder ... Eine fiktive Leidensgeschichte. Informatik Spektrum, 21(3): 161 (1998).

  A small story which I wrote during the end of 1997, which describes the quality of undergraduate studies at a hypothetical German university. It was meant to be funny, but I'm afraid that many people took it seriously. Maybe the topic isn't as easy as I thought. Available as: Gnuzipped Postscript, DBLP reference entry.

Inforz-Artikel

• Felix Gärtner, Kristian Heddrich: HP-Pool am Ende?! Bericht zur Rechnersituation am FB 20. Inforz, Ausgabe Januar 1996.

  Available as: Gnuzipped Postscript.

• Felix Gärtner: ``Eine halbe Stunde pro Tag'' Interview mit Clemens Misch, Sysop der RBG, zur Rechnersituation am FB 20. Inforz, Ausgabe Januar 1996.

  Available as: Gnuzipped Postscript.

• Andreas Hiepe, Felix Gärtner: Interview mit Prof. Johannes Buchmann. Interview mit dem neuberufenen Professor Johannes Buchmann aus dem Inforz, Ausgabe Juni 1996.

  Available as: Gnuzipped Postscript.

• Felix Gärtner: Ein diplomierter Rückblick. Interview mit dem Absolventen Klaus Schrod über sein Studium an der TH Darmstadt im Rückblick, aus Inforz, Ausgabe November 1996.

  Available as: Gnuzipped DVI.

• Felix Gärtner, Roger Kehr: ``No Silver Bullet'': Ein Rückblick. Bilanz einer studentisch organisierten Vortragsreihe im Sommersemester 1996 am FB Informatik der TH Darmstadt. In: Inforz, Ausgabe November 1996.

  Die im Artikel genannte Literaturliste gibt's hier. Available as: Gnuzipped DVI.

• Felix Gärtner: Literaturliste zu ``No Silver Bullet''. Liste von Startreferenzen zu den Themen der Vortragsreihe "No Silver Bullet" im Sommersemester 1996 am Fachbereich Informatik der TH Darmstadt.

  Siehe hierzu auch den im Inforz veröffentlichten Rückblick. Available as: DVI.

• Felix Gärtner: Albert baut Compiler (GAudI - Teil 1). Teil 1 zum Themenblock ``Gesellschaftliche Auswirkungen der Informatik''. Artikel zum O-Phasen-Inforz 1995, 1996, 1997 und 1998.

  Available as: Gnuzipped Postscript.

• Heiko Mantel: Thilo und der Datenschutz (GAudI - Teil 2). Teil 2 zum Themenblock ``Gesellschaftliche Auswirkungen der Informatik''. Artikel zum O-Phasen-Inforz 1995, 1996, 1997 und 1998.

  Available as: Gnuzipped Postscript.

• Felix Gärtner: Der Weg zum Glück (GAudI - Teil 3). Teil 3 zum Themenblock ``Gesellschaftliche Auswirkungen der Informatik''. Artikel zum O-Phasen-Inforz 1995, 1996, 1997 und 1998.

  Available as: Gnuzipped Postscript.

• Felix Gärtner: Von der Schule an die Uni. Artikel zum O-Phasen-Inforz 1997, 1998 und 1999.

  Available as: Gnuzipped Postscript.

• Felix Gärtner: Die Hürde Vordiplom. Über Horrorquoten und wieviele tatsächlich durchkommen. Artikel aus Inforz, Ausgabe Juli 1998.

  Available as: Gnuzipped Postscript.

• Dirk Breitbach und Felix Gärtner: Party.java -- Java-Kurs für Fortgeschrittene. Service-Teil aus Inforz, Ausgabe Dezember 1998.

  Available as: Gnuzipped Postscript.

• Felix Gärtner: Neulich im Hobbit. Eine O-Phasengruppe trifft sich nach 3 Jahren wieder. Ein Erfahrungebericht. Artikel zum O-Phasen-Inforz 1999.

  Available as: Gnuzipped Postscript.

Auslandsstudium

• Felix Gärtner: Irish Rock Music Today. Essay in an Irish Culture Class by Daraugh Smith at Dublin Institute of Technology, Summer 1994.

  Available as: ASCII file.

• Felix Gärtner: ERASMUS-Austausch Trinity College Dublin - Bericht über Studienverlauf. Obligatorischer Bericht an den Präsidenten der TH Darmstadt über den Studienverlauf meines Auslandsjahres in Dublin in den Jahren 1993 und 1994. Juli 1994.

  Available as: Gnuzipped DVI file.

• Felix Gärtner: Wegweiser Auslandsstudium. Informationsseite zum Auslandsstudium für Informatik-Studierende der TU Darmstadt. In: Inforz, Ausgabe Juni 1995.

  Eine überarbeitete Fassung ist jetzt Teil des offiziellen Informationsangebotes zum Thema Auslandsstudium auf dem WWW-Server des FB Informatik.
  
  Siehe auch den Schwerpunkt Auslandsstudium aus derselben Ausgabe.

• Felix Gärtner, Roger Kehr, Heiko Mantel, Brigitte Pientka: Schwerpunkt Auslandsstudium. Artikelserie zu persönlichen Impressionen und Erfahrungen während des eigenen Auslandsstudiums, vier Teile: Allgemeine Einführung, Bibliothek, Lehrende und Lernende, Rechner. In: Inforz, Ausgabe Juni 1995.

  Eine überarbeitete Fassung ist jetzt Teil des offiziellen Informationsangebotes zum Thema Auslandsstudium auf dem WWW-Server des FB Informatik. Siehe auch den Wegweiser Auslandsstudium aus derselben Ausgabe.

Artikelserie ``Neulich im Pool''

• Felix Gärtner: Neulich im Pool... (Teil 1). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe Februar 1995.

  Available as: Gnuzipped DVI, HTML.

• Felix Gärtner: Neulich im Pool... (Teil 2). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe Mai 1995.

  Available as: Gnuzipped DVI, HTML.

• Felix Gärtner: Neulich im Pool... (Teil 3). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe Juni 1995.

  Available as: Gnuzipped DVI, HTML.

• Felix Gärtner: Neulich im Pool... (Teil 4). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe Januar 1996.

  Available as: Gnuzipped DVI, HTML.

• Felix Gärtner: Neulich im Pool... (Teil 5). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe April 1996.

  Available as: gnuzipped DVI, HTML.

• Felix Gärtner: Neulich im Pool... (Teil 6). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe Juni 1996.

  Available as: gnuzipped DVI, HTML.

• Felix Gärtner: Neulich im Pool... (Teil 7). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe Dezember 1996.

  Available as: Gnuzipped DVI, HTML.

• Felix Gärtner: Neulich im Pool... (Teil 8). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe Januar 1997.

  Available as: Gnuzipped DVI, HTML.

• Felix Gärtner: Neulich im Pool... (Teil 9). Geschichten aus dem Rechnerpool, aus Inforz, Ausgabe Mai 1997.

  Available as: Gnuzipped DVI, HTML.

Vorträge

• Grundzüge der Betriebssysteme. Vortrag am 21. Oktober 1998 zur Orientierungsphase Informatik 1998 an der Technischen Universität Darmstadt.

  Dies ist ein kurzer Vortrag, der die Grundzüge der Prozeßverwaltung in Mehrbenutzerbetriebssystemen erlätert. Er diente zur theoretischen Vorbereitung des Planspiels, in dem ein kleines Computernetzwerk mit Bleistift und Papier simuliert wurde. Entsprechend ist der Anfang des Vortrages noch relativ ernst gemeint, wird am Ende aber zunehmend ``pragmatischer''. Slides available as: Gnuzipped Postscript (you need to ``swap landscape'' in Ghostview to see them the right way up).