Gregor v. Bochmann

Cited by

	All	Since 2019
Citations	11218	923
h-index	49	13
i10-index	196	18

420

210

105

315

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024127 147 151 214 202 256 224 240 273 267 382 401 256 288 308 242 246 228 305 266 357 377 356 317 368 347 279 350 289 312 223 270 237 204 199 154 160 162 145 102

Public access

View all

8 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Rachida DssouliConcordia UniversityVerified email at concordia.ca
guy-vincent jourdanUniversity of OttawaVerified email at eecs.uottawa.ca
Alexandre PetrenkoCRIMVerified email at crim.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 SaddikMCRLab, University of OttawaVerified email at uottawa.ca
Hermann De MeerPassau UniversityVerified email at uni-passau.de
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 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

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	961	1991
Finite state description of communication protocols GV Bochmann Computer Networks (1976) 2 (4-5), 361-372, 1978	530	1978
Formal methods in communication protocol design G Bochmann, C Sunshine IEEE transactions on Communications 28 (4), 624-631, 1980	397	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	360	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	353	1994
Semantic evaluation from left to right GV Bochmann Communications of the ACM 19 (2), 55-62, 1976	317	1976
A test design methodology for protocol testing B Sarikaya, G Bochmann, E Cerny IEEE Transactions on Software Engineering, 518-531, 1987	212	1987
Hardware specification with temporal logic: An example Bochmann IEEE Transactions on Computers 100 (3), 223-231, 1982	209	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	195	1984
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	164	1995
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	158	1996
A sampler of formal definitions M Marcotty, H Ledgard, GV Bochmann ACM Computing Surveys (CSUR) 8 (2), 191-276, 1976	149	1976
A general transition model for protocols and communication services G Bochmann IEEE Transactions on Communications 28 (4), 643-650, 1980	146	1980
On fault coverage of tests for finite state specifications A Petrenko, GV Bochmann, M Yao Computer Networks and ISDN Systems 29 (1), 81-106, 1996	128	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	127	1991
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	119	2017
Usage of protocol development tools: the results of a survey G Bochmann Proceedings of the IFIP WG6. 1 Seventh International Conference on Protocol …, 1987	106	1987
Deriving protocol specifications from service specifications G von Bochmann, R Gotzhein ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986	103	1986
Fault models for testing in context A Petrenko, N Yevtushenko, G Bochmann Formal Description Techniques IX: Theory, Application and Tools, 163-178, 1996	101	1996

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