Felix C. Freiling

Felix C. Gärtner

2009
85	EE	Ioannis Krontiris, Zinaida Benenson, Thanassis Giannetsos, Felix C. Freiling, Tassos Dimitriou: Cooperative Intrusion Detection in Wireless Sensor Networks. EWSN 2009: 263-278
84	EE	Neeraj 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)
2008
83		Irene Eusgeld, Felix C. Freiling, Ralf Reussner: Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005] Springer 2008
82	EE	Zinaida 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
81	EE	Felix 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
79	EE	Thorsten 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
75	EE	Neeraj 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)
2007
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
73	EE	Carole 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
72	EE	Felix 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
68	EE	Zinaida Benenson, Felix C. Freiling, Peter M. Cholewinski: Advanced Evasive Data Storage in Sensor Networks. MDM 2007: 146-151
67	EE	Roberto 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
66	EE	Felix C. Freiling, Arshad Jhumka: Global Predicate Detection in Distributed Systems with Small Faults. SSS 2007: 296-310
2006
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
64	EE	Zinaida 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
63	EE	Milan Fort, Felix C. Freiling, Lucia Draque Penso, Zinaida Benenson, Dogan Kesdogan: TrustedPals: Secure Multiparty Computation Implemented with Smart Cards. ESORICS 2006: 34-48
62	EE	Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman: 06371 Abstracts Collection -- From Security to Dependability. From Security to Dependability 2006
61	EE	Christian 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
59	EE	Martin Mink, Felix C. Freiling: Is attack better than defense?: teaching information security the right way. InfoSecCD 2006: 44-48
58	EE	Neeraj 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
57	EE	Zinaida Benenson, Lexi Pimenidis, Felix C. Freiling, Stefan Lucks: Authenticated Query Flooding in Sensor Networks. PerCom Workshops 2006: 644-647
56	EE	Paul Baecher, Markus Koetter, Thorsten Holz, Maximillian Dornseif, Felix C. Freiling: The Nepenthes Platform: An Efficient Approach to Collect Malware. RAID 2006: 165-184
55	EE	Zinaida Benenson, Felix C. Freiling, Ernest Hammerschmidt, Stefan Lucks, Lexi Pimenidis: Authenticated Query Flooding in Sensor Networks. SEC 2006: 38-49
54	EE	Timo Warns, Felix C. Freiling, Wilhelm Hasselbring: Solving Consensus Using Structural Failure Models. SRDS 2006: 212-224
53	EE	Felix 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
51	EE	Arshad Jhumka, Felix C. Freiling, Christof Fetzer, Neeraj Suri: An approach to synthesise safe systems. IJSN 1(1/2): 62-74 (2006)
50	EE	Felix C. Freiling, Hagen Völzer: Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. Operating Systems Review 40(2): 105-109 (2006)
2005
49	EE	Neeraj 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
48	EE	Irene Eusgeld, Felix C. Freiling: Introduction to Dependability Metrics. Dependability Metrics 2005: 1-4
47	EE	Felix C. Freiling: Introduction to Security Metrics. Dependability Metrics 2005: 129-132
46	EE	Felix C. Freiling, Max Walter: Reliability vs. Security: A Subjective Overview. Dependability Metrics 2005: 255-257
45	EE	Rainer Böhme, Felix C. Freiling: On Metrics and Measurements. Dependability Metrics 2005: 7-13
44	EE	Gildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic: Gracefully Degrading Fair Exchange with Security Modules. EDCC 2005: 55-71
43	EE	Felix C. Freiling, Thorsten Holz, Georg Wicherski: Botnet Tracking: Exploring a Root-Cause Methodology to Prevent Distributed Denial-of-Service Attacks. ESORICS 2005: 319-335
42	EE	Marc 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
39	EE	Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling: Revisiting Failure Detection and Consensus in Omission Failure Environments. ICTAC 2005: 394-408
38	EE	Felix C. Freiling, Maurice Herlihy, Lucia Draque Penso: Optimal Randomized Fair Exchange with Secret Shared Coins. OPODIS 2005: 61-72
37	EE	Felix 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
2004
35	EE	Christian Bunse, Felix C. Freiling, Nicole Lévy: A Taxonomy on Component-Based Software Engineering Methods. Architecting Systems with Trustworthy Components 2004: 103-119
34	EE	Felix 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
32	EE	Felix 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
29	EE	Maximillian Dornseif, Felix C. Gärtner, Thorsten Holz: Ermittlung von Verwundbarkeiten mit elektronischen Koedern CoRR cs.CR/0406059: (2004)
2003
28	EE	Felix 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
26	EE	Ludger 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
24	EE	Jürgen Bohn, Felix C. Gärtner, Harald Vogt: Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC 2003: 53-70
23	EE	Felix C. Gärtner, Henning Pagnia: Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures. Self-Stabilizing Systems 2003: 154-168
22	EE	Henning Pagnia, Holger Vogt, Felix C. Gärtner: Fair Exchange. Comput. J. 46(1): 55-75 (2003)
21	EE	Felix 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)
19	EE	Felix C. Gärtner: Beobachten des Internet: Traum und Wirklichkeit. it - Information Technology 45(6): (2003)
2002
18	EE	Felix C. Gärtner, Stefan Pleisch: Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection. DISC 2002: 280-294
17	EE	Felix C. Gärtner: Revisiting Liveness Properties in the Context of Secure Systems. FASec 2002: 221-238
16	EE	Gero 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
15	EE	Ludger Fiege, Gero Mühl, Felix C. Gärtner: A modular approach to build structured event-based systems. SAC 2002: 385-392
2001
14	EE	Holger Vogt, Henning Pagnia, Felix C. Gärtner: Using Smart Cards for Fair Exchange. WELCOM 2001: 101-113
13	EE	Felix C. Gärtner, Stefan Pleisch: (Im)Possibilities of Predicate Detection in Crash-Affected Systems. WSS 2001: 98-113
2000
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
10	EE	Felix 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)
1999
8	EE	Holger 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
6	EE	Felix 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
3	EE	Felix C. Gärtner: Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. ACM Comput. Surv. 31(1): 1-26 (1999)
2	EE	Felix 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)
1998
1		Felix C. Gärtner: Aller Jahre wieder ... Eine fiktive Leidensgeschichte. Informatik Spektrum 21(3): 161 (1998)

Coauthor Index

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

Colors in the list of coauthors