Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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