Felix C. Gärtner - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2005

Gracefully Degrading Fair Exchange with Security ModulesGildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic. edcc 2005: 55-71 [doi]

Secure Multi-Party Computation with Security ModulesZinaida Benenson, Felix C. Gärtner, Dogan Kesdogan. sicherheit 2005: 41-52

2004

User Authentication in Sensor NetworksZinaida Benenson, Felix C. Gärtner, Dogan Kesdogan. gi 2004: 385-389

DREAM: Distributed Reliable Event-Based Application ManagementAlejandro P. Buchmann, Christof Bornhövd, Mariano Cilia, Ludger Fiege, Felix C. Gärtner, Christoph Liebig, Matthias Meixner, Gero Mühl. In Mark Levene, Alexandra Poulovassilis, editors, Web Dynamics - Adapting to Change in Content, Size, Topology and Use. pages 319-352, Springer, 2004.

Ermittlung von Verwundbarkeiten mit elektronischen KödernMaximillian Dornseif, Felix C. Gärtner, Thorsten Holz. dimva 2004: 129-141

Vulnerability Assessment using HoneypotsMaximillian Dornseif, Felix C. Gärtner, Thorsten Holz. pik, 27(4):195-201, 2004. [doi]

Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed SpecificationsFelix C. Gärtner, Arshad Jhumka. formats 2004: 183-198 [doi]

2003

Dependability Issues of Pervasive Computing in a Healthcare EnvironmentJürgen Bohn, Felix C. Gärtner, Harald Vogt. spc 2004: 53-70 [doi]

Dealing with Uncertainty in Mobile Publish/Subscribe MiddlewareLudger Fiege, Andreas Zeidler, Felix C. Gärtner, Sidath B. Handurukande. middleware 2003: 60-67

Supporting Mobility in Content-Based Publish/Subscribe MiddlewareLudger Fiege, Felix C. Gärtner, Oliver Kasten, Andreas Zeidler. middleware 2003: 103-122 [doi]

Time-Efficient Self-Stabilizing Algorithms through Hierarchical StructuresFelix C. Gärtner, Henning Pagnia. sss 2003: 154-168 [doi]

Byzantine Failures and Security: Arbitrary is not (always) RandomFelix C. Gärtner. gi 2003: 127-138

Beobachten des Internet: Traum und WirklichkeitFelix C. Gärtner. it, 45(6):353-355, 2003. [doi]

PoDSy 2003: Principles of Dependable SystemsFelix C. Gärtner, Klaus Kursawe, Levente Buttyán. dsn 2003: 763 [doi]

Dependable Systems: Podsy Workshop Report - From Fault Tolerance to Security and BackFelix C. Gärtner, Levente Buttyán, Klaus Kursawe. dsonline, 4(9), 2003. [doi]

Fair ExchangeHenning Pagnia, Holger Vogt, Felix C. Gärtner. cj, 46(1):55-75, 2003. [doi]

Supporting Fair Exchange in Mobile EnvironmentsHolger Vogt, Felix C. Gärtner, Henning Pagnia. monet, 8(2):127-136, 2003.

2002

2001

(Im)Possibilities of Predicate Detection in Crash-Affected SystemsFelix C. Gärtner, Stefan Pleisch. wss 2001: 98-113 [doi]

Formale Grundlagen der Fehlertoleranz in verteilten SystemenFelix C. Gärtner. gi 2001: 39-49 [doi]

Using Smart Cards for Fair ExchangeHolger Vogt, Henning Pagnia, Felix C. Gärtner. welcom 2001: 101-113 [doi]

2000

1999

Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous EnvironmentsFelix C. Gärtner. ACM Comput. Surv., 31(1):1-26, 1999. [doi]

Self-stabilizing load distribution for replicated servers on a per-access basisFelix C. Gärtner, Henning Pagnia. iwssd 1999: 102-109

Approaching a Formal Definition of Fairness in Electronic CommerceFelix C. Gärtner, Henning Pagnia, Holger Vogt. srds 1999: 354-359 [doi]

Transformationen zur parallelisierten und fehlertoleranten InformationsverarbeitungFelix C. Gärtner, Marc Theisen. gi 1999: 207-214

Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and ClassificationFelix C. Gärtner. jucs, 5(10):668-692, 1999. [doi]

An exercise in proving convergence through transfer functionsOliver E. Theel, Felix C. Gärtner. iwssd 1999: 41-47

Modular Fair Exchange Protocols for Electronic CommerceHolger Vogt, Henning Pagnia, Felix C. Gärtner. acsac 1999: 3-11 [doi]

1998

Aller Jahre wieder ... Eine fiktive LeidensgeschichteFelix C. Gärtner. insk, 21(3):161, 1998.

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Felix C. Gärtner'

Viewing Publication 1 - 38 from 38

2005

2004

2003

2002

2001

2000

1999

1998

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Felix C. Gärtner'

Viewing Publication 1 - 38 from 38

2005

2004

2003

2002

2001

2000

1999

1998

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1