Hartmut König Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlek Opitz, Hartmut König: Predicting Free Computing Capacities on Individual Machines. GPC 2009: 153-164
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Schmerl, Michael Vogel, Hartmut König: Identifying Modeling Errors in Signatures by Model Checking. SPIN 2009: 205-222
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel, Pavel Laskov: Network attack detection and defense - Manifesto of the Dagstuhl Perspective Workshop, March 2nd-6th, 2008. Computer Science - R&D 23(1): 15-25 (2009)
2008
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier, René Rietz: Systematic Signature Engineering by Re-use of Snort Signatures. ACSAC 2008: 23-32
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuwen Liu, Hartmut König: Security Policy Management for Peer Group Meetings. SECURWARE 2008: 68-73
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Schmerl, René Rietz, Hartmut König: Systematische Ableitung von Signaturen durch Wiederverwendung am Beispiel von Snort. Sicherheit 2008: 367-379
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlek Opitz, Hartmut König, Sebastian Szamlewska: What Does Grid Computing Cost? J. Grid Comput. 6(4): 385-397 (2008)
2007
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Schmerl, Hartmut König: Towards Systematic Signature Testing. TestCom/FATES 2007: 276-291
2006
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier: Simplifying Signature Engineering by Reuse. ETRICS 2006: 436-450
2005
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuwen Liu, Hartmut König: Secure and efficient key distribution for collaborative applications. CollaborateCom 2005
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuwen Liu, Hartmut König: Efficient Key Distribution for Closed Meetings in the Internet. Communications and Multimedia Security 2005: 271-272
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuwen Liu, Hartmut König: Puzzle - A Novel Video Encryption Algorithm. Communications and Multimedia Security 2005: 88-97
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlek Opitz, Hartmut König: Optimizing the Access to Read-Only Data in Grid Computing. DAIS 2005: 206-219
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Meier, Sebastian Schmerl, Hartmut König: Improving the Efficiency of Misuse Detection. DIMVA 2005: 188-205
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut König: Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen. GI Jahrestagung (2) 2005: 638-642
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Rakel, Hartmut König: Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen. KiVS Kurzbeiträge und Workshop 2005: 159-162
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuwen 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuwen Liu, Hartmut König: A novel encryption algorithm for high resolution video. NOSSDAV 2005: 69-74
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuwen Liu, Hartmut König: A Secure P2P Video Conference System for Enterprise Environments. NPC 2005: 88-96
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuwen Liu, Hartmut König: A Token Based Key Distribution Protocol for Closed Group Meetings. Net-Con 2005: 29-43
2004
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König: Verteilte Mehrteilnehmer-Videokonferenzen im Internet. DFN-Arbeitstagung über Kommunikationsnetze 2004: 167-180
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Zühlke, Hartmut König: A Signaling Protocol for Small Closed Dynamic Multi-peer Groups. HSNMC 2004: 973-984
2003
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Holz, Michael Meier, Hartmut König: High-Efficient Intrusion Detection Infrastructure. DFN-Arbeitstagung über Kommunikationsnetze 2003: 217-232
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduard 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIna 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Zühlke, Hartmut König: Voting Based Bandwidth Management in Multiparty Video Conferences. IDMS/PROMS 2002: 202-215
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Zühlke, Hartmut König: GCP. SMARTNET 2002
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlek Opitz, Torsten Mielke, Hartmut König: Virtual Private Components. SMARTNET 2002
2001
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Twarok, Peter Langendörfer, Hartmut König: Automated Derivation of ILP Implementations from SDL Specifications. FORTE 2001: 3-18
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Langendörfer, Thomas Krüger, Hartmut König: Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. FBT 2000: 143-152
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuel T. Chanson, A. Hui, Hartmut König, Mario Zühlke: Das OCTOPUS-Videokonferenzsystem. Praxis der Informationsverarbeitung und Kommunikation 23(4): (2000)
1999
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLea 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Langendörfer, Hartmut König: Automatische Generierung effizienter Protokollimplementierungen. FBT 1999: 135-144
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Langendörfer, Hartmut König: Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. FORTE 1999: 169-184
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Langendörfer, Hartmut König: Automated Protocol Implementations Based on Activity Threads. ICNP 1999: 3-10
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Ulrich, Hartmut König: Architectures for Testing Distributed Systems. IWTCS 1999: 93-108
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Preuß, Jens-Hagen Syrbe, Hartmut König: Permanent Customer-Provider Relationships for Electric Service Markets. Kommunikation in Verteilten Systemen 1999: 326-337
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Langendörfer, Hartmut König: COCOS - A configurable SDL compiler for generating efficient protocol implementations. SDL Forum 1999: 259-274
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInes Beier, Hartmut König: Distributed QoS Management for A Multiparty Video Conferencing System. SMARTNET 1999: 335-348
1998
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInes Beier, Hartmut König: GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management. ICCCN 1998: 594-598
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Preuß, Jens-Hagen Syrbe, Hartmut König: Virtual Private Resources. EDOC 1997: 216-226
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Henke, Andreas Mitschele-Thiel, Hartmut König: On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. FORTE 1997: 399-414
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Ulrich, Hartmut König: Specification-based Testing of Concurrent Systems. FORTE 1997: 7-22
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirk Richter, Michael Sobirey, Hartmut König: Host-orientiertes Netz-Audit. Kommunikation in Verteilten Systemen 1997: 48-61
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard 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)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut König, Heiko Krumm: Implementierung von Kommunikationsprotokollen. Informatik Spektrum 19(6): 316-325 (1996)
1995
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelaziz Guerrouat, Hartmut König, Andreas Ulrich: SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE 1995: 313-328
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Plato, Thomas Held, Hartmut König: PARES - a portable parallel Estelle compiler. PSTV 1995: 403-418
1994
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Held, Hartmut König: Increasing the efficiency of computer-aided protocol implementations. PSTV 1994: 387-394
1993
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut König: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 K. G. Saur Verlag 1993
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut König, Peter Neumann: Formale Beschreibungstechniken für Kommunikationsprotokolle: Problemem ihrer praktischen Anwendung. Kommunikation in Verteilten Systemen 1993: 545-559
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Petrenko, Rachida Dssouli, Hartmut König: On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Ulrich, Hartmut König: Test Derivation from LOTOS Using Structure Information. Protocol Test Systems 1993: 279-293
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. 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] [64] [65]
5Samuel T. Chanson [29]
6Hervé Debar [60]
7Falko Dressler [61] [62] [64] [65]
8Rachida Dssouli [3]
9Wolfgang Effelsberg [10]
10Ali Fessi [60]
11Stephan Fischer [10]
12Ulrich Flegel [55] [63]
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] [64] [65]
27Rolf Kraemer [33]
28Christopher Krügel (Christopher Kruegel) [61] [62] [64] [65]
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] [65]
34Fuwen Liu [44] [45] [46] [47] [52] [53] [54] [59]
35Ralf Mahlo [39] [43]
36Michael Meier [40] [50] [55] [63]
37Torsten Mielke [35]
38Andreas Mitschele-Thiel [12] [15] [18]
39Peter Neumann [4]
40Alek Opitz [35] [51] [57] [67]
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] [63]
48Ina Schieferdecker [38]
49Sebastian Schmerl [50] [55] [56] [58] [63] [66]
50Michael Sobirey [11] [13]
51Jens-Hagen Syrbe [16] [23]
52Sebastian Szamlewska [57]
53Martti Tienari [28]
54Sven Twarok [34]
55Andreas Ulrich [2] [8] [14] [24]
56Michael Vogel [66]
57Adam Wolisz [38] [41]
58Stephen D. Wolthusen [60]
59Tanja Zseby [60]
60Mario Zühlke [29] [36] [37] [39] [42] [43]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)