Gregor v. Bochmann

Publication Activity (10 Years)

Years Active: 1973-2021
Publications (10 Years): 3

Top Topics

Phishing Attacks

Top Venues

IEEE Trans. Software Eng.

Publications

Qian Cui, Guy-Vincent Jourdan, Gregor v. Bochmann, Iosif-Viorel Onut
Proactive Detection of Phishing Kit Traffic. ACNS (2) (2021)
Khaled El-Fakih, Gregor v. Bochmann
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers. IEEE Trans. Software Eng. 47 (1) (2021)
Qian Cui, Guy-Vincent Jourdan, Gregor v. Bochmann, Iosif-Viorel Onut
SemanticPhish: A Semantic-based Scanning System for Early Detection of Phishing Attacks. eCrime (2020)
James Yiming Zhang, Jing Wu, Gregor v. Bochmann, Michel Savoie
Resource Criticality Analysis of Static Resource Allocations and Its Applications in WDM Network Planning. JOCN 1 (4) (2009)
Brigitte Kerhervé, Anne Pons, Gregor v. Bochmann, Abdelhakim Hafid
Metadata Modeling for Quality of Service Management in Distributed Multimedia Systems. MD (1996)
Gregor v. Bochmann
Higher-level protocols are not necessary end-to-end. SIGCOMM (1983)
Gregor v. Bochmann, Carl A. Sunshine
Formal Methods in Communication Protocol Design. IEEE Trans. Commun. 28 (4) (1980)
Gregor v. Bochmann
A General Transition Model for Protocols and Communication Services. IEEE Trans. Commun. 28 (4) (1980)
Gregor v. Bochmann, Friedrich H. Vogt
Message link protocol (MLP): functional specification. Comput. Commun. Rev. 9 (2) (1979)
Wilfried G. Probst, Gregor v. Bochmann
Operating system design with computer network communication protocols. SIGCOMM (1977)
Gregor v. Bochmann
Notes on the X.25 procedures for virtual call establishment and clearing. Comput. Commun. Rev. 7 (4) (1977)
Gregor v. Bochmann
Hierarchical language definition. SIGPLAN-SIGOPS Interface Meeting (1973)
Gregor v. Bochmann
Compiler generation for attribute grammars. ACM SIGPLAN Notices 8 (6) (1973)