Gregor v. Bochmann

Cited by

	All	Since 2018
Citations	10808	908
h-index	49	14
i10-index	185	21

400

200

100

300

1984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023115 118 148 153 210 186 257 232 228 271 270 357 355 255 266 293 221 250 231 285 256 377 384 354 313 368 341 268 345 305 312 223 275 228 196 191 156 144 170 51

Public access

View all

8 articles

3 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 ZhangMDVerified 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
Wanderley Lopes de SouzaProfessor Titular do Departamento de Computação da Universidade Federal de São CarlosVerified email at dc.ufscar.br
Abdulmotaleb El SaddikUniversity of Ottawa, MBZUAIVerified email at uottawa.ca
Raouf BoutabaProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
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	922	1991
Finite state description of communication protocols GV Bochmann Computer Networks (1976) 2 (4-5), 361-372, 1978	528	1978
Formal methods in communication protocol design G Bochmann, C Sunshine IEEE transactions on Communications 28 (4), 624-631, 1980	396	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	347	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	335	1994
Semantic evaluation from left to right GV Bochmann Communications of the ACM 19 (2), 55-62, 1976	310	1976
A test design methodology for protocol testing B Sarikaya, G Bochmann, E Cerny IEEE Transactions on Software Engineering, 518-531, 1987	207	1987
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	199	1983
Synchronization and specification issues in protocol testing B Sarikaya, GV Bochmann IEEE Transactions on Communications 32 (4), 389-395, 1984	198	1984
Hardware specification with temporal logic: An example Bochmann IEEE Transactions on Computers 100 (3), 223-231, 1982	195	1982
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	151	1995
A sampler of formal definitions M Marcotty, H Ledgard, GV Bochmann ACM Computing Surveys (CSUR) 8 (2), 191-276, 1976	149	1976
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	148	1996
A general transition model for protocols and communication services G Bochmann IEEE Transactions on Communications 28 (4), 643-650, 1980	139	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	126	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	107	1987
Deriving protocol specifications from service specifications G von Bochmann, R Gotzhein ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986	102	1986
Towards Videotex Standards GV Bochmann, J Gecsei Viewdata & Videotext 81, 253-262, 1980	100	1980
Fault models for testing in context A Petrenko, N Yevtushenko, G Bochmann Formal Description Techniques IX: Theory, Application and Tools, 163-178, 1996	96	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