Hartmut König

147 papers A 3B 18C 18Misc 2Journal 35Unranked 64

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	MP-LFM: Breaking Subscriber Privacy (even more) by Exploiting Linkability in 5G AKA. NordSec Julian Sturm, Daniel Bücheler, Oliver Zeidler, Daniel Fraunholz, Wolfgang Kellerer, Hartmut König
2025	—	`conf`	Performance Evaluation of 5G Roaming Security Based on PRINS. CNS Oliver Zeidler, Daniel Fraunholz, Julian Sturm, Hartmut König, Wolfgang Kellerer
2025	J	`jnl`	open5Gcube: A Modular and Usable Framework for Mobile Network Laboratories. CoRR Thorsten Horstmann, Dominik Brunke, Tobias Kremeyer, Matthias Wilmes, Gunnar Schneider, Julian Sturm, Hartmut König, Michael Rademacher
2024	A	`conf`	No Need for Details: Effective Anomaly Detection for Process Control Traffic in Absence of Protocol and Attack Knowledge. RAID Franka Schuster, Hartmut König
2024	C	`conf`	Questioning the Myth: Investigating ICS Traffic Homogeneity from an Anomaly Detection Perspective. CRITIS Franka Schuster, Hartmut König
2024	J	`jnl`	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. Comput. Commun. Sebastian Boehm, Hartmut König
2023	J	`jnl`	Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431). Dagstuhl Reports Sven Dietrich, Frank Kargl, Hartmut König, Pavel Laskov, Artur Hermann
2023	—	`conf`	Radio-in-the-Loop Simulation Modeling for Energy-Efficient and Cognitive IoT in Smart Cities: A Cross-Layer Optimization Case Study. WONS Sebastian Boehm, Hartmut König
2023	J	`jnl`	Real-Time-Shift: Pseudo-Real-Time Event Scheduling for the Split-Protocol-Stack Radio-in-the-Loop Emulation. Comput. Commun. Sebastian Boehm, Hartmut König
2023	B	`conf`	Whitelisting for Characterizing and Monitoring Process Control Communication. NSS Andreas Paul, Franka Schuster, Hartmut König
2022	—	`conf`	Automating Device Fingerprinting Attacks in 4G and 5G NSA Mobile Networks. FPS Daniel Fraunholz, Dominik Brunke, Lorenz Dumanski, Hartmut König
2022	—	`conf`	Cutting Edge: Privacy Analysis of the ETSI MEC APIs and the Potential Vulnerabilities. CloudNet Daniel Fraunholz, Richard Schörghofer-Vrinssen, Hartmut König, Daniel Reti
2022	Misc	`conf`	Data Volume Reduction for Deep Packet Inspection by Multi-layer Application Determination. CSR Michael Vogel, Franka Schuster, Fabian Malte Kopp, Hartmut König
2022	—	`conf`	IMSI Probing: Possibilities and Limitations. NordSec Daniel Fraunholz, Dominik Brunke, Simon Beidenhauser, Sebastian Berger, Hartmut König, Daniel Reti
2022	A	`conf`	Real-Time-Shift: Pseudo-Real-Time Event Scheduling for the Split-Protocol-Stack Radio-in-the-Loop Emulation. MSWiM Sebastian Boehm, Hartmut König
2022	—	`conf`	Show Me Your Attach Request and I'll Tell You Who You Are: Practical Fingerprinting Attacks in 4G and 5G Mobile Networks. DSC Daniel Fraunholz, Richard Schörghofer-Vrinssen, Hartmut König, Richard M. Zahoransky
2021	—	`conf`	Split-Protocol-Stack Wireless Network Emulation: Enabling PHY Modeling Diversity with Software-Radio-in-the-Loop. Q2SWinet Sebastian Boehm, Hartmut König
2019	B	`conf`	An SDN-based Approach to Protect Communication Between Virtual Machines. LCN Radoslaw Cwalinski, René Rietz, Michael Vogel, Hartmut König
2019	B	`conf`	No Need to Marry to Change Your Name! Attacking Profinet IO Automation Networks Using DCP. DIMVA Stefan Mehner, Hartmut König
2019	—	`conf`	SEmulate: Seamless Network Protocol Simulation and Radio Channel Emulation for Wireless Sensor Networks. WONS Sebastian Boehm, Hartmut König
2018	J	`jnl`	An SDN-Based Approach to Ward Off LAN Attacks. J. Comput. Networks Commun. René Rietz, Radoslaw Cwalinski, Hartmut König, Andreas Brinner
2018	C	`conf`	Attack and Fault Detection in Process Control Communication Using Unsupervised Machine Learning. INDIN Franka Schuster, Fabian Malte Kopp, Andreas Paul, Hartmut König
2018	Misc	`conf`	Identifying Malicious Traffic in Software-Defined Wireless Local Area Networks. ICNC Radoslaw Cwalinski, Hartmut König
2018	B	`conf`	SDN-based Attack Detection in Wireless Local Area Networks. NetSoft Radoslaw Cwalinski, Hartmut König
2017	J	`jnl`	Security Challenges and Opportunities of Software-Defined Networking. IEEE Secur. Priv. Marc Dacier, Hartmut König, Radoslaw Cwalinski, Frank Kargl, Sven Dietrich
2016	J	`jnl`	Cleaning up Web 2.0's Security Mess-at Least Partly. IEEE Secur. Priv. Benjamin Stritter, Felix C. Freiling, Hartmut König, René Rietz, Steffen Ullrich, Alexander von Gernler, Felix Erlacher, Falko Dressler
2016	B	`conf`	Distributed Cluster-Topology Maintenance for Mobile Collaborative Applications. LCN Jan Gäbler, Hartmut König
2016	C	`conf`	Firewalls for the Web 2.0. QRS René Rietz, Hartmut König, Steffen Ullrich, Benjamin Stritter
2016	J	`jnl`	Moversight: a group communication protocol for mobile scenarios. Telecommun. Syst. Jan Gäbler, Hartmut König
2016	J	`jnl`	Network Attack Detection and Defense (Dagstuhl Seminar 16361). Dagstuhl Reports Marc Dacier, Sven Dietrich, Frank Kargl, Hartmut König
2016	—	`conf`	Network Topology Exploration for Industrial Networks. INISCOM Andreas Paul, Franka Schuster, Hartmut König
2016	B	`conf`	RADIator - An approach for controllable wireless networks. NetSoft Radoslaw Cwalinski, Hartmut König
2015	B	`conf`	Distributed latency estimation using global knowledge for mobile collaborative applications. IWCMC Jan Gäbler, Hartmut König
2015	—	`conf`	Potentials of Using One-Class SVM for Detecting Protocol-Specific Anomalies in Industrial Networks. SSCI Franka Schuster, Andreas Paul, René Rietz, Hartmut König
2014	J	`jnl`	Insights on the Security and Dependability of Industrial Control Systems. IEEE Secur. Priv. Frank Kargl, Rens W. van der Heijden, Hartmut König, Alfonso Valdes, Marc Dacier
2014	—	`conf`	Mobile bandwidth prediction in the context of emergency medical service. PETRA Stefanie Judith Opitz, Nicole Todtenberg, Hartmut König
2014	J	`jnl`	Network Attack Detection and Defense: Securing Industrial Control Systems for Critical Infrastructures (Dagstuhl Seminar 14292). Dagstuhl Reports Marc Dacier, Frank Kargl, Hartmut König, Alfonso Valdes
2014	B	`conf`	Parallelization of Network Intrusion Detection Systems under Attack Conditions. DIMVA René Rietz, Michael Vogel, Franka Schuster, Hartmut König
2014	J	`jnl`	Puzzle - an efficient, compression independent video encryption algorithm. Multim. Tools Appl. Fuwen Liu, Hartmut König
2013	—	`conf`	A Coordinated Group Decision for Vertical Handovers in Heterogeneous Wireless Networks. MOBILWARE Mario Pink, Michael Sprejz, Hartmut König
2013	—	`conf`	Enhancing group communication systems with mobility support. ICON Jan Gäbler, Hartmut König
2013	—	`conf`	Location-independent fall detection with smartphone. PETRA Stefan Mehner, Ronny Klauck, Hartmut König
2013	—	`conf`	Moversight: A group communication protocol for mobile collaborative applications. WMNC Jan Gäbler, Hartmut König
2013	—	`conf`	Moversight: An approach to support mobility in collaborative applications. WONS Jan Gäbler, Hartmut König
2013	—	`conf`	Towards Learning Normality for Anomaly Detection in Industrial Control Networks. AIMS Franka Schuster, Andreas Paul, Hartmut König
2013	B	`conf`	Towards the Protection of Industrial Control Systems - Conclusions of a Vulnerability Analysis of Profinet IO. DIMVA Andreas Paul, Franka Schuster, Hartmut König
2013	J	`jnl`	uBeeMe - A Platform for Mobile Collaborative Applications. Prax. Inf.verarb. Kommun. Hartmut König, Jan Gäbler, Ronny Klauck, Mario Pink, Michael Sprejz
2013	C	`conf`	uBeeMe - A platform to enable mobile collaborative applications. CollaborateCom Jan Gäbler, Ronny Klauck, Mario Pink, Hartmut König
2012	—	`conf`	An Adaptive Handover Decision Algorithm for Heterogenous Wireless Networks. MOBILWARE Mario Pink, Thomas Pietsch, Hartmut König
2012	J	`jnl`	Network Attack Detection and Defense Early Warning Systems - Challenges and Perspectives (Dagstuhl Seminar 12061). Dagstuhl Reports Georg Carle, Hervé Debar, Falko Dressler, Hartmut König
2012	J	`jnl`	Network Attack Detection and Defense. Prax. Inf.verarb. Kommun. Hartmut König
2012	B	`conf`	On the Formalization of UML Activities for Component-Based Protocol Design Specifications. SOFSEM Prabhu Shankar Kaliappan, Hartmut König
2012	—	`book`	Protocol Engineering. Hartmut König
2012	—	`conf`	Towards a seamless mobility solution for the real world: Handover decision. ISWCS Mario Pink, Thomas Pietsch, Hartmut König
2011	B	`conf`	A Simple Balanced Password-Authenticated Key Agreement Protocol. TrustCom Fuwen Liu, Hartmut König
2011	C	`conf`	An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development. SEW Prabhu Shankar Kaliappan, Hartmut König
2011	—	`conf`	Cryptanalysis of a SIP Authentication Scheme. Communications and Multimedia Security Fuwen Liu, Hartmut König
2011	—	`conf`	Efficient Distributed Signature Analysis. AIMS Michael Vogel, Sebastian Schmerl, Hartmut König
2011	J	`jnl`	Modeling a distributed intrusion detection system using collaborative building blocks. ACM SIGSOFT Softw. Eng. Notes Linda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König
2011	J	`jnl`	Using model checking to identify errors in intrusion detection signatures. Int. J. Softw. Tools Technol. Transf. Sebastian Schmerl, Michael Vogel, Hartmut König
2011	J	`jnl`	uBeeMe - Eine Plattform zur Unterstützung mobiler kollaborativer Anwendungen. Prax. Inf.verarb. Kommun. Michael Kirsche, Matthias Dreissig, Ralf Kopsch, Jan Gäbler, Ronny Klauck, Mario Pink, Fuwen Liu, Hartmut König
2010	J	`jnl`	A survey of video encryption algorithms. Comput. Secur. Fuwen Liu, Hartmut König
2010	—	`conf`	Explorative Visualization of Log Data to Support Forensic Analysis and Signature Development. SADFE Sebastian Schmerl, Michael Vogel, René Rietz, Hartmut König
2010	—	`conf`	Iterative präzisionsbewertende Signaturgenerierung. Sicherheit René Rietz, Sebastian Schmerl, Michael Vogel, Hartmut König
2010	C	`conf`	Model-Driven Protocol Design Based on Component Oriented Modeling. ICFEM Prabhu Shankar Kaliappan, Hartmut König, Sebastian Schmerl
2009	J	`jnl`	Analyseverlagerung in IDS-Overlaynetzen. Prax. Inf.verarb. Kommun. Michael Vogel, Sebastian Schmerl, Hartmut König
2009	—	`conf`	Identifying Modeling Errors in Signatures by Model Checking. SPIN Sebastian Schmerl, Michael Vogel, Hartmut König
2009	J	`jnl`	Network attack detection and defense - Manifesto of the Dagstuhl Perspective Workshop, March 2nd-6th, 2008. Comput. Sci. Res. Dev. Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel, Pavel Laskov
2009	C	`conf`	Predicting Free Computing Capacities on Individual Machines. GPC Alek Opitz, Hartmut König
2009	B	`conf`	Security Considerations on Pervasive Real-time Collaboration. MASS Fuwen Liu, Hartmut König
2008	—	`conf`	08102 Executive Summary -- Perspectives Workshop: Network Attack Detection and Defense. Network Attack Detection and Defense Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel
2008	—	`conf`	08102 Manifesto -- Perspectives Workshop: Network Attack Detection and Defense. Network Attack Detection and Defense Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel, Pavel Laskov
2008	—	`conf`	08102 Outcome Working Group -- Situational Awareness. Network Attack Detection and Defense 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
2008	—	`conf`	Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. CSSE (2) Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan
2008	J	`jnl`	Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. J. Softw. Eng. Appl. Prabhu Shankar Kaliappan, Hartmut König
2008	—	`ed.`	Perspectives Workshop: Network Attack Detection and Defense, 2.3. - 6.3.2008 Network Attack Detection and Defense Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel
2008	—	`conf`	Security Policy Management for Peer Group Meetings. SECURWARE Fuwen Liu, Hartmut König
2008	A	`conf`	Systematic Signature Engineering by Re-use of Snort Signatures. ACSAC Sebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier, René Rietz
2008	—	`conf`	Systematische Ableitung von Signaturen durch Wiederverwendung am Beispiel von Snort. Sicherheit Sebastian Schmerl, René Rietz, Hartmut König
2008	J	`jnl`	What Does Grid Computing Cost? J. Grid Comput. Alek Opitz, Hartmut König, Sebastian Szamlewska
2007	J	`jnl`	P2P-Videokonferenzen für geschlossene Gruppen. Prax. Inf.verarb. Kommun. Hartmut König, Daniel Rakel, Fuwen Liu, Michael Kirsche
2007	—	`conf`	Towards Systematic Signature Testing. TestCom/FATES Sebastian Schmerl, Hartmut König
2006	—	`conf`	Simplifying Signature Engineering by Reuse. ETRICS Sebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier
2005	C	`conf`	A Secure P2P Video Conference System for Enterprise Environments. NPC Fuwen Liu, Hartmut König
2005	—	`conf`	A Token Based Key Distribution Protocol for Closed Group Meetings. Net-Con Fuwen Liu, Hartmut König
2005	B	`conf`	A novel encryption algorithm for high resolution video. NOSSDAV Fuwen Liu, Hartmut König
2005	—	`conf`	Efficient Key Distribution for Closed Meetings in the Internet. Communications and Multimedia Security Fuwen Liu, Hartmut König
2005	—	`conf`	Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen. KiVS Kurzbeiträge und Workshop Daniel Rakel, Hartmut König
2005	—	`conf`	Ein Ansatz für eine effiziente Schlüsselverteilung für kleine geschlossene Peer-Gruppen. KiVS Kurzbeiträge und Workshop Fuwen Liu, Hartmut König
2005	B	`conf`	Improving the Efficiency of Misuse Detection. DIMVA Michael Meier, Sebastian Schmerl, Hartmut König
2005	C	`conf`	Optimizing the Access to Read-Only Data in Grid Computing. DAIS Alek Opitz, Hartmut König
2005	—	`conf`	Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen. GI Jahrestagung (2) Hartmut König
2005	—	`conf`	Puzzle - A Novel Video Encryption Algorithm. Communications and Multimedia Security Fuwen Liu, Hartmut König
2005	C	`conf`	Secure and efficient key distribution for collaborative applications. CollaborateCom Fuwen Liu, Hartmut König
2004	—	`conf`	A Signaling Protocol for Small Closed Dynamic Multi-peer Groups. HSNMC Mario Zühlke, Hartmut König
2004	J	`jnl`	Reactive Security - Intrusion Detection, Honeypots, and Vulnerability Assessment. Prax. Inf.verarb. Kommun. Michael Meier, Ulrich Flegel, Hartmut König
2004	—	`conf`	Verteilte Mehrteilnehmer-Videokonferenzen im Internet. DFN-Arbeitstagung über Kommunikationsnetze Eduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König
2003	—	`conf`	BRAVIS - Ein Konzept für geschlossene Mehrteilnehmer-Videokonferenzen über IP. KiVS Kurzbeiträge Eduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König
2003	—	`conf`	Consistency support for a decentralized management in close multiparty conferences using SIP. ICON Eduard Popovici, Ralf Mahlo, Mario Zühlke, Hartmut König
2003	C	`ed.`	Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings FORTE Hartmut König, Monika Heiner, Adam Wolisz
2003	—	`conf`	High-Efficient Intrusion Detection Infrastructure. DFN-Arbeitstagung über Kommunikationsnetze Thomas Holz, Michael Meier, Hartmut König
2003	—	`book`	Protocol Engineering - Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen. Hartmut König
2002	J	`jnl`	Bausteine für effiziente Intrusion-Detection-Systeme. Prax. Inf.verarb. Kommun. Thomas Holz, Michael Meier, Hartmut König
2002	—	`conf`	GCP - A Group Communication Protocol for Supporting Closed Groups in the Internet. SMARTNET Mario Zühlke, Hartmut König
2002	—	`ed.`	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 TestCom Ina Schieferdecker, Hartmut König, Adam Wolisz
2002	—	`conf`	Virtual Private Components - An Approach for Leasing Components. SMARTNET Alek Opitz, Torsten Mielke, Hartmut König
2002	—	`conf`	Voting Based Bandwidth Management in Multiparty Video Conferences. IDMS/PROMS Mario Zühlke, Hartmut König
2001	C	`conf`	Automated Derivation of ILP Implementations from SDL Specifications. FORTE Sven Twarok, Peter Langendörfer, Hartmut König
2001	J	`jnl`	Evaluation of Well-Known Protocol Implementation Techniques for Application in Wireless Networks. J. Supercomput. Peter Langendörfer, Rolf Kraemer, Hartmut König
2000	J	`jnl`	Das OCTOPUS-Videokonferenzsystem. Prax. Inf.verarb. Kommun. Samuel T. Chanson, Albert K. T. Hui, Hartmut König, Mario Zühlke
2000	—	`conf`	Evaluation of Well-Known Protocol Implementation Techniques for Application in Mobile Networks. International Conference on Internet Computing Peter Langendörfer, Hartmut König
2000	J	`jnl`	Improving the efficiency of automated protocol implementations using a configurable FDT compiler. Comput. Commun. Hartmut König, Peter Langendörfer, Heiko Krumm
2000	—	`conf`	Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. FBT Peter Langendörfer, Thomas Krüger, Hartmut König
1999	—	`conf`	Architectures for Testing Distributed Systems. IWTCS Andreas Ulrich, Hartmut König
1999	B	`conf`	Automated Protocol Implementations Based on Activity Threads. ICNP Peter Langendörfer, Hartmut König
1999	—	`conf`	Automatische Generierung effizienter Protokollimplementierungen. FBT Peter Langendörfer, Hartmut König
1999	—	`conf`	COCOS - A configurable SDL compiler for generating efficient protocol implementations. SDL Forum Peter Langendörfer, Hartmut König
1999	C	`conf`	Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. FORTE Peter Langendörfer, Hartmut König
1999	C	`ed.`	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 DAIS Lea Kutvonen, Hartmut König, Martti Tienari
1999	—	`conf`	Distributed QoS Management for A Multiparty Video Conferencing System. SMARTNET Ines Beier, Hartmut König
1999	J	`jnl`	Effiziente Abbildung von SDL-Spezifikationen auf Activity-Threads mittels Transition Reordering. Prax. Inf.verarb. Kommun. Peter Langendörfer, Hartmut König
1999	B	`conf`	OCTOPUS-a scalable global multiparty video conferencing system. ICCCN Samuel T. Chanson, Albert K. T. Hui, Eddy Siu, Ines Beier, Hartmut König, Mario Zühlke
1999	—	`conf`	Permanent Customer-Provider Relationships for Electric Service Markets. Kommunikation in Verteilten Systemen Thomas Preuß, Jens-Hagen Syrbe, Hartmut König
1998	J	`jnl`	Automatische Protokollimplementierung unter Verwendung der Activity Threads. Prax. Inf.verarb. Kommun. Ralf Henke, Hartmut König, Andreas Mitschele-Thiel
1998	—	`conf`	Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. PDSE Ralf Henke, Andreas Mitschele-Thiel, Hartmut König
1998	—	`ed.`	Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998 FBT Hartmut König, Peter Langendörfer
1998	B	`conf`	GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management. ICCCN Ines Beier, Hartmut König
1997	—	`conf`	Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. SDL Forum Ralf Henke, Hartmut König, Andreas Mitschele-Thiel
1997	C	`ed.`	Distributed Applications and Interoperable Systems, Proceedings IFIP TC 6.1 Working Conference DAIS'97, Cottbus, Germany, September 30 - October 2, 1997 DAIS Hartmut König, Kurt Geihs, Thomas Preuß
1997	—	`conf`	Host-orientiertes Netz-Audit. Kommunikation in Verteilten Systemen Birk Richter, Michael Sobirey, Hartmut König
1997	C	`conf`	On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. FORTE Ralf Henke, Andreas Mitschele-Thiel, Hartmut König
1997	C	`conf`	Specification-based Testing of Concurrent Systems. FORTE Andreas Ulrich, Hartmut König
1997	B	`conf`	Virtual Private Resources. EDOC Thomas Preuß, Jens-Hagen Syrbe, Hartmut König
1996	J	`jnl`	Auditbasierte Netzüberwachung. Prax. Inf.verarb. Kommun. Birk Richter, Michael Sobirey, Hartmut König
1996	J	`jnl`	Implementierung von Kommunikationsprotokollen. Inform. Spektrum Hartmut König, Heiko Krumm
1996	J	`jnl`	Improving the efficiency of automated protocol implementation using Estelle. Comput. Commun. Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König
1996	—	`conf`	The Intrusion Detection System AID - Architecture, and Experiences in Automated Audit Analysis. Communications and Multimedia Security Michael Sobirey, Birk Richter, Hartmut König
1995	—	`conf`	PARES - a portable parallel Estelle compiler. PSTV Ralf Plato, Thomas Held, Hartmut König
1995	C	`conf`	SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich
1994	—	`conf`	Increasing the efficiency of computer-aided protocol implementations. PSTV Thomas Held, Hartmut König
1993	J	`jnl`	Ableitung parallel ausführbarer Protokollimplementierungen. Prax. Inf.verarb. Kommun. Hartmut König, Wolfgang Effelsberg, Reinhard Gotzhein
1993	—	`conf`	Formale Beschreibungstechniken für Kommunikationsprotokolle: Problemem ihrer praktischen Anwendung. Kommunikation in Verteilten Systemen Hartmut König, Peter Neumann
1993	—	`ed.`	Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 FBT Hartmut König
1993	—	`conf`	On Evaluation of Testability of Protocol Structures. Protocol Test Systems Alexandre Petrenko, Rachida Dssouli, Hartmut König
1993	—	`conf`	Test Derivation from LOTOS Using Structure Information. Protocol Test Systems Andreas Ulrich, Hartmut König
1992	—	`conf`	A Protocol Development Environment Based on Estelle. INDC R. Födisch, Thomas Held, Hartmut König
1987	—	`—`	Kommunikationsprotokolle - Prinzip und Entwicklung. Hartmut König