Gregor v. Bochmann

Cited by

	All	Since 2018
Citations	11096	1010
h-index	50	14
i10-index	191	23

400

200

100

300

1984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023115 128 147 153 219 193 263 225 244 274 277 385 386 260 276 301 238 250 233 303 254 357 377 355 316 368 345 271 356 307 315 223 277 231 200 200 154 157 164 135

Public access

View all

8 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Rachida DssouliConcordia UniversityVerified email at concordia.ca
Alexandre PetrenkoCRIMVerified email at crim.ca
guy-vincent jourdanUniversity of OttawaVerified email at eecs.uottawa.ca
Trevor James HallProfessor, School of Electrical Engineering & Computer Science, University of OttawaVerified email at uottawa.ca
Shah AsaduzzamanMicrosoftVerified email at microsoft.com
Hirozumi YamaguchiOsaka UniversityVerified email at ist.osaka-u.ac.jp
Claude JardProfesseur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)Verified email at univ-nantes.fr
Suryakant choudharySoftware Development Engineer at MicrosoftVerified email at microsoft.com
Carlisle AdamsSchool of Electrical Engineering and Computer Science, University of OttawaVerified email at uottawa.ca
James Yiming ZhangAntGroupVerified email at tom.com
Stefan FischerProfessor for Computer Science, University of LuebeckVerified email at itm.uni-luebeck.de
Hussein T. MouftahProfessor of Electrical Engineering and Computer ScienceVerified email at site.uottawa.ca
Abdulmotaleb El SaddikUniversity of Ottawa, MBZUAIVerified email at uottawa.ca
Raouf BoutabaProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
Wanderley Lopes de SouzaProfessor Titular do Departamento de Computação da Universidade Federal de São CarlosVerified email at dc.ufscar.br
Stefan HaarINRIA and LSV, CNRS and ENS Paris Saclay, Université Paris-SaclayVerified email at inria.fr
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Martin HilscherCarl von Ossietzky University OldenburgVerified email at informatik.uni-oldenburg.de
Mark CoatesProfessor of Electrical Engineering, McGill UniversityVerified email at ece.mcgill.ca
C.A. VissersProfessor of Computer ScienceVerified email at kpnplanet.nl

Gregor v. Bochmann

University of Ottawa

Verified email at site.uottawa.ca - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Test selection based on finite state models FB Khendek, S Fujiwara, GV Bochmann, F Khendek, M Amalou, ... IEEE Transactions on software engineering 17 (591-603), 10.1109, 1991	937	1991
Finite state description of communication protocols GV Bochmann Computer Networks (1976) 2 (4-5), 361-372, 1978	529	1978
Formal methods in communication protocol design G Bochmann, C Sunshine IEEE transactions on Communications 28 (4), 624-631, 1980	399	1980
Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method G Luo, G von Bochmann, A Petrenko IEEE Transactions on software Engineering 20 (2), 149-162, 1994	355	1994
Protocol testing: review of methods and relevance for software testing GV Bochmann, A Petrenko Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994	343	1994
Semantic evaluation from left to right GV Bochmann Communications of the ACM 19 (2), 55-62, 1976	312	1976
A test design methodology for protocol testing B Sarikaya, G Bochmann, E Cerny IEEE Transactions on Software Engineering, 518-531, 1987	207	1987
Hardware specification with temporal logic: An example Bochmann IEEE Transactions on Computers 100 (3), 223-231, 1982	207	1982
On the construction of submodule specifications and communication protocols P Merlin, GV Bochmann ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (1), 1-25, 1983	205	1983
Synchronization and specification issues in protocol testing B Sarikaya, GV Bochmann IEEE Transactions on Communications 32 (4), 389-395, 1984	196	1984
Testing deterministic implementations from nondeterministic FSM specifications A Petrenko, N Yevtushenko, G v Bochmann Testing of Communicating Systems: IFIP TC6 9th International Workshop on …, 1996	155	1996
Selecting test sequences for partially-specified nondeterministic finite state machines G Luo, A Petrenko, G v Bochmann Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop …, 1995	155	1995
A sampler of formal definitions M Marcotty, H Ledgard, GV Bochmann ACM Computing Surveys (CSUR) 8 (2), 191-276, 1976	144	1976
A general transition model for protocols and communication services G Bochmann IEEE Transactions on Communications 28 (4), 643-650, 1980	141	1980
On fault coverage of tests for finite state specifications A Petrenko, G Bochmann, M Yao Computer Networks and ISDN Systems 29 (1), 81-106, 1996	127	1996
Fault models in testing G Bochmann, A Das, R Dssouli, M Dubuc, A Ghedamsi, G Luo Proceedings of the IFIP TC6/WG6. 1 fourth international workshop on protocol …, 1991	126	1991
Usage of protocol development tools: the results of a survey G Bochmann Proceedings of the IFIP WG6. 1 Seventh International Conference on Protocol …, 1987	109	1987
Deriving protocol specifications from service specifications G von Bochmann, R Gotzhein ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986	104	1986
Tracking phishing attacks over time Q Cui, GV Jourdan, GV Bochmann, R Couturier, IV Onut Proceedings of the 26th International Conference on World Wide Web, 667-676, 2017	103	2017
Protocol specification for OSI GV Bochmann Computer Networks and ISDN Systems 18 (3), 167-184, 1990	100	1990

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors