Gregor V. Bochmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2021

Proactive Detection of Phishing Kit TrafficQian Cui, Guy-Vincent Jourdan, Gregor V. Bochmann, Iosif-Viorel Onut. acns 2021: 257-286 [doi]

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and ControllersKhaled El-Fakih, Gregor V. Bochmann. TSE, 47(1):1-16, 2021. [doi]

2020

SemanticPhish: A Semantic-based Scanning System for Early Detection of Phishing AttacksQian Cui, Guy-Vincent Jourdan, Gregor V. Bochmann, Iosif-Viorel Onut. ecrime 2020: 1-12 [doi]

2015

Synthesizing Controllers for Multi-lane Traffic ManeuversGregor V. Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog. setta 2015: 71-86 [doi]

2013

Distributed Query Processing in an Ad-hoc Semantic Web Data Sharing SystemJing Zhou, Gregor V. Bochmann, Zhongzhi Shi. ipps 2013: 687-695 [doi]

2009

Resource Criticality Analysis of Static Resource Allocations and Its Applications in WDM Network PlanningJames Yiming Zhang, Jing Wu 0001, Gregor V. Bochmann, Michel Savoie. jocnet, 1(4):294-306, 2009. [doi]

1996

Metadata Modeling for Quality of Service Management in Distributed Multimedia SystemsBrigitte Kerhervé, Anne Pons, Gregor V. Bochmann, Abdelhakim Hafid. md 1996: [doi]

1983

Higher-level protocols are not necessary end-to-endGregor V. Bochmann. sigcomm 1983: 10-11 [doi]

An approach to testing specificationsClaude Jard, Gregor V. Bochmann. SIGPLAN, 18(8):53-59, 1983. [doi]

1980

Formal Methods in Communication Protocol DesignGregor V. Bochmann, Carl A. Sunshine. tcom, 28(4):624-631, 1980. [doi]

A General Transition Model for Protocols and Communication ServicesGregor V. Bochmann. tcom, 28(4):643-650, 1980. [doi]

1979

Message link protocol (MLP): functional specificationGregor V. Bochmann, Friedrich H. Vogt. ccr, 9(2):7-39, 1979. [doi]

1977

Notes on the X.25 procedures for virtual call establishment and clearingGregor V. Bochmann. ccr, 7(4):53-59, 1977. [doi]

Operating system design with computer network communication protocolsWilfried G. Probst, Gregor V. Bochmann. sigcomm 1977: 4 [doi]

1973

Compiler generation for attribute grammarsGregor V. Bochmann. SIGPLAN, 8(6):7, 1973. [doi]

Hierarchical language definitionGregor V. Bochmann. sigplan 1973: 50-51 [doi]

Sign in or sign up to see more results.

runs on WebDSL