Felix C. Gärtner

40 papers A 4B 5Misc 3Journal 11Unranked 15
YearRankTypeTitle / Venue / Authors
2005 B conf
An algorithmic framework for robust access control in wireless sensor networks.
EWSN
Zinaida Benenson, Felix C. Gärtner, Dogan Kesdogan
2005 Misc conf
Gracefully Degrading Fair Exchange with Security Modules.
EDCC
Gildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic
2005 — conf
Secure Multi-Party Computation with Security Modules.
Sicherheit
Zinaida Benenson, Felix C. Gärtner, Dogan Kesdogan
2004 — conf
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.
FORMATS/FTRTFT
Felix C. Gärtner, Arshad Jhumka
2004 — ch.
DREAM: Distributed Reliable Event-Based Application Management.
Web Dynamics
Alejandro P. Buchmann, Christof Bornhövd, Mariano Cilia, Ludger Fiege, Felix C. Gärtner, Christoph Liebig, Matthias Meixner, Gero Mühl
2004 J jnl
Ermittlung von Verwundbarkeiten mit elektronischen Koedern
CoRR
Maximillian Dornseif, Felix C. Gärtner, Thorsten Holz
2004 B conf
Ermittlung von Verwundbarkeiten mit elektronischen Ködern.
DIMVA
Maximillian Dornseif, Felix C. Gärtner, Thorsten Holz
2004 — conf
User Authentication in Sensor Networks.
GI Jahrestagung (2)
Zinaida Benenson, Felix C. Gärtner, Dogan Kesdogan
2004 J jnl
Vulnerability Assessment using Honeypots.
Prax. Inf.verarb. Kommun.
Maximillian Dornseif, Felix C. Gärtner, Thorsten Holz
2003 J jnl
Beobachten des Internet: Traum und Wirklichkeit (How to observe the Internet).
it Inf. Technol.
Felix C. Gärtner
2003 — conf
Byzantine Failures and Security: Arbitrary is not (always) Random.
GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit")
Felix C. Gärtner
2003 — conf
Dealing with Uncertainty in Mobile Publish/Subscribe Middleware.
Middleware Workshops
Ludger Fiege, Andreas Zeidler, Felix C. Gärtner, Sidath B. Handurukande
2003 — conf
Dependability Issues of Pervasive Computing in a Healthcare Environment.
SPC
Jürgen Bohn, Felix C. Gärtner, Harald Vogt
2003 J jnl
Dependable Systems: Podsy Workshop Report - From Fault Tolerance to Security and Back.
IEEE Distributed Syst. Online
Felix C. Gärtner, Levente Buttyán, Klaus Kursawe
2003 J jnl
Fair Exchange.
Comput. J.
Henning Pagnia, Holger Vogt, Felix C. Gärtner
2003 A conf
PoDSy 2003: Principles of Dependable Systems.
DSN
Felix C. Gärtner, Klaus Kursawe, Levente Buttyán
2003 J jnl
Supporting Fair Exchange in Mobile Environments.
Mob. Networks Appl.
Holger Vogt, Felix C. Gärtner, Henning Pagnia
2003 A conf
Supporting Mobility in Content-Based Publish/Subscribe Middleware.
Middleware
Ludger Fiege, Felix C. Gärtner, Oliver Kasten, Andreas Zeidler
2003 — conf
Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures.
Self-Stabilizing Systems
Felix C. Gärtner, Henning Pagnia
2002 Misc conf
A modular approach to build structured event-based systems.
SAC
Ludger Fiege, Gero Mühl, Felix C. Gärtner
2002 B conf
Evaluating Advanced Routing Algorithms for Content-Based Publish/Subscribe Systems.
MASCOTS
Gero Mühl, Ludger Fiege, Felix C. Gärtner, Alejandro P. Buchmann
2002 A conf
Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection.
DISC
Felix C. Gärtner, Stefan Pleisch
2002 J jnl
Modular event-based systems.
Knowl. Eng. Rev.
Ludger Fiege, Gero Mühl, Felix C. Gärtner
2002 — conf
Revisiting Liveness Properties in the Context of Secure Systems.
FASec
Felix C. Gärtner
2001 — conf
(Im)Possibilities of Predicate Detection in Crash-Affected Systems.
WSS
Felix C. Gärtner, Stefan Pleisch
2001 — ch.
Formale Grundlagen der Fehlertoleranz in verteilten Systemen.
Ausgezeichnete Informatikdissertationen
Felix C. Gärtner
2001 — conf
Using Smart Cards for Fair Exchange.
WELCOM
Holger Vogt, Henning Pagnia, Felix C. Gärtner
2000 Misc conf
A Case Study in the Mechanical Verification of Fault Tolerance.
FLAIRS
Heiko Mantel, Felix C. Gärtner
2000 J jnl
A case study in the mechanical verification of fault tolerance.
J. Exp. Theor. Artif. Intell.
Heiko Mantel, Felix C. Gärtner
2000 B conf
Consistent Detection of Global Predicates under a Weak Fault Assumption.
SRDS
Felix C. Gärtner, Sven Kloppenburg
2000 — conf
Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems.
GI Jahrestagung
Marc Theisen, Felix C. Gärtner
2000 — conf
Solving Fair Exchange with Mobile Agents.
ASA/MA
Henning Pagnia, Holger Vogt, Felix C. Gärtner, Uwe G. Wilhelm
1999 — conf
An exercise in proving convergence through transfer functions.
WSS
Oliver E. Theel, Felix C. Gärtner
1999 B conf
Approaching a Formal Definition of Fairness in Electronic Commerce.
SRDS
Felix C. Gärtner, Henning Pagnia, Holger Vogt
1999 J jnl
Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments.
ACM Comput. Surv.
Felix C. Gärtner
1999 A conf
Modular Fair Exchange Protocols for Electronic Commerce.
ACSAC
Holger Vogt, Henning Pagnia, Felix C. Gärtner
1999 — conf
Self-stabilizing load distribution for replicated servers on a per-access basis.
WSS
Felix C. Gärtner, Henning Pagnia
1999 J jnl
Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification.
J. Univers. Comput. Sci.
Felix C. Gärtner
1999 — conf
Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung.
GI Jahrestagung
Felix C. Gärtner, Marc Theisen
1998 J jnl
Aller Jahre wieder ... Eine fiktive Leidensgeschichte.
Inform. Spektrum
Felix C. Gärtner