Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hartmut König
2010 – today
- 2013
[j18]Hartmut König, Jan Gäbler, Ronny Klauck, Mario Pink, Michael Sprejz: uBeeMe - A Platform for Mobile Collaborative Applications. Praxis der Informationsverarbeitung und Kommunikation 36(1): 43 (2013)- [c68]Franka Schuster, Andreas Paul, Hartmut König: Towards Learning Normality for Anomaly Detection in Industrial Control Networks. AIMS 2013: 61-72
- [c67]Andreas Paul, Franka Schuster, Hartmut König: Towards the Protection of Industrial Control Systems - Conclusions of a Vulnerability Analysis of Profinet IO. DIMVA 2013: 160-176
- [c66]Stefan Mehner, Ronny Klauck, Hartmut König: Location-independent fall detection with smartphone. PETRA 2013: 11
- [c65]Jan Gäbler, Hartmut König: Moversight: An approach to support mobility in collaborative applications. WONS 2013: 110-112
- 2012
- [b1]Hartmut König: Protocol Engineering. Springer 2012, ISBN 978-3-642-29144-9, pp. I-XV, 1-525
- [j17]Hartmut König: Network Attack Detection and Defense. Praxis der Informationsverarbeitung und Kommunikation 35(1): 1 (2012)
- [c64]Mario Pink, Thomas Pietsch, Hartmut König: Towards a seamless mobility solution for the real world: Handover decision. ISWCS 2012: 651-655
- [c63]Mario Pink, Thomas Pietsch, Hartmut König: An Adaptive Handover Decision Algorithm for Heterogenous Wireless Networks. MOBILWARE 2012: 136-149
- [c62]Prabhu Shankar Kaliappan, Hartmut König: On the Formalization of UML Activities for Component-Based Protocol Design Specifications. SOFSEM 2012: 479-491
- [i1]Georg Carle, Hervé Debar, Falko Dressler, Hartmut König: Network Attack Detection and Defense Early Warning Systems - Challenges and Perspectives (Dagstuhl Seminar 12061). Dagstuhl Reports 2(2): 1-20 (2012)
- 2011
- [j16]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)
- [j15]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)
- [j14]Sebastian Schmerl, Michael Vogel, Hartmut König: Using model checking to identify errors in intrusion detection signatures. STTT 13(1): 89-106 (2011)
- [c61]Michael Vogel, Sebastian Schmerl, Hartmut König: Efficient Distributed Signature Analysis. AIMS 2011: 13-25
- [c60]Fuwen Liu, Hartmut König: Cryptanalysis of a SIP Authentication Scheme. Communications and Multimedia Security 2011: 134-143
- [c59]Prabhu Shankar Kaliappan, Hartmut König: An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development. SEW 2011: 27-35
- 2010
- [j13]Fuwen Liu, Hartmut König: A survey of video encryption algorithms. Computers & Security 29(1): 3-15 (2010)
- [c58]Prabhu Shankar Kaliappan, Hartmut König, Sebastian Schmerl: Model-Driven Protocol Design Based on Component Oriented Modeling. ICFEM 2010: 613-629
- [c57]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
- [c56]René Rietz, Sebastian Schmerl, Michael Vogel, Hartmut König: Iterative präzisionsbewertende Signaturgenerierung. Sicherheit 2010: 141-152
2000 – 2009
- 2009
- [j12]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)
- [j11]Michael Vogel, Sebastian Schmerl, Hartmut König: Analyseverlagerung in IDS-Overlaynetzen. Praxis der Informationsverarbeitung und Kommunikation 32(3): 188-200 (2009)
- [c55]Alek Opitz, Hartmut König: Predicting Free Computing Capacities on Individual Machines. GPC 2009: 153-164
- [c54]
- [c53]Sebastian Schmerl, Michael Vogel, Hartmut König: Identifying Modeling Errors in Signatures by Model Checking. SPIN 2009: 205-222
- 2008
- [j10]Alek Opitz, Hartmut König, Sebastian Szamlewska: What Does Grid Computing Cost? J. Grid Comput. 6(4): 385-397 (2008)
- [j9]Prabhu Shankar Kaliappan, Hartmut König: Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. JSEA 1(1): 13-19 (2008)
- [c52]Sebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier, René Rietz: Systematic Signature Engineering by Re-use of Snort Signatures. ACSAC 2008: 23-32
- [c51]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
- [c50]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
- [c49]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
- [c48]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
- [c47]
- [c46]Sebastian Schmerl, René Rietz, Hartmut König: Systematische Ableitung von Signaturen durch Wiederverwendung am Beispiel von Snort. Sicherheit 2008: 367-379
- [e7]Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel (Eds.): Perspectives Workshop: Network Attack Detection and Defense, 2.3. - 6.3.2008. Dagstuhl Seminar Proceedings 08102, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- 2007
- [j8]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)
- [c45]
- 2006
- [c44]Sebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier: Simplifying Signature Engineering by Reuse. ETRICS 2006: 436-450
- 2005
- [c43]Fuwen Liu, Hartmut König: Puzzle - A Novel Video Encryption Algorithm. Communications and Multimedia Security 2005: 88-97
- [c42]Fuwen Liu, Hartmut König: Efficient Key Distribution for Closed Meetings in the Internet. Communications and Multimedia Security 2005: 271-272
- [c41]Fuwen Liu, Hartmut König: Secure and efficient key distribution for collaborative applications. CollaborateCom 2005
- [c40]Alek Opitz, Hartmut König: Optimizing the Access to Read-Only Data in Grid Computing. DAIS 2005: 206-219
- [c39]Michael Meier, Sebastian Schmerl, Hartmut König: Improving the Efficiency of Misuse Detection. DIMVA 2005: 188-205
- [c38]Hartmut König: Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen. GI Jahrestagung (2) 2005: 638-642
- [c37]Fuwen Liu, Hartmut König: A Token Based Key Distribution Protocol for Closed Group Meetings. Net-Con 2005: 29-43
- [c36]Daniel Rakel, Hartmut König: Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen. KiVS Kurzbeiträge und Workshop 2005: 159-162
- [c35]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
- [c34]Fuwen Liu, Hartmut König: A novel encryption algorithm for high resolution video. NOSSDAV 2005: 69-74
- [c33]
- 2004
- [j7]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)
- [c32]Eduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König: Verteilte Mehrteilnehmer-Videokonferenzen im Internet. DFN-Arbeitstagung über Kommunikationsnetze 2004: 167-180
- [c31]Mario Zühlke, Hartmut König: A Signaling Protocol for Small Closed Dynamic Multi-peer Groups. HSNMC 2004: 973-984
- 2003
- [c30]Thomas Holz, Michael Meier, Hartmut König: High-Efficient Intrusion Detection Infrastructure. DFN-Arbeitstagung über Kommunikationsnetze 2003: 217-232
- [c29]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
- [e6]Hartmut König, Monika Heiner, Adam Wolisz (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Lecture Notes in Computer Science 2767, Springer 2003, ISBN 3-540-20175-0
- 2002
- [j6]Thomas Holz, Michael Meier, Hartmut König: Bausteine für effiziente Intrusion-Detection-Systeme. Praxis der Informationsverarbeitung und Kommunikation 25(3): 144-157 (2002)
- [c28]Mario Zühlke, Hartmut König: Voting Based Bandwidth Management in Multiparty Video Conferences. IDMS/PROMS 2002: 202-215
- [c27]
- [c26]
- [e5]Ina Schieferdecker, Hartmut König, Adam Wolisz (Eds.): 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. IFIP Conference Proceedings 210, Kluwer 2002, ISBN 0-7923-7695-1
- 2001
- [j5]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)
- [c25]Sven Twarok, Peter Langendörfer, Hartmut König: Automated Derivation of ILP Implementations from SDL Specifications. FORTE 2001: 3-18
- 2000
- [j4]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)
- [j3]Samuel T. Chanson, Albert K. T. Hui, Hartmut König, Mario Zühlke: Das OCTOPUS-Videokonferenzsystem. Praxis der Informationsverarbeitung und Kommunikation 23(4) (2000)
- [c24]Peter Langendörfer, Thomas Krüger, Hartmut König: Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. FBT 2000: 143-152
- [c23]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
1990 – 1999
- 1999
- [c22]Peter Langendörfer, Hartmut König: Automatische Generierung effizienter Protokollimplementierungen. FBT 1999: 135-144
- [c21]Peter Langendörfer, Hartmut König: Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. FORTE 1999: 169-184
- [c20]Peter Langendörfer, Hartmut König: Automated Protocol Implementations Based on Activity Threads. ICNP 1999: 3-10
- [c19]Thomas Preuß, Jens-Hagen Syrbe, Hartmut König: Permanent Customer-Provider Relationships for Electric Service Markets. Kommunikation in Verteilten Systemen 1999: 326-337
- [c18]
- [c17]Peter Langendörfer, Hartmut König: COCOS - A configurable SDL compiler for generating efficient protocol implementations. SDL Forum 1999: 259-274
- [c16]Ines Beier, Hartmut König: Distributed QoS Management for A Multiparty Video Conferencing System. SMARTNET 1999: 335-348
- [e4]Lea Kutvonen, Hartmut König, Martti Tienari (Eds.): 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. IFIP Conference Proceedings 143, Kluwer 1999, ISBN 0-7923-8527-6
- 1998
- [c15]Ines Beier, Hartmut König: GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management. ICCCN 1998: 594-598
- [c14]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
- [e3]Hartmut König, Peter Langendörfer (Eds.): Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. Verlag Shaker 1998, ISBN 3-8265-3807-2
- 1997
- [c13]
- [c12]
- [c11]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
- [c10]Birk Richter, Michael Sobirey, Hartmut König: Host-orientiertes Netz-Audit. Kommunikation in Verteilten Systemen 1997: 48-61
- [c9]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
- [e2]Hartmut König, Kurt Geihs, Thomas Preuß (Eds.): Distributed Applications and Interoperable Systems, Proceedings IFIP TC 6.1 Working Conference DAIS'97, Cottbus, Germany, September 30 - October 2, 1997. Chapman & Hall 1997
- 1996
- [j2]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)
- [j1]Hartmut König, Heiko Krumm: Implementierung von Kommunikationsprotokollen. Informatik Spektrum 19(6): 316-325 (1996)
- [c8]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
- 1995
- [c7]Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich: SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE 1995: 313-328
- [c6]Ralf Plato, Thomas Held, Hartmut König: PARES - a portable parallel Estelle compiler. PSTV 1995: 403-418
- 1994
- [c5]Thomas Held, Hartmut König: Increasing the efficiency of computer-aided protocol implementations. PSTV 1994: 387-394
- 1993
- [c4]Hartmut König, Peter Neumann: Formale Beschreibungstechniken für Kommunikationsprotokolle: Problemem ihrer praktischen Anwendung. Kommunikation in Verteilten Systemen 1993: 545-559
- [c3]Alexandre Petrenko, Rachida Dssouli, Hartmut König: On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124
- [c2]Andreas Ulrich, Hartmut König: Test Derivation from LOTOS Using Structure Information. Protocol Test Systems 1993: 279-293
- [e1]Hartmut König (Ed.): Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992. K. G. Saur Verlag 1993, ISBN 3-598-22409-5
- 1992
- [c1]R. Födisch, Thomas Held, Hartmut König: A Protocol Development Environment Based on Estelle. INDC 1992: 121-141
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:26 CEST by the dblp team