Gregor v. Bochmann

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