Hartmut König

	2012
83		Prabhu Shankar Kaliappan, Hartmut König: On the Formalization of UML Activities for Component-Based Protocol Design Specifications. SOFSEM 2012: 479-491
	2011
82		Michael Vogel, Sebastian Schmerl, Hartmut König: Efficient Distributed Signature Analysis. AIMS 2011: 13-25
81		Fuwen Liu, Hartmut König: Cryptanalysis of a SIP Authentication Scheme. Communications and Multimedia Security 2011: 134-143
80		Linda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König: Modeling a distributed intrusion detection system using collaborative building blocks. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
79		Michael Kirsche, Matthias Dreissig, Ralf Kopsch, Jan Gäbler, Ronny Klauck, Mario Pink, Fuwen Liu, Hartmut König: uBeeMe - Eine Plattform zur Unterstützung mobiler kollaborativer Anwendungen. Praxis der Informationsverarbeitung und Kommunikation 34(1): 11-22 (2011)
78		Sebastian Schmerl, Michael Vogel, Hartmut König: Using model checking to identify errors in intrusion detection signatures. STTT 13(1): 89-106 (2011)
	2010
77		Prabhu Shankar Kaliappan, Hartmut König, Sebastian Schmerl: Model-Driven Protocol Design Based on Component Oriented Modeling. ICFEM 2010: 613-629
76		Sebastian Schmerl, Michael Vogel, René Rietz, Hartmut König: Explorative Visualization of Log Data to Support Forensic Analysis and Signature Development. SADFE 2010: 109-118
75		René Rietz, Sebastian Schmerl, Michael Vogel, Hartmut König: Iterative präzisionsbewertende Signaturgenerierung. Sicherheit 2010: 141-152
74		Fuwen Liu, Hartmut König: A survey of video encryption algorithms. Computers & Security 29(1): 3-15 (2010)
	2009
73		Alek Opitz, Hartmut König: Predicting Free Computing Capacities on Individual Machines. GPC 2009: 153-164
72		Fuwen Liu, Hartmut König: Security Considerations on Pervasive Real-time Collaboration. MASS 2009: 722-727
71		Sebastian Schmerl, Michael Vogel, Hartmut König: Identifying Modeling Errors in Signatures by Model Checking. SPIN 2009: 205-222
70		Georg 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)
69		Michael Vogel, Sebastian Schmerl, Hartmut König: Analyseverlagerung in IDS-Overlaynetzen. Praxis der Informationsverarbeitung und Kommunikation 32(3): 188-200 (2009)
	2008
68		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
67		Sebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier, René Rietz: Systematic Signature Engineering by Re-use of Snort Signatures. ACSAC 2008: 23-32
66		Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan: Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. CSSE (2) 2008: 227-230
65		Georg 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
64		Georg 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
63		Richard 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
62		Fuwen Liu, Hartmut König: Security Policy Management for Peer Group Meetings. SECURWARE 2008: 68-73
61		Sebastian Schmerl, René Rietz, Hartmut König: Systematische Ableitung von Signaturen durch Wiederverwendung am Beispiel von Snort. Sicherheit 2008: 367-379
60		Alek Opitz, Hartmut König, Sebastian Szamlewska: What Does Grid Computing Cost? J. Grid Comput. 6(4): 385-397 (2008)
	2007
59		Sebastian Schmerl, Hartmut König: Towards Systematic Signature Testing. TestCom/FATES 2007: 276-291
58		Hartmut König, Daniel Rakel, Fuwen Liu, Michael Kirsche: P2P-Videokonferenzen für geschlossene Gruppen. Praxis der Informationsverarbeitung und Kommunikation 30(4): 219-226 (2007)
	2006
57		Sebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier: Simplifying Signature Engineering by Reuse. ETRICS 2006: 436-450
	2005
56		Fuwen Liu, Hartmut König: Secure and efficient key distribution for collaborative applications. CollaborateCom 2005
55		Fuwen Liu, Hartmut König: Efficient Key Distribution for Closed Meetings in the Internet. Communications and Multimedia Security 2005: 271-272
54		Fuwen Liu, Hartmut König: Puzzle - A Novel Video Encryption Algorithm. Communications and Multimedia Security 2005: 88-97
53		Alek Opitz, Hartmut König: Optimizing the Access to Read-Only Data in Grid Computing. DAIS 2005: 206-219
52		Michael Meier, Sebastian Schmerl, Hartmut König: Improving the Efficiency of Misuse Detection. DIMVA 2005: 188-205
51		Hartmut König: Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen. GI Jahrestagung (2) 2005: 638-642
50		Daniel Rakel, Hartmut König: Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen. KiVS Kurzbeiträge und Workshop 2005: 159-162
49		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
48		Fuwen Liu, Hartmut König: A novel encryption algorithm for high resolution video. NOSSDAV 2005: 69-74
47		Fuwen Liu, Hartmut König: A Secure P2P Video Conference System for Enterprise Environments. NPC 2005: 88-96
46		Fuwen Liu, Hartmut König: A Token Based Key Distribution Protocol for Closed Group Meetings. Net-Con 2005: 29-43
	2004
45		Eduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König: Verteilte Mehrteilnehmer-Videokonferenzen im Internet. DFN-Arbeitstagung über Kommunikationsnetze 2004: 167-180
44		Mario Zühlke, Hartmut König: A Signaling Protocol for Small Closed Dynamic Multi-peer Groups. HSNMC 2004: 973-984
43		Michael Meier, Ulrich Flegel, Hartmut König: Reactive Security - Intrusion Detection, Honeypots, and Vulnerability Assessment. Praxis der Informationsverarbeitung und Kommunikation 27(4): 186-187 (2004)
	2003
42		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
41		Thomas Holz, Michael Meier, Hartmut König: High-Efficient Intrusion Detection Infrastructure. DFN-Arbeitstagung über Kommunikationsnetze 2003: 217-232
40		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
39		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
38		Mario Zühlke, Hartmut König: Voting Based Bandwidth Management in Multiparty Video Conferences. IDMS/PROMS 2002: 202-215
37		Mario Zühlke, Hartmut König: GCP. SMARTNET 2002
36		Alek Opitz, Torsten Mielke, Hartmut König: Virtual Private Components. SMARTNET 2002
35		Thomas Holz, Michael Meier, Hartmut König: Bausteine für effiziente Intrusion-Detection-Systeme. Praxis der Informationsverarbeitung und Kommunikation 25(3): 144-157 (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
30		Hartmut 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, Albert K. T. 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
25		Peter 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
19		Ines Beier, Hartmut König: GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management. ICCCN 1998: 594-598
18		Ralf 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
16		Thomas 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
10		Reinhard 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

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

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page