Kommunikationsprotokolle - Prinzip und Entwicklung. - Hartmut König (1987)

A Protocol Development Environment Based on Estelle. - R. Födisch; Thomas Held; Hartmut König (INDC, 1992)

Formale Beschreibungstechniken für Kommunikationsprotokolle: Problemem ihrer praktischen Anwendung. - Hartmut König; Peter Neumann (Kommunikation in Verteilten Systemen, 1993)

On Evaluation of Testability of Protocol Structures. - Alexandre Petrenko; Rachida Dssouli; Hartmut König (Protocol Test Systems, 1993)

Test Derivation from LOTOS Using Structure Information. - Andreas Ulrich; Hartmut König (Protocol Test Systems, 1993)

Ableitung parallel ausführbarer Protokollimplementierungen. - Hartmut König; Wolfgang Effelsberg; Reinhard Gotzhein (Prax. Inf.verarb. Kommun., 1993)

Increasing the efficiency of computer-aided protocol implementations. - Thomas Held; Hartmut König (PSTV, 1994)

SELEXPERT - A Knowledge-based Tool for Test Case Selection. - Abdelaziz Guerrouat; Hartmut König; Andreas Ulrich (FORTE, 1995)

PARES - a portable parallel Estelle compiler. - Ralf Plato; Thomas Held; Hartmut König (PSTV, 1995)

The Intrusion Detection System AID - Architecture, and Experiences in Automated Audit Analysis. - Michael Sobirey; Birk Richter; Hartmut König (Communications and Multimedia Security, 1996)

Improving the efficiency of automated protocol implementation using Estelle. - Reinhard Gotzhein; Jan Bredereke; Wolfgang Effelsberg; Stephan Fischer 001; Thomas Held; Hartmut König (Comput. Commun., 1996)

Implementierung von Kommunikationsprotokollen. - Hartmut König; Heiko Krumm (Inform. Spektrum, 1996)

Auditbasierte Netzüberwachung. - Birk Richter; Michael Sobirey; Hartmut König (Prax. Inf.verarb. Kommun., 1996)

Virtual Private Resources. - Thomas Preuß; Jens-Hagen Syrbe; Hartmut König (EDOC, 1997)

On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. - Ralf Henke; Andreas Mitschele-Thiel; Hartmut König (FORTE, 1997)

Specification-based Testing of Concurrent Systems. - Andreas Ulrich; Hartmut König (FORTE, 1997)

Host-orientiertes Netz-Audit. - Birk Richter; Michael Sobirey; Hartmut König (Kommunikation in Verteilten Systemen, 1997)

Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. - Ralf Henke; Hartmut König; Andreas Mitschele-Thiel (SDL Forum, 1997)

GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management. - Ines Beier; Hartmut König (ICCCN, 1998)

Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. - Ralf Henke; Andreas Mitschele-Thiel; Hartmut König (PDSE, 1998)

Automatische Protokollimplementierung unter Verwendung der Activity Threads. - Ralf Henke; Hartmut König; Andreas Mitschele-Thiel (Prax. Inf.verarb. Kommun., 1998)

Automatische Generierung effizienter Protokollimplementierungen. - Peter Langendörfer; Hartmut König (FBT, 1999)

Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. - Peter Langendörfer; Hartmut König (FORTE, 1999)

OCTOPUS-a scalable global multiparty video conferencing system. - Samuel T. Chanson; Albert K. T. Hui; Eddy Siu; Ines Beier; Hartmut König; Mario Zühlke (ICCCN, 1999)

Automated Protocol Implementations Based on Activity Threads. - Peter Langendörfer; Hartmut König (ICNP, 1999)

Permanent Customer-Provider Relationships for Electric Service Markets. - Thomas Preuß; Jens-Hagen Syrbe; Hartmut König (Kommunikation in Verteilten Systemen, 1999)

Architectures for Testing Distributed Systems. - Andreas Ulrich; Hartmut König (IWTCS, 1999)

COCOS - A configurable SDL compiler for generating efficient protocol implementations. - Peter Langendörfer; Hartmut König (SDL Forum, 1999)

Distributed QoS Management for A Multiparty Video Conferencing System. - Ines Beier; Hartmut König (SMARTNET, 1999)

Effiziente Abbildung von SDL-Spezifikationen auf Activity-Threads mittels Transition Reordering. - Peter Langendörfer; Hartmut König (Prax. Inf.verarb. Kommun., 1999)

Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. - Peter Langendörfer; Thomas Krüger; Hartmut König (FBT, 2000)

Evaluation of Well-Known Protocol Implementation Techniques for Application in Mobile Networks. - Peter Langendörfer; Hartmut König (International Conference on Internet Computing, 2000)

Improving the efficiency of automated protocol implementations using a configurable FDT compiler. - Hartmut König; Peter Langendörfer; Heiko Krumm (Comput. Commun., 2000)

Das OCTOPUS-Videokonferenzsystem. - Samuel T. Chanson; Albert K. T. Hui; Hartmut König; Mario Zühlke (Prax. Inf.verarb. Kommun., 2000)

Automated Derivation of ILP Implementations from SDL Specifications. - Sven Twarok; Peter Langendörfer; Hartmut König (FORTE, 2001)

Evaluation of Well-Known Protocol Implementation Techniques for Application in Wireless Networks. - Peter Langendörfer; Rolf Kraemer; Hartmut König (J. Supercomput., 2001)

Voting Based Bandwidth Management in Multiparty Video Conferences. - Mario Zühlke; Hartmut König (IDMS/PROMS, 2002)

Virtual Private Components - An Approach for Leasing Components. - Alek Opitz; Torsten Mielke; Hartmut König (SMARTNET, 2002)

GCP - A Group Communication Protocol for Supporting Closed Groups in the Internet. - Mario Zühlke; Hartmut König (SMARTNET, 2002)

Bausteine für effiziente Intrusion-Detection-Systeme. - Thomas Holz 002; Michael Meier 001; Hartmut König (Prax. Inf.verarb. Kommun., 2002)

Protocol Engineering - Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen. - Hartmut König (Teubner, 2003)

High-Efficient Intrusion Detection Infrastructure. - Thomas Holz 002; Michael Meier 001; Hartmut König (DFN-Arbeitstagung über Kommunikationsnetze, 2003)

Consistency support for a decentralized management in close multiparty conferences using SIP. - Eduard Popovici; Ralf Mahlo; Mario Zühlke; Hartmut König (ICON, 2003)

BRAVIS - Ein Konzept für geschlossene Mehrteilnehmer-Videokonferenzen über IP. - Eduard Popovici; Mario Zühlke; Ralf Mahlo; Hartmut König (KiVS Kurzbeiträge, 2003)

Verteilte Mehrteilnehmer-Videokonferenzen im Internet. - Eduard Popovici; Mario Zühlke; Ralf Mahlo; Hartmut König (DFN-Arbeitstagung über Kommunikationsnetze, 2004)

A Signaling Protocol for Small Closed Dynamic Multi-peer Groups. - Mario Zühlke; Hartmut König (HSNMC, 2004)

Reactive Security - Intrusion Detection, Honeypots, and Vulnerability Assessment. - Michael Meier 001; Ulrich Flegel; Hartmut König (Prax. Inf.verarb. Kommun., 2004)

Puzzle - A Novel Video Encryption Algorithm. - Fuwen Liu; Hartmut König (Communications and Multimedia Security, 2005)

Efficient Key Distribution for Closed Meetings in the Internet. - Fuwen Liu; Hartmut König (Communications and Multimedia Security, 2005)

Secure and efficient key distribution for collaborative applications. - Fuwen Liu; Hartmut König (CollaborateCom, 2005)

Optimizing the Access to Read-Only Data in Grid Computing. - Alek Opitz; Hartmut König (DAIS, 2005)

Improving the Efficiency of Misuse Detection. - Michael Meier 001; Sebastian Schmerl; Hartmut König (DIMVA, 2005)

Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen. - Hartmut König (GI Jahrestagung (2), 2005)

A Token Based Key Distribution Protocol for Closed Group Meetings. - Fuwen Liu; Hartmut König (Net-Con, 2005)

Ein Ansatz für eine effiziente Schlüsselverteilung für kleine geschlossene Peer-Gruppen. - Fuwen Liu; Hartmut König (KiVS Kurzbeiträge und Workshop, 2005)

Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen. - Daniel Rakel; Hartmut König (KiVS Kurzbeiträge und Workshop, 2005)

A novel encryption algorithm for high resolution video. - Fuwen Liu; Hartmut König (NOSSDAV, 2005)

A Secure P2P Video Conference System for Enterprise Environments. - Fuwen Liu; Hartmut König (NPC, 2005)

Simplifying Signature Engineering by Reuse. - Sebastian Schmerl; Hartmut König; Ulrich Flegel; Michael Meier 001 (ETRICS, 2006)

Towards Systematic Signature Testing. - Sebastian Schmerl; Hartmut König (TestCom/FATES, 2007)

P2P-Videokonferenzen für geschlossene Gruppen. - Hartmut König; Daniel Rakel; Fuwen Liu; Michael Kirsche (Prax. Inf.verarb. Kommun., 2007)

Systematic Signature Engineering by Re-use of Snort Signatures. - Sebastian Schmerl; Hartmut König; Ulrich Flegel; Michael Meier 001; René Rietz (ACSAC, 2008)

Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. - Prabhu Shankar Kaliappan; Hartmut König; Vishnu Kumar Kaliappan (CSSE (2), 2008)

08102 Executive Summary – Perspectives Workshop: Network Attack Detection and Defense. - Georg Carle; Falko Dressler; Richard A. Kemmerer; Hartmut König; Christopher Kruegel (Network Attack Detection and Defense, 2008)

08102 Manifesto – Perspectives Workshop: Network Attack Detection and Defense. - Georg Carle; Falko Dressler; Richard A. Kemmerer; Hartmut König; Christopher Kruegel; Pavel Laskov (Network Attack Detection and Defense, 2008)

08102 Outcome Working Group – Situational Awareness. - 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 (Network Attack Detection and Defense, 2008)

Security Policy Management for Peer Group Meetings. - Fuwen Liu; Hartmut König (SECURWARE, 2008)

Systematische Ableitung von Signaturen durch Wiederverwendung am Beispiel von Snort. - Sebastian Schmerl; René Rietz; Hartmut König (Sicherheit, 2008)

What Does Grid Computing Cost? - Alek Opitz; Hartmut König; Sebastian Szamlewska (J. Grid Comput., 2008)

Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. - Prabhu Shankar Kaliappan; Hartmut König (J. Softw. Eng. Appl., 2008)

Predicting Free Computing Capacities on Individual Machines. - Alek Opitz; Hartmut König (GPC, 2009)

Security Considerations on Pervasive Real-time Collaboration. - Fuwen Liu; Hartmut König (MASS, 2009)

Identifying Modeling Errors in Signatures by Model Checking. - Sebastian Schmerl; Michael Vogel; Hartmut König (SPIN, 2009)

Network attack detection and defense - Manifesto of the Dagstuhl Perspective Workshop, March 2nd-6th, 2008. - Georg Carle; Falko Dressler; Richard A. Kemmerer; Hartmut König; Christopher Kruegel; Pavel Laskov (Comput. Sci. Res. Dev., 2009)

Analyseverlagerung in IDS-Overlaynetzen. - Michael Vogel; Sebastian Schmerl; Hartmut König (Prax. Inf.verarb. Kommun., 2009)

Model-Driven Protocol Design Based on Component Oriented Modeling. - Prabhu Shankar Kaliappan; Hartmut König; Sebastian Schmerl (ICFEM, 2010)

Explorative Visualization of Log Data to Support Forensic Analysis and Signature Development. - Sebastian Schmerl; Michael Vogel; René Rietz; Hartmut König (SADFE, 2010)

Iterative präzisionsbewertende Signaturgenerierung. - René Rietz; Sebastian Schmerl; Michael Vogel; Hartmut König (Sicherheit, 2010)

A survey of video encryption algorithms. - Fuwen Liu; Hartmut König (Comput. Secur., 2010)

Efficient Distributed Signature Analysis. - Michael Vogel; Sebastian Schmerl; Hartmut König (AIMS, 2011)

Cryptanalysis of a SIP Authentication Scheme. - Fuwen Liu; Hartmut König (Communications and Multimedia Security, 2011)

An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development. - Prabhu Shankar Kaliappan; Hartmut König (SEW, 2011)

A Simple Balanced Password-Authenticated Key Agreement Protocol. - Fuwen Liu; Hartmut König (TrustCom, 2011)

uBeeMe - Eine Plattform zur Unterstützung mobiler kollaborativer Anwendungen. - Michael Kirsche; Matthias Dreissig; Ralf Kopsch; Jan Gäbler; Ronny Klauck; Mario Pink; Fuwen Liu; Hartmut König (Prax. Inf.verarb. Kommun., 2011)

Modeling a distributed intrusion detection system using collaborative building blocks. - Linda Ariani Gunawan; Michael Vogel; Frank Alexander Kraemer; Sebastian Schmerl; Vidar Slåtten; Peter Herrmann; Hartmut König (ACM SIGSOFT Softw. Eng. Notes, 2011)

Using model checking to identify errors in intrusion detection signatures. - Sebastian Schmerl; Michael Vogel; Hartmut König (Int. J. Softw. Tools Technol. Transf., 2011)

Protocol Engineering. - Hartmut König (Springer, 2012)

Towards a seamless mobility solution for the real world: Handover decision. - Mario Pink; Thomas Pietsch; Hartmut König (ISWCS, 2012)

An Adaptive Handover Decision Algorithm for Heterogenous Wireless Networks. - Mario Pink; Thomas Pietsch; Hartmut König (MOBILWARE, 2012)

On the Formalization of UML Activities for Component-Based Protocol Design Specifications. - Prabhu Shankar Kaliappan; Hartmut König (SOFSEM, 2012)

Network Attack Detection and Defense Early Warning Systems - Challenges and Perspectives (Dagstuhl Seminar 12061). - Georg Carle; Hervé Debar; Falko Dressler; Hartmut König (Dagstuhl Reports, 2012)

Network Attack Detection and Defense. - Hartmut König (Prax. Inf.verarb. Kommun., 2012)

Towards Learning Normality for Anomaly Detection in Industrial Control Networks. - Franka Schuster; Andreas Paul 003; Hartmut König (AIMS, 2013)

uBeeMe - A platform to enable mobile collaborative applications. - Jan Gäbler; Ronny Klauck; Mario Pink; Hartmut König (CollaborateCom, 2013)

Towards the Protection of Industrial Control Systems - Conclusions of a Vulnerability Analysis of Profinet IO. - Andreas Paul 003; Franka Schuster; Hartmut König (DIMVA, 2013)

Enhancing group communication systems with mobility support. - Jan Gäbler; Hartmut König (ICON, 2013)

A Coordinated Group Decision for Vertical Handovers in Heterogeneous Wireless Networks. - Mario Pink; Michael Sprejz; Hartmut König (MOBILWARE, 2013)

Moversight: A group communication protocol for mobile collaborative applications. - Jan Gäbler; Hartmut König (WMNC, 2013)

Location-independent fall detection with smartphone. - Stefan Mehner; Ronny Klauck; Hartmut König (PETRA, 2013)

Moversight: An approach to support mobility in collaborative applications. - Jan Gäbler; Hartmut König (WONS, 2013)

uBeeMe - A Platform for Mobile Collaborative Applications. - Hartmut König; Jan Gäbler; Ronny Klauck; Mario Pink; Michael Sprejz (Prax. Inf.verarb. Kommun., 2013)

Parallelization of Network Intrusion Detection Systems under Attack Conditions. - René Rietz; Michael Vogel; Franka Schuster; Hartmut König (DIMVA, 2014)

Mobile bandwidth prediction in the context of emergency medical service. - Stefanie Judith Opitz; Nicole Todtenberg; Hartmut König (PETRA, 2014)

Network Attack Detection and Defense: Securing Industrial Control Systems for Critical Infrastructures (Dagstuhl Seminar 14292). - Marc Dacier; Frank Kargl; Hartmut König; Alfonso Valdes (Dagstuhl Reports, 2014)

Insights on the Security and Dependability of Industrial Control Systems. - Frank Kargl; Rens W. van der Heijden; Hartmut König; Alfonso Valdes; Marc Dacier (IEEE Secur. Priv., 2014)

Puzzle - an efficient, compression independent video encryption algorithm. - Fuwen Liu; Hartmut König (Multim. Tools Appl., 2014)

Distributed latency estimation using global knowledge for mobile collaborative applications. - Jan Gäbler; Hartmut König (IWCMC, 2015)

Potentials of Using One-Class SVM for Detecting Protocol-Specific Anomalies in Industrial Networks. - Franka Schuster; Andreas Paul 003; René Rietz; Hartmut König (SSCI, 2015)

Network Topology Exploration for Industrial Networks. - Andreas Paul 003; Franka Schuster; Hartmut König (INISCOM, 2016)

Distributed Cluster-Topology Maintenance for Mobile Collaborative Applications. - Jan Gäbler; Hartmut König (LCN, 2016)

RADIator - An approach for controllable wireless networks. - Radoslaw Cwalinski; Hartmut König (NetSoft, 2016)

Firewalls for the Web 2.0. - René Rietz; Hartmut König; Steffen Ullrich; Benjamin Stritter (QRS, 2016)

Network Attack Detection and Defense (Dagstuhl Seminar 16361). - Marc Dacier; Sven Dietrich; Frank Kargl; Hartmut König (Dagstuhl Reports, 2016)

Cleaning up Web 2.0's Security Mess-at Least Partly. - Benjamin Stritter; Felix C. Freiling; Hartmut König; René Rietz; Steffen Ullrich; Alexander von Gernler; Felix Erlacher; Falko Dressler (IEEE Secur. Priv., 2016)

Moversight: a group communication protocol for mobile scenarios. - Jan Gäbler; Hartmut König (Telecommun. Syst., 2016)

Security Challenges and Opportunities of Software-Defined Networking. - Marc Dacier; Hartmut König; Radoslaw Cwalinski; Frank Kargl; Sven Dietrich (IEEE Secur. Priv., 2017)

Identifying Malicious Traffic in Software-Defined Wireless Local Area Networks. - Radoslaw Cwalinski; Hartmut König (ICNC, 2018)

Attack and Fault Detection in Process Control Communication Using Unsupervised Machine Learning. - Franka Schuster; Fabian Malte Kopp; Andreas Paul 003; Hartmut König (INDIN, 2018)

SDN-based Attack Detection in Wireless Local Area Networks. - Radoslaw Cwalinski; Hartmut König (NetSoft, 2018)

An SDN-Based Approach to Ward Off LAN Attacks. - René Rietz; Radoslaw Cwalinski; Hartmut König; Andreas Brinner (J. Comput. Networks Commun., 2018)

No Need to Marry to Change Your Name! Attacking Profinet IO Automation Networks Using DCP. - Stefan Mehner; Hartmut König (DIMVA, 2019)

An SDN-based Approach to Protect Communication Between Virtual Machines. - Radoslaw Cwalinski; René Rietz; Michael Vogel; Hartmut König (LCN, 2019)

SEmulate: Seamless Network Protocol Simulation and Radio Channel Emulation for Wireless Sensor Networks. - Sebastian Boehm; Hartmut König (WONS, 2019)

Split-Protocol-Stack Wireless Network Emulation: Enabling PHY Modeling Diversity with Software-Radio-in-the-Loop. - Sebastian Boehm; Hartmut König (Q2SWinet, 2021)

Cutting Edge: Privacy Analysis of the ETSI MEC APIs and the Potential Vulnerabilities. - Daniel Fraunholz; Richard Schörghofer-Vrinssen; Hartmut König; Daniel Reti (CloudNet, 2022)

Data Volume Reduction for Deep Packet Inspection by Multi-layer Application Determination. - Michael Vogel; Franka Schuster; Fabian Malte Kopp; Hartmut König (CSR, 2022)

Show Me Your Attach Request and I'll Tell You Who You Are: Practical Fingerprinting Attacks in 4G and 5G Mobile Networks. - Daniel Fraunholz; Richard Schörghofer-Vrinssen; Hartmut König; Richard M. Zahoransky (DSC, 2022)

Automating Device Fingerprinting Attacks in 4G and 5G NSA Mobile Networks. - Daniel Fraunholz; Dominik Brunke; Lorenz Dumanski; Hartmut König (FPS, 2022)

IMSI Probing: Possibilities and Limitations. - Daniel Fraunholz; Dominik Brunke; Simon Beidenhauser; Sebastian Berger 002; Hartmut König; Daniel Reti (NordSec, 2022)

Whitelisting for Characterizing and Monitoring Process Control Communication. - Andreas Paul 003; Franka Schuster; Hartmut König (NSS, 2023)

Radio-in-the-Loop Simulation Modeling for Energy-Efficient and Cognitive IoT in Smart Cities: A Cross-Layer Optimization Case Study. - Sebastian Boehm; Hartmut König (WONS, 2023)

Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431). - Sven Dietrich; Frank Kargl; Hartmut König; Pavel Laskov; Artur Hermann (Dagstuhl Reports, 2023)

Real-Time-Shift: Pseudo-Real-Time Event Scheduling for the Split-Protocol-Stack Radio-in-the-Loop Emulation. - Sebastian Boehm; Hartmut König (Comput. Commun., 2023)

Questioning the Myth: Investigating ICS Traffic Homogeneity from an Anomaly Detection Perspective. - Franka Schuster; Hartmut König (CRITIS, 2024)

No Need for Details: Effective Anomaly Detection for Process Control Traffic in Absence of Protocol and Attack Knowledge. - Franka Schuster; Hartmut König (RAID, 2024)

Radio-in-the-Loop simulation and emulation modeling for energy-efficient and cognitive Internet of Things in smart cities: A cross-layer optimization case study. - Sebastian Boehm; Hartmut König (Comput. Commun., 2024)

open5Gcube: A Modular and Usable Framework for Mobile Network Laboratories. - Thorsten Horstmann; Dominik Brunke; Tobias Kremeyer; Matthias Wilmes; Gunnar Schneider; Julian Sturm; Hartmut König; Michael Rademacher (CoRR, 2025)