Felix C. Freiling

Felix C. Gärtner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

85EEIoannis Krontiris, Zinaida Benenson, Thanassis Giannetsos, Felix C. Freiling, Tassos Dimitriou: Cooperative Intrusion Detection in Wireless Sensor Networks. EWSN 2009: 263-278
84EENeeraj Mittal, Kuppahalli L. Phaneesh, Felix C. Freiling: Safe termination detection in an asynchronous distributed system when processes may crash and recover. Theor. Comput. Sci. 410(6-7): 614-628 (2009)
83 Irene Eusgeld, Felix C. Freiling, Ralf Reussner: Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005] Springer 2008
82EEZinaida Benenson, Markus Bestehorn, Erik Buchmann, Felix C. Freiling, Marek Jawurek: Query Dissemination with Predictable Reachability and Energy Usage in Sensor Networks. ADHOC-NOW 2008: 279-292
81EEFelix C. Freiling, Christian Lambertz, Mila E. Majster-Cederbaum: Easy Consensus Algorithms for the Crash-Recovery Model. DISC 2008: 507-508
80 Felix C. Freiling, Thorsten Holz, Martin Mink: Reconstructing People's Lives: A Case Study in Teaching Forensic Computing. IMF 2008: 125-142
79EEThorsten Holz, Moritz Steiner, Frederic Dahl, Ernst Biersack, Felix C. Freiling: Measurements and Mitigation of Peer-to-Peer-based Botnets: A Case Study on Storm Worm. LEET 2008
78 Ali Ikinci, Thorsten Holz, Felix C. Freiling: Monkey-Spider: Detecting Malicious Websites with Low-Interaction Honeyclients. Sicherheit 2008: 407-421
77 Michael Becher, Felix C. Freiling: Towards Dynamic Malware Analysis to Increase Mobile Device Security423. Sicherheit 2008: 423-433
76 Felix C. Freiling, Jens Liebchen: Iterative Kompromittierungsgraphverfeinerung als methodische Grundlage für Netzwerkpenetrationstests. Sicherheit 2008: 435-447
75EENeeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso: On termination detection in crash-prone distributed systems with failure detectors. J. Parallel Distrib. Comput. 68(6): 855-875 (2008)
74 Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman: From Security to Dependability, 10.09. - 15.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
73EECarole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling, Lucia Draque Penso, Andreas Tielmann: From Crash-Stop to Permanent Omission: Automatic Transformation and Weakest Failure Detectors. DISC 2007: 165-178
72EEFelix C. Freiling, Matthias Majuntke, Neeraj Mittal: On Detecting Termination in the Crash-Recovery Model. Euro-Par 2007: 629-638
71 Harish Daiya, Maximillian Dornseif, Felix C. Freiling: Testing Forensic Hash Tools on Sparse Files. IMF 2007: 113-124
70 Felix C. Freiling, Bastian Schwittay: Towards Reliable Rootkit Detection in Live Response. IMF 2007: 125-144
69 Felix C. Freiling, Bastian Schwittay: A Common Process Model for Incident Response and Computer Forensics. IMF 2007: 19-40
68EEZinaida Benenson, Felix C. Freiling, Peter M. Cholewinski: Advanced Evasive Data Storage in Sensor Networks. MDM 2007: 146-151
67EERoberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso, Iratxe Soraluze Arriola: Secure Failure Detection in TrustedPals. SSS 2007: 173-188
66EEFelix C. Freiling, Arshad Jhumka: Global Predicate Detection in Distributed Systems with Small Faults. SSS 2007: 296-310
65 Zinaida Benenson, Felix C. Freiling, Thorsten Holz, Dogan Kesdogan, Lucia Draque Penso: Safety, Liveness, and Information Flow: Dependability Revisited. ARCS Workshops 2006: 56-65
64EEZinaida Benenson, Felix C. Freiling, Birgit Pfitzmann, Christian Rohner, Michael Waidner: Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks. ESAS 2006: 165-178
63EEMilan Fort, Felix C. Freiling, Lucia Draque Penso, Zinaida Benenson, Dogan Kesdogan: TrustedPals: Secure Multiparty Computation Implemented with Smart Cards. ESORICS 2006: 34-48
62EEChristian Cachin, Felix C. Freiling, Jaap-Henk Hoepman: 06371 Abstracts Collection -- From Security to Dependability. From Security to Dependability 2006
61EEChristian Cachin, Felix C. Freiling, Jaap-Henk Hoepman: 06371 Executive Summary -- From Security to Dependability. From Security to Dependability 2006
60 Philip Anderson, Maximillian Dornseif, Felix C. Freiling, Thorsten Holz, Alastrair Irons, Christopher Laing, Martin Mink: A Comparative Study of Teaching Forensics at a University Degree Level. IMF 2006: 116-127
59EEMartin Mink, Felix C. Freiling: Is attack better than defense?: teaching information security the right way. InfoSecCD 2006: 44-48
58EENeeraj Mittal, Kuppahalli L. Phaneesh, Felix C. Freiling: Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover. OPODIS 2006: 126-141
57EEZinaida Benenson, Lexi Pimenidis, Felix C. Freiling, Stefan Lucks: Authenticated Query Flooding in Sensor Networks. PerCom Workshops 2006: 644-647
56EEPaul Baecher, Markus Koetter, Thorsten Holz, Maximillian Dornseif, Felix C. Freiling: The Nepenthes Platform: An Efficient Approach to Collect Malware. RAID 2006: 165-184
55EEZinaida Benenson, Felix C. Freiling, Ernest Hammerschmidt, Stefan Lucks, Lexi Pimenidis: Authenticated Query Flooding in Sensor Networks. SEC 2006: 38-49
54EETimo Warns, Felix C. Freiling, Wilhelm Hasselbring: Solving Consensus Using Structural Failure Models. SRDS 2006: 212-224
53EEFelix C. Freiling, Matthias Majuntke, Neeraj Mittal: Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. SSS 2006: 572-573
52 Hans-Georg Eßer, Felix C. Freiling: Kapazitätsmessung eines verdeckten Zeitkanals über HTTP. Sicherheit 2006: 115-118
51EEArshad Jhumka, Felix C. Freiling, Christof Fetzer, Neeraj Suri: An approach to synthesise safe systems. IJSN 1(1/2): 62-74 (2006)
50EEFelix C. Freiling, Hagen Völzer: Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. Operating Systems Review 40(2): 105-109 (2006)
49EENeeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso: Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System. DISC 2005: 93-107
48EEIrene Eusgeld, Felix C. Freiling: Introduction to Dependability Metrics. Dependability Metrics 2005: 1-4
47EEFelix C. Freiling: Introduction to Security Metrics. Dependability Metrics 2005: 129-132
46EEFelix C. Freiling, Max Walter: Reliability vs. Security: A Subjective Overview. Dependability Metrics 2005: 255-257
45EERainer Böhme, Felix C. Freiling: On Metrics and Measurements. Dependability Metrics 2005: 7-13
44EEGildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic: Gracefully Degrading Fair Exchange with Security Modules. EDCC 2005: 55-71
43EEFelix C. Freiling, Thorsten Holz, Georg Wicherski: Botnet Tracking: Exploring a Root-Cause Methodology to Prevent Distributed Denial-of-Service Attacks. ESORICS 2005: 319-335
42EEMarc Shapiro, Idit Keidar, Felix C. Freiling, Luís Rodrigues: Topic 8 - Distributed Systems and Algorithms. Euro-Par 2005: 593
41 Felix C. Freiling, Neeraj Mittal, Lucia Draque Penso: Transformations in Secure and Fault-Tolerant Distributed Computation. GI Jahrestagung (1) 2005: 410-412
40 Zinaida Benenson, Peter M. Cholewinski, Felix C. Freiling: Simple Evasive Data Storage in Sensor Networks. IASTED PDCS 2005: 779-784
39EECarole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling: Revisiting Failure Detection and Consensus in Omission Failure Environments. ICTAC 2005: 394-408
38EEFelix C. Freiling, Maurice Herlihy, Lucia Draque Penso: Optimal Randomized Fair Exchange with Secret Shared Coins. OPODIS 2005: 61-72
37EEFelix C. Freiling, Sukumar Ghosh: Code Stabilization. Self-Stabilizing Systems 2005: 128-139
36 Zinaida Benenson, Felix C. Gärtner, Dogan Kesdogan: Secure Multi-Party Computation with Security Modules. Sicherheit 2005: 41-52
35EEChristian Bunse, Felix C. Freiling, Nicole Lévy: A Taxonomy on Component-Based Software Engineering Methods. Architecting Systems with Trustworthy Components 2004: 103-119
34EEFelix C. Freiling, Thomas Santen: On the Composition of Compositional Reasoning. Architecting Systems with Trustworthy Components 2004: 137-151
33 Maximillian Dornseif, Felix C. Gärtner, Thorsten Holz: Ermittlung von Verwundbarkeiten mit elektronischen Ködern. DIMVA 2004: 129-141
32EEFelix C. Gärtner, Arshad Jhumka: Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. FORMATS/FTRTFT 2004: 183-198
31 Zinaida Benenson, Felix C. Gärtner, Dogan Kesdogan: User Authentication in Sensor Networks. GI Jahrestagung (2) 2004: 385-389
30 Alejandro P. Buchmann, Christof Bornhövd, Mariano Cilia, Ludger Fiege, Felix C. Gärtner, Christoph Liebig, Matthias Meixner, Gero Mühl: DREAM: Distributed Reliable Event-Based Application Management. Web Dynamics 2004: 319-352
29EEMaximillian Dornseif, Felix C. Gärtner, Thorsten Holz: Ermittlung von Verwundbarkeiten mit elektronischen Koedern CoRR cs.CR/0406059: (2004)
28EEFelix C. Gärtner, Klaus Kursawe, Levente Buttyán: PoDSy 2003: Principles of Dependable Systems. DSN 2003: 763
27 Felix C. Gärtner: Byzantine Failures and Security: Arbitrary is not (always) Random. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 127-138
26EELudger Fiege, Felix C. Gärtner, Oliver Kasten, Andreas Zeidler: Supporting Mobility in Content-Based Publish/Subscribe Middleware. Middleware 2003: 103-122
25 Ludger Fiege, Andreas Zeidler, Felix C. Gärtner, Sidath B. Handurukande: Dealing with Uncertainty in Mobile Publish/Subscribe Middleware. Middleware Workshops 2003: 60-67
24EEJürgen Bohn, Felix C. Gärtner, Harald Vogt: Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC 2003: 53-70
23EEFelix C. Gärtner, Henning Pagnia: Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures. Self-Stabilizing Systems 2003: 154-168
22EEHenning Pagnia, Holger Vogt, Felix C. Gärtner: Fair Exchange. Comput. J. 46(1): 55-75 (2003)
21EEFelix C. Gärtner, Levente Buttyán, Klaus Kursawe: Dependable Systems: Podsy Workshop Report - From Fault Tolerance to Security and Back. IEEE Distributed Systems Online 4(9): (2003)
20 Holger Vogt, Felix C. Gärtner, Henning Pagnia: Supporting Fair Exchange in Mobile Environments. MONET 8(2): 127-136 (2003)
19EEFelix C. Gärtner: Beobachten des Internet: Traum und Wirklichkeit. it - Information Technology 45(6): (2003)
18EEFelix C. Gärtner, Stefan Pleisch: Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection. DISC 2002: 280-294
17EEFelix C. Gärtner: Revisiting Liveness Properties in the Context of Secure Systems. FASec 2002: 221-238
16EEGero Mühl, Ludger Fiege, Felix C. Gärtner, Alejandro P. Buchmann: Evaluating Advanced Routing Algorithms for Content-Based Publish/Subscribe Systems. MASCOTS 2002: 167-176
15EELudger Fiege, Gero Mühl, Felix C. Gärtner: A modular approach to build structured event-based systems. SAC 2002: 385-392
14EEHolger Vogt, Henning Pagnia, Felix C. Gärtner: Using Smart Cards for Fair Exchange. WELCOM 2001: 101-113
13EEFelix C. Gärtner, Stefan Pleisch: (Im)Possibilities of Predicate Detection in Crash-Affected Systems. WSS 2001: 98-113
12 Henning Pagnia, Holger Vogt, Felix C. Gärtner, Uwe G. Wilhelm: Solving Fair Exchange with Mobile Agents. ASA/MA 2000: 57-72
11 Heiko Mantel, Felix C. Gärtner: A Case Study in the Mechanical Verification of Fault Tolerance. FLAIRS Conference 2000: 341-345
10EEFelix C. Gärtner, Sven Kloppenburg: Consistent Detection of Global Predicates under a Weak Fault Assumption. SRDS 2000: 94-103
9 Heiko Mantel, Felix C. Gärtner: A case study in the mechanical verification of fault tolerance. J. Exp. Theor. Artif. Intell. 12(4): 473-487 (2000)
8EEHolger Vogt, Henning Pagnia, Felix C. Gärtner: Modular Fair Exchange Protocols for Electronic Commerce. ACSAC 1999: 3-11
7 Felix C. Gärtner, Marc Theisen: Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung. GI Jahrestagung 1999: 207-214
6EEFelix C. Gärtner, Henning Pagnia, Holger Vogt: Approaching a Formal Definition of Fairness in Electronic Commerce. SRDS 1999: 354-359
5 Felix C. Gärtner, Henning Pagnia: Self-stabilizing load distribution for replicated servers on a per-access basis. WSS 1999: 102-109
4 Oliver E. Theel, Felix C. Gärtner: An exercise in proving convergence through transfer functions. WSS 1999: 41-47
3EEFelix C. Gärtner: Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. ACM Comput. Surv. 31(1): 1-26 (1999)
2EEFelix C. Gärtner: Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification. J. UCS 5(10): 668-692 (1999)
1 Felix C. Gärtner: Aller Jahre wieder ... Eine fiktive Leidensgeschichte. Informatik Spektrum 21(3): 161 (1998)

Coauthor Index

1Philip Anderson [60]
2Iratxe Soraluze Arriola [67]
3Gildas Avoine [44]
4Paul Baecher [56]
5Michael Becher [77]
6Zinaida Benenson [31] [36] [40] [55] [57] [63] [64] [65] [68] [82] [85]
7Markus Bestehorn [82]
8Ernst W. Biersack (Ernst Biersack) [79]
9Rainer Böhme [45]
10Jürgen Bohn [24]
11Christof Bornhövd [30]
12Alejandro P. Buchmann [16] [30]
13Erik Buchmann [82]
14Christian Bunse [35]
15Levente Buttyán [21] [28]
16Christian Cachin [61] [62] [74]
17Peter M. Cholewinski [40] [68]
18Mariano Cilia [30]
19Roberto Cortiñas [67]
20Frederic Dahl [79]
21Harish Daiya [71]
22Carole Delporte-Gallet (Carole Delporte) [39] [73]
23Tassos Dimitriou [85]
24Maximillian Dornseif [29] [33] [56] [60] [71]
25Hans-Georg Eßer [52]
26Irene Eusgeld [48] [83]
27Hugues Fauconnier [39] [73]
28Christof Fetzer [51]
29Ludger Fiege [15] [16] [25] [26] [30]
30Milan Fort [63]
31Marjan Ghajar-Azadanlou [67]
32Sukumar Ghosh [37]
33Thanassis Giannetsos [85]
34Rachid Guerraoui [44]
35Ernest Hammerschmidt [55]
36Sidath B. Handurukande [25]
37Wilhelm Hasselbring [54]
38Maurice Herlihy [38]
39Jaap-Henk Hoepman [61] [62] [74]
40Thorsten Holz [29] [33] [43] [56] [60] [65] [78] [79] [80]
41Ali Ikinci [78]
42Alastrair Irons [60]
43Marek Jawurek [82]
44Arshad Jhumka [32] [51] [66]
45Oliver Kasten [26]
46Idit Keidar [42]
47Dogan Kesdogan [31] [36] [63] [65]
48Sven Kloppenburg [10]
49Markus Koetter [56]
50Ioannis Krontiris [85]
51Klaus Kursawe [21] [28]
52Alberto Lafuente [67]
53Christopher Laing [60]
54Christian Lambertz [81]
55Mikel Larrea [67]
56Nicole Lévy [35]
57Jens Liebchen [76]
58Christoph Liebig [30]
59Stefan Lucks [55] [57]
60Mila E. Majster-Cederbaum [81]
61Matthias Majuntke [53] [72]
62Heiko Mantel [9] [11]
63Matthias Meixner [30]
64Martin Mink [59] [60] [80]
65Neeraj Mittal [41] [49] [53] [58] [72] [75] [84]
66Gero Mühl [15] [16] [30]
67Henning Pagnia [5] [6] [8] [12] [14] [20] [22] [23]
68Lucia Draque Penso (Lucia Draque Penso Rautenbach) [38] [41] [49] [63] [65] [67] [73] [75]
69Birgit Pfitzmann [64]
70Kuppahalli L. Phaneesh [58] [84]
71Lexi Pimenidis [55] [57]
72Stefan Pleisch [13] [18]
73Ralf Reussner (Ralf H. Reussner) [83]
74Luís Rodrigues [42]
75Christian Rohner [64]
76Thomas Santen [34]
77Bastian Schwittay [69] [70]
78Marc Shapiro [42]
79Moritz Steiner [79]
80Neeraj Suri [51]
81Oliver E. Theel [4]
82Marc Theisen [7]
83Andreas Tielmann [73]
84Subbarayan Venkatesan [49] [75]
85Harald Vogt [24]
86Holger Vogt [6] [8] [12] [14] [20] [22]
87Hagen Völzer [50]
88Marko Vukolic [44]
89Michael Waidner [64]
90Max Walter [46]
91Timo Warns [54]
92Georg Wicherski [43]
93Uwe G. Wilhelm [12]
94Andreas Zeidler [25] [26]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)