| 2009 |
|---|
| 64 | EE | Alek 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 |
| 62 | EE | 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 |
| 61 | EE | 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 |
| 60 | EE | 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 |
| 59 | EE | Fuwen 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 |
| 57 | EE | Alek Opitz,
Hartmut König,
Sebastian Szamlewska:
What Does Grid Computing Cost?
J. Grid Comput. 6(4): 385-397 (2008) |
| 2007 |
|---|
| 56 | EE | Sebastian Schmerl,
Hartmut König:
Towards Systematic Signature Testing.
TestCom/FATES 2007: 276-291 |
| 2006 |
|---|
| 55 | EE | Sebastian Schmerl,
Hartmut König,
Ulrich Flegel,
Michael Meier:
Simplifying Signature Engineering by Reuse.
ETRICS 2006: 436-450 |
| 2005 |
|---|
| 54 | EE | Fuwen Liu,
Hartmut König:
Secure and efficient key distribution for collaborative applications.
CollaborateCom 2005 |
| 53 | EE | Fuwen Liu,
Hartmut König:
Efficient Key Distribution for Closed Meetings in the Internet.
Communications and Multimedia Security 2005: 271-272 |
| 52 | EE | Fuwen Liu,
Hartmut König:
Puzzle - A Novel Video Encryption Algorithm.
Communications and Multimedia Security 2005: 88-97 |
| 51 | EE | Alek Opitz,
Hartmut König:
Optimizing the Access to Read-Only Data in Grid Computing.
DAIS 2005: 206-219 |
| 50 | EE | Michael 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 |
| 46 | EE | Fuwen Liu,
Hartmut König:
A novel encryption algorithm for high resolution video.
NOSSDAV 2005: 69-74 |
| 45 | EE | Fuwen Liu,
Hartmut König:
A Secure P2P Video Conference System for Enterprise Environments.
NPC 2005: 88-96 |
| 44 | EE | Fuwen 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 |
| 42 | EE | Mario 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 |
| 37 | EE | Mario 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 |
| 30 | EE | 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,
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 |
| 25 | EE | 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 | EE | Ines Beier,
Hartmut König:
GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management.
ICCCN 1998: 594-598 |
| 18 | EE | 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 | EE | 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 | EE | 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 |
