World's Best Scientists 2026 revealed!
Gregor von Bochmann

Gregor von Bochmann

D-Index & Metrics

Computer Science

D-Index
48
Citations
9868
World Ranking
6157
National Ranking
241

Research.com Recognitions

  • 1997 - Fellow of the Royal Society of Canada Academy of Science
  • 1996 - ACM Fellow In a seminal 1977 paper, Professor Bochmann proposed a formal model for designing communication protocols. This was followed by many papers enlarging upon the concepts, so establishing the field of protocol engineering.

Overview

Gregor von Bochmann is affiliated with the University of Ottawa in Canada and has contributed to the field of computer science through various research endeavors.

Their research spans multiple subfields, including:

  • Information Systems
  • Artificial Intelligence
  • Signal Processing

Bochmann's primary areas of work cover several key topics:

  • Spam and Phishing Detection
  • Internet Traffic Analysis and Secure E-voting
  • User Authentication and Security Systems
  • Cybercrime and Law Enforcement Studies
  • Advanced Malware Detection Techniques

This body of work illustrates a focus on security, communication, and data integrity in digital environments.

Among recent publications, Bochmann has contributed to:

  • "Automatic Detection and Analysis of the "Game Hack" Scam" (2020), published in the Journal of Web Engineering

Frequent collaborators include:

  • Guy-Vincent Jourdan
  • Iosif-Viorel Onut
  • Qian Cui
  • Emad Badawi

The Journal of Web Engineering is noted as one of the main publication venues for this researcher.

Gregor von Bochmann has been recognized with distinctions such as:

  • Fellow of the Royal Society of Canada (1997), cited by the Academy of Science
  • ACM Fellow (1996), for contributions originating from a seminal 1977 paper proposing a formal model for designing communication protocols and subsequent work in protocol engineering

These honors highlight enduring contributions to the development of communication protocol theory and practice.

Best Publications

  • Test selection based on finite state models

    Susumu Fujiwara;Gregor V. Bochmann;Ferhat Khendek;Mokhtar Amalou

  • Finite state description of communication protocols

    Gregor V. Bochmann

  • Formal Methods in Communication Protocol Design

    G. Bochmann;C. Sunshine

  • Protocol testing: review of methods and relevance for software testing

    Gregor V. Bochmann;Alexandre Petrenko

  • Semantic evaluation from left to right

    Gregor V. Bochmann

  • A test design methodology for protocol testing

    Behçet Sarikaya;Gregor v. Bochmann;Eduard Cerny

  • On the Construction of Submodule Specifications and Communication Protocols

    Philip Merlin;Gregor V. Bochmann

  • Synchronization and specification issues in protocol testing

    Behçet Sarikaya;Gregor V. Bochmann

  • Testing deterministic implementations from nondeterministic FSM specifications

    A. Petrenko;N. Yevtushenko;G. v. Bochmann

  • Selecting test sequences for partially-specified nondeterministic finite state machines

    Alexandre Petrenko;Gregor v. Bochmann;Gang Luo

  • A Sampler of Formal Definitions

    Michael Marcotty;Henry Ledgard;Gregor V. Bochmann

  • A General Transition Model for Protocols and Communication Services

    G. Bochmann

  • Formal description techniques

    C.A. Vissers;R.L. Tenney;G.V. Bochmann

  • On fault coverage of tests for finite state specifications

    A. Petrenko;G. v. Bochmann;M. Yao

  • Fault Models in Testing

    Gregor von Bochmann;Anindya Das;Rachida Dssouli;Martin Dubuc

  • A Unified Method for the Specification and Verification of Protocols.

    Gregor von Bochmann;Jan Gecsei

  • Tracking Phishing Attacks Over Time

    Qian Cui;Guy-Vincent Jourdan;Gregor V. Bochmann;Russell Couturier

  • Usage of Protocol Development Tools: The Results of a Survey

    Gregor von Bochmann

  • Specifications of a simplified transport protocol using different formal description techniques

    Gregor V. Bochmann

  • Distributed multimedia applications and quality of service: a survey

    Andreas Vogel;Brigitte Kerhervé;Gregor v. Bochmann;Jan Gecsei

Frequent Co-Authors

Rachida Dssouli
Rachida Dssouli Concordia University
Alexandre Petrenko
Alexandre Petrenko Computer Research Institute of Montréal
Abdelhakim Hafid
Abdelhakim Hafid University of Montreal
Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog Carl von Ossietzky University of Oldenburg
Hussein T. Mouftah
Hussein T. Mouftah University of Ottawa
Raouf Boutaba
Raouf Boutaba University of Waterloo
Duane Szafron
Duane Szafron University of Alberta
Daniel Amyot
Daniel Amyot University of Ottawa
Paola Flocchini
Paola Flocchini University of Ottawa
Ettore Merlo
Ettore Merlo Polytechnique Montréal

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to a variety of exciting and lucrative career pathways. Many students are exploring flexible learning through online schools that allow working professionals and non-traditional students to earn degrees at their own pace.

For those interested in creative and technical fields, a video game design degree combines art, programming, and storytelling. Cybersecurity is another growing sector; completing an online cybersecurity degree program can help you gain the latest skills needed to protect digital assets and networks.

Beyond technology, some fields like construction are seeking tech-savvy graduates. Exploring construction management degree online cost can help you understand how digital tools and project management intersect in this sector.

These online degree options offer diverse pathways, each providing specialized knowledge and practical skills to help you succeed in today’s competitive job market.

Best Scientists Citing Gregor von Bochmann

Trending Scientists