PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "König, Hartmut"

Author of the publication

copydeleteadd this publication to your clipboard
Using model checking to identify errors in intrusion detection signatures.

, , and . STTT, 13 (1): 89-106 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Walter König University of Stuttgart

Richard Königsdorfer University of Stuttgart

Sannah König University of Stuttgart

Simon König University of Stuttgart

Marvin König University of Stuttgart

 

Other publications of authors with the same name

An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development., and . SEW, page 27-35. IEEE Computer Society, (2011)Automatische Generierung effizienter Protokollimplementierungen., and . FBT, page 135-144. Herbert Utz Verlag, (1999)Enhancing group communication systems with mobility support., and . ICON, page 1-6. IEEE, (2013)Automated Derivation of ILP Implementations from SDL Specifications., , and . FORTE, volume 197 of IFIP Conference Proceedings, page 3-18. Kluwer, (2001)Specification-based Testing of Concurrent Systems., and . FORTE, volume 107 of IFIP Conference Proceedings, page 7-22. Chapman & Hall, (1997)PARES - a portable parallel Estelle compiler., , and . PSTV, volume 38 of IFIP Conference Proceedings, page 403-418. Chapman & Hall, (1995)Towards a seamless mobility solution for the real world: Handover decision., , and . ISWCS, page 651-655. IEEE, (2012)GCP - A Group Communication Protocol for Supporting Closed Groups in the Internet., and . SMARTNET, volume 212 of IFIP Conference Proceedings, Kluwer, (2002)Using model checking to identify errors in intrusion detection signatures., , and . STTT, 13 (1): 89-106 (2011)Bausteine für effiziente Intrusion-Detection-Systeme., , and . Praxis der Informationsverarbeitung und Kommunikation, 25 (3): 144-157 (2002)