| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Prabhu Shankar Kaliappan, Hartmut König |
On the Formalization of UML Activities for Component-Based Protocol Design Specifications.  |
SOFSEM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schmerl, Michael Vogel, Hartmut König |
Using model checking to identify errors in intrusion detection signatures. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuwen Liu, Hartmut König |
Cryptanalysis of a SIP Authentication Scheme. |
Communications and Multimedia Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Vogel, Sebastian Schmerl, Hartmut König |
Efficient Distributed Signature Analysis. |
AIMS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuwen Liu, Hartmut König |
A survey of video encryption algorithms. |
Computers & Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhu Shankar Kaliappan, Hartmut König, Sebastian Schmerl |
Model-Driven Protocol Design Based on Component Oriented Modeling. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | René Rietz, Sebastian Schmerl, Michael Vogel, Hartmut König |
Iterative präzisionsbewertende Signaturgenerierung. |
Sicherheit |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Schmerl, Michael Vogel, René Rietz, Hartmut König |
Explorative Visualization of Log Data to Support Forensic Analysis and Signature Development. |
SADFE |
2010 |
DBLP DOI BibTeX RDF |
Audit Data Analysis, Attack Signatures, Intrusion Detection, Computer Security, Data Visualization, Computer Forensic, Misuse Detection |
| 1 | Michael Vogel, Sebastian Schmerl, Hartmut König |
Analyseverlagerung in IDS-Overlaynetzen. |
Praxis der Informationsverarbeitung und Kommunikation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
Measurement requirements, Intrusion detection, Situation awareness, Network monitoring, Early warning systems |
| 1 | Fuwen Liu, Hartmut König |
Security Considerations on Pervasive Real-time Collaboration. |
MASS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schmerl, Michael Vogel, Hartmut König |
Identifying Modeling Errors in Signatures by Model Checking. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
Attack Signatures, Intrusion Detection, Computer Security, Signature Verification, Misuse Detection, Promela, Spin model checker |
| 1 | Alek Opitz, Hartmut König |
Predicting Free Computing Capacities on Individual Machines. |
GPC |
2009 |
DBLP DOI BibTeX RDF |
grid computing, measures, prediction, desktop grids |
| 1 | Alek Opitz, Hartmut König, Sebastian Szamlewska |
What Does Grid Computing Cost? |
J. Grid Comput. |
2008 |
DBLP DOI BibTeX RDF |
Economics of Grid computing, Grid computing, Cost estimation |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Network Attack Detection and Defense |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier, René Rietz |
Systematic Signature Engineering by Re-use of Snort Signatures. |
ACSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan |
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuwen Liu, Hartmut König |
Security Policy Management for Peer Group Meetings. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schmerl, René Rietz, Hartmut König |
Systematische Ableitung von Signaturen durch Wiederverwendung am Beispiel von Snort. |
Sicherheit |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hartmut König, Daniel Rakel, Fuwen Liu, Michael Kirsche |
P2P-Videokonferenzen für geschlossene Gruppen. |
Praxis der Informationsverarbeitung und Kommunikation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schmerl, Hartmut König |
Towards Systematic Signature Testing. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schmerl, Hartmut König, Ulrich Flegel, Michael Meier |
Simplifying Signature Engineering by Reuse. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
Attack Signatures, Intrusion Detection, Computer Security, Misuse Detection |
| 1 | Fuwen Liu, Hartmut König |
A Secure P2P Video Conference System for Enterprise Environments. |
NPC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuwen Liu, Hartmut König |
A novel encryption algorithm for high resolution video. |
NOSSDAV |
2005 |
DBLP DOI BibTeX RDF |
multimedia com-munication, real-time video encryption, video compression, data security |
| 1 | Alek Opitz, Hartmut König |
Optimizing the Access to Read-Only Data in Grid Computing. |
DAIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut König |
Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen. |
GI Jahrestagung |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fuwen Liu, Hartmut König |
Secure and efficient key distribution for collaborative applications. |
CollaborateCom |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Meier, Sebastian Schmerl, Hartmut König |
Improving the Efficiency of Misuse Detection. |
DIMVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuwen Liu, Hartmut König |
A Token Based Key Distribution Protocol for Closed Group Meetings. |
Net-Con |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Daniel Rakel, Hartmut König |
Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen. |
KiVS Kurzbeiträge und Workshop |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fuwen Liu, Hartmut König |
Efficient Key Distribution for Closed Meetings in the Internet. |
Communications and Multimedia Security |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuwen Liu, Hartmut König |
Puzzle - A Novel Video Encryption Algorithm. |
Communications and Multimedia Security |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Meier, Ulrich Flegel, Hartmut König |
Reactive Security - Intrusion Detection, Honeypots, and Vulnerability Assessment. |
Praxis der Informationsverarbeitung und Kommunikation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Zühlke, Hartmut König |
A Signaling Protocol for Small Closed Dynamic Multi-peer Groups. |
HSNMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König |
Verteilte Mehrteilnehmer-Videokonferenzen im Internet. |
DFN-Arbeitstagung über Kommunikationsnetze |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
FORTE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas Holz 0002, Michael Meier, Hartmut König |
High-Efficient Intrusion Detection Infrastructure. |
DFN-Arbeitstagung über Kommunikationsnetze |
2003 |
DBLP BibTeX RDF |
|
| 1 | Eduard Popovici, Mario Zühlke, Ralf Mahlo, Hartmut König |
BRAVIS - Ein Konzept für geschlossene Mehrteilnehmer-Videokonferenzen über IP. |
KiVS Kurzbeiträge |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas Holz 0002, Michael Meier, Hartmut König |
Bausteine für effiziente Intrusion-Detection-Systeme. |
Praxis der Informationsverarbeitung und Kommunikation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Zühlke, Hartmut König |
Voting Based Bandwidth Management in Multiparty Video Conferences. |
IDMS/PROMS |
2002 |
DBLP DOI BibTeX RDF |
multiparty conferences, closed groups, voting procedures, QoS, Video conferencing, bandwidth management |
| 1 | Alek Opitz, Torsten Mielke, Hartmut König |
Virtual Private Components. |
SMARTNET |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mario Zühlke, Hartmut König |
GCP. |
SMARTNET |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
TestCom |
2002 |
DBLP BibTeX RDF |
|
| 1 | Peter Langendörfer, Rolf Kraemer, Hartmut König |
Evaluation of Well-Known Protocol Implementation Techniques for Application in Wireless Networks. |
The Journal of Supercomputing |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Twarok, Peter Langendörfer, Hartmut König |
Automated Derivation of ILP Implementations from SDL Specifications. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Samuel T. Chanson, Albert K. T. Hui, Hartmut König, Mario Zühlke |
Das OCTOPUS-Videokonferenzsystem. |
Praxis der Informationsverarbeitung und Kommunikation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut König, Peter Langendörfer, Heiko Krumm |
Improving the efficiency of automated protocol implementations using a configurable FDT compiler. |
Computer Communications |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Langendörfer, Hartmut König |
Evaluation of Well-Known Protocol Implementation Techniques for Application in Mobile Networks. |
International Conference on Internet Computing |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Langendörfer, Thomas Krüger, Hartmut König |
Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. |
FBT |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Langendörfer, Hartmut König |
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ines Beier, Hartmut König |
Distributed QoS Management for A Multiparty Video Conferencing System. |
SMARTNET |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DAIS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Langendörfer, Hartmut König |
Automated Protocol Implementations Based on Activity Threads. (PDF / PS) |
ICNP |
1999 |
DBLP DOI BibTeX RDF |
Automated Protocol Implementation, Activity Threads, Code Generation Tools, SDL, Formal Description Techniques |
| 1 | Andreas Ulrich, Hartmut König |
Architectures for Testing Distributed Systems. |
IWTCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Langendörfer, Hartmut König |
Automatische Generierung effizienter Protokollimplementierungen. |
FBT |
1999 |
DBLP BibTeX RDF |
|
| 1 | Thomas Preuß, Jens-Hagen Syrbe, Hartmut König |
Permanent Customer-Provider Relationships for Electric Service Markets. |
Kommunikation in Verteilten Systemen |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Langendörfer, Hartmut König |
COCOS - A configurable SDL compiler for generating efficient protocol implementations. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ralf Henke, Andreas Mitschele-Thiel, Hartmut König |
Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ines Beier, Hartmut König |
GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management. |
ICCCN |
1998 |
DBLP DOI BibTeX RDF |
Multiparty Multimedia Conferencing, QoS, Multicasting, ATM, Group Communication, Floor Control |
| 1 | Hartmut König, Peter Langendörfer (eds.) |
Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998 |
FBT |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ralf Henke, Andreas Mitschele-Thiel, Hartmut König |
On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andreas Ulrich, Hartmut König |
Specification-based Testing of Concurrent Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DAIS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Thomas Preuß, Jens-Hagen Syrbe, Hartmut König |
Virtual Private Resources. (PDF / PS) |
EDOC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Birk Richter, Michael Sobirey, Hartmut König |
Host-orientiertes Netz-Audit. |
Kommunikation in Verteilten Systemen |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König |
Improving the efficiency of automated protocol implementation using Estelle. |
Computer Communications |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut König, Heiko Krumm |
Implementierung von Kommunikationsprotokollen. |
Informatik Spektrum |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Sobirey, Birk Richter, Hartmut König |
The Intrusion Detection System AID - Architecture, and Experiences in Automated Audit Analysis. |
Communications and Multimedia Security |
1996 |
DBLP BibTeX RDF |
|
| 1 | Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich |
SELEXPERT - A Knowledge-based Tool for Test Case Selection. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ralf Plato, Thomas Held, Hartmut König |
PARES - a portable parallel Estelle compiler. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Thomas Held, Hartmut König |
Increasing the efficiency of computer-aided protocol implementations. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andreas Ulrich, Hartmut König |
Test Derivation from LOTOS Using Structure Information. |
Protocol Test Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Petrenko, Rachida Dssouli, Hartmut König |
On Evaluation of Testability of Protocol Structures. |
Protocol Test Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Hartmut König (eds.) |
Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 |
FBT |
1993 |
DBLP BibTeX RDF |
|
| 1 | Hartmut König, Peter Neumann |
Formale Beschreibungstechniken für Kommunikationsprotokolle: Problemem ihrer praktischen Anwendung. |
Kommunikation in Verteilten Systemen |
1993 |
DBLP BibTeX RDF |
|
| 1 | R. Födisch, Thomas Held, Hartmut König |
A Protocol Development Environment Based on Estelle. |
INDC |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")