Gregor von Bochmann - Concepedia

Author

Gregor von Bochmann

Also Known As

Bochmann, Gregor V., Bochmann, Gregor v., Bochmann, Gregor von, G von Bochmann, G. Bochmann, G. V. Bochmann, G. Von Bochmann, G. v Bochmann, G. v. Bochmann, G. von Bochmann

373

Publications

6.9K

Citations

H-Index

153

Concepts

All Affiliations

Université de Montréal University of Ottawa IBM (United States)IBM (Canada)Université du Québec à Montréal

About

Gregor von Bochmann is an author at Université de Montréal specializing in engineering, formal verification, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	32	77	4.6K
2	Business	4	4	132
3	Management	4	4	129
4	Arts	2	2	35
5	Language Studies	2	2	210

Gregor von Bochmann

Publications

5.1K

Citations

H-Index

Page 1

	Year	Citations
Test selection based on finite state models Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, IEEE Transactions on Software Engineering EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	1991	563
Distributed multimedia and QOS: a survey Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, IEEE Multimedia EngineeringQos ParametersEdge ComputingCloud ComputingQuality-of-service	1995	301
Finite state description of communication protocols Gregor von Bochmann Computer Networks (1976) Population ProtocolEngineeringFormal MethodsComputer ScienceCommunication	1978	282
Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method Gang Luo, Gregor von Bochmann, Alexandre Petrenko IEEE Transactions on Software Engineering Nondeterministic Finite-state MachinesEngineeringVerificationTest Data GenerationGeneralized Wp-method	1994	264
Protocol testing Gregor von Bochmann, Alexandre Petrenko EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	1994	226
Formal Methods in Communication Protocol Design Gregor von Bochmann, Carl A. Sunshine IRE Transactions on Communications Systems EngineeringInformation SecurityVerificationSoftware EngineeringSoftware Analysis	1980	221
Semantic evaluation from left to right Gregor von Bochmann Communications of the ACM EngineeringSoftware EngineeringSemanticsSemantic WebSoftware Analysis	1976	191
On the Construction of Submodule Specifications and Communication Protocols Philip M. Merlin, Gregor von Bochmann ACM Transactions on Programming Languages and Systems	1983	150
Synchronization and Specification Issues in Protocol Testing B. Sarikaya, Gregor von Bochmann IEEE Transactions on Communications EngineeringVerificationProtocol ComplianceSoftware AnalysisFormal Verification	1984	146
Formal description techniques Chris A. Vissers, Richard L. Tenney, Gregor von Bochmann Proceedings of the IEEE EngineeringSoftware EngineeringSemanticsSoftware AnalysisFormal Verification	1983	139

Page 1