Concepedia

G.V. Bochmann

GB

5

Publications

134

Citations

5

H-Index

2002

Active since

Affiliations

University of Ottawa(Current)

Université de Montréal

G.V. Bochmann is an author at University of Ottawa specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSoftware TestingFormal VerificationSystems EngineeringPhotonicsVerificationEdge ComputingFormal MethodsOptical Networks

Publications per year

2002–2005

5

Publications

5

FSM-based incremental conformance testing methods

K. EI-Fakih, Nina Yevtushenko, G.V. Bochmann · IEEE Transactions on Software Engineering · 2004 · 63 citations

Engineering, Verification, Test Data Generation +21

Multiple fault diagnosis for finite state machines

A. Ghedamsi, G.V. Bochmann, Rachida Dssouli · 2002 · 21 citations

Fault Diagnosis, Reliability Engineering, Engineering +13

Control-flow based testing of Prolog programs

Gang Luo, G.V. Bochmann, B. Sarikaya et al. · 2003 · 18 citations

Program Checking, Engineering, Verification +18

Retransmission schemes for optical burst switching over star networks

Anna Agustí-Torra, G.V. Bochmann, Cristina Cervelló-Pastor · 2005 · 17 citations

Cluster Computing, Engineering, Retransmission Scheme +16

Robust optical burst switching

Abdelilah Maach, G.V. Bochmann, Hussein T. Mouftah · 2004 · 15 citations

Photonics, Robust Optical Burst, Burst Loss +12

Rows per page

1–5 of 5