dblp.uni-trier.dewww.uni-trier.de

Hartmut König

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

2009
64EEAlek Opitz, Hartmut König: Predicting Free Computing Capacities on Individual Machines. GPC 2009: 153-164
2008
63 Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel: Perspectives Workshop: Network Attack Detection and Defense, 2.3. - 6.3.2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
62EEGeorg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel: 08102 Executive Summary -- Perspectives Workshop: Network Attack Detection and Defense. Network Attack Detection and Defense 2008
61EEGeorg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel, Pavel Laskov: 08102 Manifesto -- Perspectives Workshop: Network Attack Detection and Defense. Network Attack Detection and Defense 2008
60EERichard A. Kemmerer, Roland Büschkes, Ali Fessi, Hartmut König, Peter Herrmann, Stephen D. Wolthusen, Marko Jahnke, Hervé Debar, Ralph Holz, Tanja Zseby, Dirk Haage: 08102 Outcome Working Group -- Situational Awareness. Network Attack Detection and Defense 2008
59EEFuwen Liu, Hartmut König: Security Policy Management for Peer Group Meetings. SECURWARE 2008: 68-73
58 Sebastian Schmerl, René Rietz, Hartmut König: Systematische Ableitung von Signaturen durch Wiederverwendung am Beispiel von Snort. Sicherheit 2008: 367-379
57EEAlek Opitz, Hartmut König, Sebastian Szamlewska: What Does Grid Computing Cost? J. Grid Comput. 6(4): 385-397 (2008)
2007
56EESebastian Schmerl, Hartmut König: Towards Systematic Signature Testing. TestCom/FATES 2007: 276-291
2006
55EESebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier: Simplifying Signature Engineering by Reuse. ETRICS 2006: 436-450
2005
54EEFuwen Liu, Hartmut König: Secure and efficient key distribution for collaborative applications. CollaborateCom 2005
53EEFuwen Liu, Hartmut König: Efficient Key Distribution for Closed Meetings in the Internet. Communications and Multimedia Security 2005: 271-272
52EEFuwen Liu, Hartmut König: Puzzle - A Novel Video Encryption Algorithm. Communications and Multimedia Security 2005: 88-97
51EEAlek Opitz, Hartmut König: Optimizing the Access to Read-Only Data in Grid Computing. DAIS 2005: 206-219
50EEMichael Meier, Sebastian Schmerl, Hartmut König: Improving the Efficiency of Misuse Detection. DIMVA 2005: 188-205
49 Hartmut König: Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen. GI Jahrestagung (2) 2005: 638-642
48 Daniel Rakel, Hartmut König: Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen. KiVS Kurzbeiträge und Workshop 2005: 159-162
47 Fuwen Liu, Hartmut König: Ein Ansatz für eine effiziente Schlüsselverteilung für kleine geschlossene Peer-Gruppen. KiVS Kurzbeiträge und Workshop 2005: 163-167
46EEFuwen Liu, Hartmut König: A novel encryption algorithm for high resolution video. NOSSDAV 2005: 69-74
45EEFuwen Liu, Hartmut König: A Secure P2P Video Conference System for Enterprise Environments. NPC 2005: 88-96
44EEFuwen Liu, Hartmut König: A Token Based Key Distribution Protocol for Closed Group Meetings. Net-Con 2005: 29-43
2004
43 Eduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König: Verteilte Mehrteilnehmer-Videokonferenzen im Internet. DFN-Arbeitstagung über Kommunikationsnetze 2004: 167-180
42EEMario Zühlke, Hartmut König: A Signaling Protocol for Small Closed Dynamic Multi-peer Groups. HSNMC 2004: 973-984
2003
41 Hartmut König, Monika Heiner, Adam Wolisz: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings Springer 2003
40 Thomas Holz, Michael Meier, Hartmut König: High-Efficient Intrusion Detection Infrastructure. DFN-Arbeitstagung über Kommunikationsnetze 2003: 217-232
39 Eduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König: BRAVIS - Ein Konzept für geschlossene Mehrteilnehmer-Videokonferenzen über IP. KiVS Kurzbeiträge 2003: 167-180
2002
38 Ina Schieferdecker, Hartmut König, Adam Wolisz: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002 Kluwer 2002
37EEMario Zühlke, Hartmut König: Voting Based Bandwidth Management in Multiparty Video Conferences. IDMS/PROMS 2002: 202-215
36 Mario Zühlke, Hartmut König: GCP. SMARTNET 2002
35 Alek Opitz, Torsten Mielke, Hartmut König: Virtual Private Components. SMARTNET 2002
2001
34 Sven Twarok, Peter Langendörfer, Hartmut König: Automated Derivation of ILP Implementations from SDL Specifications. FORTE 2001: 3-18
33 Peter Langendörfer, Rolf Kraemer, Hartmut König: Evaluation of Well-Known Protocol Implementation Techniques for Application in Wireless Networks. The Journal of Supercomputing 20(2): 161-173 (2001)
2000
32 Peter Langendörfer, Thomas Krüger, Hartmut König: Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. FBT 2000: 143-152
31 Peter Langendörfer, Hartmut König: Evaluation of Well-Known Protocol Implementation Techniques for Application in Mobile Networks. International Conference on Internet Computing 2000: 451-458
30EEHartmut König, Peter Langendörfer, Heiko Krumm: Improving the efficiency of automated protocol implementations using a configurable FDT compiler. Computer Communications 23(12): 1179-1195 (2000)
29 Samuel T. Chanson, A. Hui, Hartmut König, Mario Zühlke: Das OCTOPUS-Videokonferenzsystem. Praxis der Informationsverarbeitung und Kommunikation 23(4): (2000)
1999
28 Lea Kutvonen, Hartmut König, Martti Tienari: Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland Kluwer 1999
27 Peter Langendörfer, Hartmut König: Automatische Generierung effizienter Protokollimplementierungen. FBT 1999: 135-144
26 Peter Langendörfer, Hartmut König: Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. FORTE 1999: 169-184
25EEPeter Langendörfer, Hartmut König: Automated Protocol Implementations Based on Activity Threads. ICNP 1999: 3-10
24 Andreas Ulrich, Hartmut König: Architectures for Testing Distributed Systems. IWTCS 1999: 93-108
23 Thomas Preuß, Jens-Hagen Syrbe, Hartmut König: Permanent Customer-Provider Relationships for Electric Service Markets. Kommunikation in Verteilten Systemen 1999: 326-337
22 Peter Langendörfer, Hartmut König: COCOS - A configurable SDL compiler for generating efficient protocol implementations. SDL Forum 1999: 259-274
21 Ines Beier, Hartmut König: Distributed QoS Management for A Multiparty Video Conferencing System. SMARTNET 1999: 335-348
1998
20 Hartmut König, Peter Langendörfer: Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998 Verlag Shaker 1998
19EEInes Beier, Hartmut König: GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management. ICCCN 1998: 594-598
18EERalf Henke, Andreas Mitschele-Thiel, Hartmut König: Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. PDSE 1998: 230-237
1997
17 Hartmut König, Kurt Geihs, Thomas Preuß: Distributed Applications and Interoperable Systems, Proceedings IFIP TC 6.1 Working Conference DAIS'97, Cottbus, Germany, September 30 - October 2, 1997 Chapman & Hall 1997
16EEThomas Preuß, Jens-Hagen Syrbe, Hartmut König: Virtual Private Resources. EDOC 1997: 216-226
15 Ralf Henke, Andreas Mitschele-Thiel, Hartmut König: On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. FORTE 1997: 399-414
14 Andreas Ulrich, Hartmut König: Specification-based Testing of Concurrent Systems. FORTE 1997: 7-22
13 Birk Richter, Michael Sobirey, Hartmut König: Host-orientiertes Netz-Audit. Kommunikation in Verteilten Systemen 1997: 48-61
12 Ralf Henke, Hartmut König, Andreas Mitschele-Thiel: Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. SDL Forum 1997: 397-414
1996
11 Michael Sobirey, Birk Richter, Hartmut König: The Intrusion Detection System AID - Architecture, and Experiences in Automated Audit Analysis. Communications and Multimedia Security 1996: 278-290
10EEReinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König: Improving the efficiency of automated protocol implementation using Estelle. Computer Communications 19(14): 1226-1235 (1996)
9 Hartmut König, Heiko Krumm: Implementierung von Kommunikationsprotokollen. Informatik Spektrum 19(6): 316-325 (1996)
1995
8 Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich: SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE 1995: 313-328
7 Ralf Plato, Thomas Held, Hartmut König: PARES - a portable parallel Estelle compiler. PSTV 1995: 403-418
1994
6 Thomas Held, Hartmut König: Increasing the efficiency of computer-aided protocol implementations. PSTV 1994: 387-394
1993
5 Hartmut König: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 K. G. Saur Verlag 1993
4 Hartmut König, Peter Neumann: Formale Beschreibungstechniken für Kommunikationsprotokolle: Problemem ihrer praktischen Anwendung. Kommunikation in Verteilten Systemen 1993: 545-559
3 Alexandre Petrenko, Rachida Dssouli, Hartmut König: On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124
2 Andreas Ulrich, Hartmut König: Test Derivation from LOTOS Using Structure Information. Protocol Test Systems 1993: 279-293
1992
1 R. Födisch, Thomas Held, Hartmut König: A Protocol Development Environment Based on Estelle. INDC 1992: 121-141

Coauthor Index

1Ines Beier [19] [21]
2Jan Bredereke [10]
3Roland Büschkes [60]
4Georg Carle [61] [62] [63]
5Samuel T. Chanson [29]
6Hervé Debar [60]
7Falko Dressler [61] [62] [63]
8Rachida Dssouli [3]
9Wolfgang Effelsberg [10]
10Ali Fessi [60]
11Stephan Fischer [10]
12Ulrich Flegel [55]
13R. Födisch [1]
14Kurt Geihs [17]
15Reinhard Gotzhein [10]
16Abdelaziz Guerrouat [8]
17Dirk Haage [60]
18Monika Heiner [41]
19Thomas Held [1] [6] [7] [10]
20Ralf Henke [12] [15] [18]
21Peter Herrmann [60]
22Ralph Holz [60]
23Thomas Holz [40]
24A. Hui [29]
25Marko Jahnke [60]
26Richard A. Kemmerer [60] [61] [62] [63]
27Rolf Kraemer [33]
28Christopher Krügel (Christopher Kruegel) [61] [62] [63]
29Thomas Krüger [32]
30Heiko Krumm [9] [30]
31Lea Kutvonen [28]
32Peter Langendörfer (Peter Langendoerfer) [20] [22] [25] [26] [27] [30] [31] [32] [33] [34]
33Pavel Laskov [61]
34Fuwen Liu [44] [45] [46] [47] [52] [53] [54] [59]
35Ralf Mahlo [39] [43]
36Michael Meier [40] [50] [55]
37Torsten Mielke [35]
38Andreas Mitschele-Thiel [12] [15] [18]
39Peter Neumann [4]
40Alek Opitz [35] [51] [57] [64]
41Alexandre Petrenko [3]
42Ralf Plato [7]
43Eduard Popovici [39] [43]
44Thomas Preuß [16] [17] [23]
45Daniel Rakel [48]
46Birk Richter [11] [13]
47René Rietz [58]
48Ina Schieferdecker [38]
49Sebastian Schmerl [50] [55] [56] [58]
50Michael Sobirey [11] [13]
51Jens-Hagen Syrbe [16] [23]
52Sebastian Szamlewska [57]
53Martti Tienari [28]
54Sven Twarok [34]
55Andreas Ulrich [2] [8] [14] [24]
56Adam Wolisz [38] [41]
57Stephen D. Wolthusen [60]
58Tanja Zseby [60]
59Mario Zühlke [29] [36] [37] [39] [42] [43]

Colors in the list of coauthors

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