Gregor von Bochmann

James Yiming Zhang, Jing Wu, Gregor von Bochmann: A proof of wavelength conversion not improving Lagrangian bounds of the sliding scheduled RWA problem. Computer Communications 36(5): 600-606 (2013)

Gregor von Bochmann: Using logic to solve the submodule construction problem. Discrete Event Dynamic Systems 23(1): 27-59 (2013)

Ying Qiao, Gregor von Bochmann: Load balancing in peer-to-peer systems using a diffusive approach. Computing 94(8-10): 649-678 (2012)

Jing Wu, James Yiming Zhang, Gregor von Bochmann, Michel Savoie: Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control. J. Network Syst. Manage. 20(1): 6-33 (2012)

Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann: FSM-based testing from user defined faults adapted to incremental and mutation testing. Programming and Computer Software 38(4): 201-209 (2012)

Suryakant Choudhary, Mustafa Emre Dincturk, Seyed M. Mirtaheri, Ali Moosavi, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut: Crawling rich internet applications: the state of the art. CASCON 2012: 146-160

Bo Wan, Gregor von Bochmann, Guy-Vincent Jourdan: Evaluating Reliability-Testing Usage Models. COMPSAC 2012: 129-137

Suryakant Choudhary, Mustafa Emre Dincturk, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut, Paul Ionescu: Solving Some Modeling Challenges when Testing Rich Internet Applications for Security. ICST 2012: 850-857

Mustafa Emre Dincturk, Suryakant Choudhary, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut: A Statistical Approach for Efficient Crawling of Rich Internet Applications. ICWE 2012: 362-369

Ying Qiao, Gregor von Bochmann: Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services. AIMS 2011: 124-135

Kamara Benjamin, Gregor von Bochmann, Mustafa Emre Dincturk, Guy-Vincent Jourdan, Iosif-Viorel Onut: A Strategy for Efficient Crawling of Rich Internet Applications. ICWE 2011: 74-89

Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan: Improved Usage Model for Web Application Reliability Testing. ICTSS 2011: 15-31

Nasser Mousa Faleh. Mustafa, Gregor von Bochmann: Transforming dynamic behavior specifications from activity diagrams to BPEL. SOSE 2011: 305-311

Toqeer Israr, Gregor von Bochmann: Performance modeling of distributed collaboration services. ICPE 2011: 475-480

Gregor von Bochmann, Dave Rayner, Colin H. West: Some notes on the history of protocol engineering. Computer Networks 54(18): 3197-3209 (2010)

Shen Yu, Jing Wu, James Yiming Zhang, Gregor von Bochmann: Corrections to "Lightpath (Wavelength) Routing in Large WDM Networks" and "Dynamic Routing and Assignment of Wavelength Algorithms in Multifiber Wavelength Division Multiplexing Networks". IEEE Journal on Selected Areas in Communications 28(9): 1502-1503 (2010)

Shah Asaduzzaman, Ying Qiao, Gregor von Bochmann: CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT. Peer-to-Peer Networking and Applications 3(2): 100-114 (2010)

Ying Qiao, Gregor von Bochmann: Applying diffusive load balancing schemes in a clustered P2P system. Stud. Inform. Univ. 8(3): 99-128 (2010)

Kamara Benjamin, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut: Some Modeling Challenges When Testing Rich Internet Applications for Security. ICST Workshops 2010: 403-409

James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie: A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem. IEEE Communications Letters 13(5): 345-347 (2009)

Gregor von Bochmann: Using First-Order Logic to Reason about Submodule Construction. FMOODS/FORTE 2009: 213-218

Hassan Zeineddine, Gregor von Bochmann: A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks. ICC 2009: 1-6

James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie: Differentiated Static Resource Allocation in WDM Networks. ICC 2009: 1-5

James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie: Resource Criticality Analysis of Static Resource Allocations in WDM Networks. ICC 2009: 1-5

Ying Qiao, Gregor von Bochmann: A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems. ICPADS 2009: 842-847

Sofia A. Paredes, Gregor von Bochmann, Trevor J. Hall: Deploying agile photonic networks over reconfigurable optical networks. ISCC 2009: 182-187

Hui Li, Morad Benyoucef, Gregor von Bochmann: Towards a global online reputation. MEDES 2009: 377-382

Gregor von Bochmann, Guy-Vincent Jourdan: Testing k-Safe Petri Nets. TestCom/FATES 2009: 33-48

Guy-Vincent Jourdan, Gregor von Bochmann: On Testing 1-Safe Petri Nets. TASE 2009: 275-281

Shah Asaduzzaman, Gregor von Bochmann: GeoP2P: An adaptive peer-to-peer overlay for efficient search and update of spatial information. CoRR abs/0903.3759 (2009)

Shah Asaduzzaman, Gregor von Bochmann: Overlay Structure for Large Scale Content Sharing: Leveraging Geography as the Basis for Routing Locality. CoRR abs/0903.4113 (2009)

Shah Asaduzzaman, Ying Qiao, Gregor von Bochmann: CliqueStream: an efficient and fault-resilient live streaming network on a clustered peer-to-peer overlay. CoRR abs/0903.4365 (2009)

James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie: Grade-of-service differentiated static resource allocation schemes in WDM networks. Optical Switching and Networking 5(2-3): 107-122 (2008)

Shah Asaduzzaman, Ying Qiao, Gregor von Bochmann: CliqueStream: An Efficient and Fault-Resilient Live Streaming Network on a Clustered Peer-to-Peer Overlay. Peer-to-Peer Computing 2008: 269-278

Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino: Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Computer Networks 51(1): 258-284 (2007)

Humberto Nicolás Castejón, Rolv Bræk, Gregor von Bochmann: Realizability of Collaboration-based Service Specifications. APSEC 2007: 73-80

Peng He, Gregor von Bochmann: Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks. GLOBECOM 2007: 2325-2330

Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El-Saddik: A QoS-based Service Composition for Content Adaptation. ICDE Workshops 2007: 331-338

Hanxi Zhang, Michel Savoie, Scott Campbell, Sergi Figuerola, Gregor von Bochmann, Bill St. Arnaud: Service-Oriented Virtual Private Networks for Grid Applications. ICWS 2007: 944-951

Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann: Progressive solutions to a parallel automata equation. Theor. Comput. Sci. 362(1-3): 17-32 (2006)

Bassel Daou, Gregor von Bochmann: Generalizing the Submodule Construction Techniques for Extended State Machine Models. FORTE 2006: 191-195

Jun Zheng, Cheng Peng, Gregor von Bochmann: Blocking Model for All-Optical Overlaid-Star TDM Networks. GLOBECOM 2006

Cheng Peng, Gregor von Bochmann, Trevor J. Hall: Quick Birkhoff-von Neumann Decomposition Algorithm for Agile All-Photonic Network Cores. ICC 2006: 2593-2598

Cheng Peng, Sofia A. Paredes, Trevor J. Hall, Gregor von Bochmann: Constructing Service Matrices for Agile All-Optical Cores. ISCC 2006: 967-973

Khalil El-Khatib, Gregor von Bochmann: Protecting the privacy of user's QoS preferences for multimedia applications. WMuNeP 2006: 35-42

Cheng Peng, Peng He, Gregor von Bochmann, Trevor J. Hall: Delay Performance Analysis for an Agile All-Photonic Star Network. Networking 2006: 368-378

Peng He, Gregor von Bochmann: Routing of MPLS Flows over an Agile All-Photonic Star Network. Wireless and Optical Communications 2006: 138-144

Hassan Zeineddine, Peng He, Gregor von Bochmann: Optimization Analysis of Optical Time Slot Interchanges in All-Optical Network. Wireless and Optical Communications 2006: 207-212

Jing Wu, Michel Savoie, Scott Campbell, Hanxi Zhang, Gregor von Bochmann, Bill St. Arnaud: Customer-managed end-to-end lightpath provisioning. Int. Journal of Network Management 15(5): 349-362 (2005)

Abdelilah Maach, Gregor von Bochmann, H. T. Mouftah: An optimal shared protection scheme for optical networks. AICCSA 2005: 71

Gregor von Bochmann: Hierarchical Inter-Domain Management for Networks with Condo-Switches. Communication Systems and Applications 2005: 190-196

Bassel Daou, Gregor von Bochmann: Submodule Construction for Extended State Machine Models. FORTE 2005: 396-410

Hanxi Zhang, Michel Savoie, Jing Wu, Scott Campbell, Gregor von Bochmann, Bill St. Arnaud: Service-oriented Layer 1 Virtual Private Network for Grid Applications. GCA 2005: 106-111

Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot: Service Discovery and Component Reuse with Semantic Interfaces. SDL Forum 2005: 85-102

Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann: QoS-based Distributed Query Processing. Ingénierie des Systèmes d'Information 9(5-6): 205-234 (2004)

Gregor von Bochmann: High-level design for user and component interfaces. Knowl.-Based Syst. 17(5-6): 303-310 (2004)

Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah: Congestion Control and Contention Elimination in Optical Burst Switching. Telecommunication Systems 27(2-4): 115-131 (2004)

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004)

Khalil El-Khatib, Zhen E. Zhang, N. Hadibi, Gregor von Bochmann: Personal and service mobility in ubiquitous computing environments. Wireless Communications and Mobile Computing 4(6): 595-607 (2004)

Gregor von Bochmann, Bassel Daou: Comparison of Methods for Supervisory Control and Submodule Construction. ACSD 2004: 111-114

Abdelilah Maach, Hassan Zeineddine, Gregor von Bochmann: A Bandwidth Allocation Scheme in Optical TDM. HSNMC 2004: 801-812

Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams: A Trust Model with Statistical Foundation. Formal Aspects in Security and Trust 2004: 145-158

Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah: Shared Protection for Time Slotted Optical Networks. NCA 2004: 333-336

Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El-Saddik: A QoS-Based Framework for Distributed Content Adaptation. QSHINE 2004: 308-312

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino: Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Distributed Computing 16(1): 21-35 (2003)

Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann: Integrating Quality of Service into Database Systems. DEXA 2003: 803-812

Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann: Revisiting Join Site Selection in Distributed Database Systems. Euro-Par 2003: 342-347

Khalil El-Khatib, N. Hadibi, Gregor von Bochmann: Support for Personal and Service Mobility in Ubiquitous Computing Environments. Euro-Par 2003: 1046-1055

Ken Y. Chan, Gregor von Bochmann: Methods for Designing SIP Features in SDL with Fewer Feature Interactions. FIW 2003: 59-76

Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382

Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino: Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. FORTE 2003: 399-414

Mohamed-Vall O. Mohamed-Salem, Gregor von Bochmann, Johnny W. Wong: Scaling Server Selection Using a Multi-Broker Architecture. ICDCS Workshops 2003: 934-

Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann, Vincent Oria: Pushing Quality of Service Information and Requirements into Global Query Optimization. IDEAS 2003: 170-179

Khalil El-Khatib, Gregor von Bochmann: Agent Support for Context-Aware Services and Personal Mobility. MATA 2003: 89-98

Nawel Chefaï, Gregor von Bochmann, Nicolas D. Georganas: Performance Evaluation of the Preemptive Bandwidth Allocation Protocol. MIPS 2003: 182-194

Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann: Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210

Ken Y. Chan, Gregor von Bochmann: Modeling IETF Session Initiation Protocol and Its Services in SDL. SDL Forum 2003: 352-373

Gregor von Bochmann: Submodule Construction for Specifications with Input Assumptions and Output Guarantees. FORTE 2002: 17-33

Abdelilah Maach, Gregor von Bochmann: Segmented Burst Switching: Enhancement of Optical Burst Switching to Decrease Loss Rate and Support Quality of Service. ONDM 2002: 69-84

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-based Re-Testing Methods. TestCom 2002: 373-390

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100

Khalil El-Khatib, Gregor von Bochmann, Yu Zhong: Selecting the QoS Parameters for Multicast Applications Based on User Profile and Device Capability. IDMS 2001: 221-232

Gregor von Bochmann, Brigitte Kerhervé, Hanan Lutfiyya, Mohamed-Vall O. Mohamed-Salem, Haiwei Ye: Introducing QoS to Electronic Commerce Applications. ISEC 2001: 138-147

Nawel Chefaï, Nicolas D. Georganas, Gregor von Bochmann: Preemptive bandwidth allocation protocol for multicast, multi-streams environments. ACM Multimedia 2001: 528-530

Gregor von Bochmann: Submodule Construction and Supervisory Control: A Generalization. CIAA 2001: 27-39

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino: Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. ASE 2000: 305-308

Hasan Ural, Robert L. Probert, Gregor von Bochmann (Eds.): Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. IFIP Conference Proceedings 176, Kluwer 2000, isbn 0-7923-7921-7

Abdelhakim Hafid, Gregor von Bochmann: An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation. Multimedia Tools Appl. 9(2): 167-191 (1999)

Mahamat Guiagoussou, Raouf Boutaba, Gregor von Bochmann: A Framework for Alarm Correlation and Fault Diagnostics. Networking and Information Systems 2(4): 459-482 (1999)

Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann: QoS Aware Distributed Query Processing. DEXA Workshop 1999: 923-927

D. Ramazani, Gregor von Bochmann: Object Composition: A Case Study. FMOODS 1999

Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: Protocol Synthesis for Real-Time Applications. FORTE 1999: 417-433

Gregor von Bochmann, Zhen Yang: Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF. IDMS 1999: 133-145

Rachida Dssouli, Gregor von Bochmann, Yair Lahav (Eds.): SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings. Elsevier 1999

Rudolf K. Keller, Jean Tessier, Gregor von Bochmann: A Pattern System for Network Management Interfaces. Commun. ACM 41(9): 86-93 (1998)

Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli: A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. Computer Networks 30(8): 777-794 (1998)

Abdelhakim Hafid, Gregor von Bochmann: Quality-of-Service Adaptation in Distributed Multimedia Applications. Multimedia Syst. 6(5): 299-315 (1998)

Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei: Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). MMM 1998: 223-

Gregor von Bochmann, Paola Flocchini, D. Ramazani: Distributed Objects with Sense of Direction. WDAS 1998: 1-12

Gregor von Bochmann, Abdelhakim Hafid: Some principles for quality of service management. Distributed Systems Engineering 4(1): 16-27 (1997)

Johnny W. Wong, Kelly A. Lyons, David Evans, Rolf J. Velthuys, Gregor von Bochmann, Eric Dubois, Nicolas D. Georganas, Gerald W. Neufeld, M. Tamer Özsu, Jeff Brinskelle, Abdelhakim Hafid, Norman C. Hutchinson, Paul Iglinski, Brigitte Kerhervé, Louise Lamont, Dwight J. Makaroff, Duane Szafron: Enabling Technology for Distributed Multimedia Applications. IBM Systems Journal 36(4): 489-507 (1997)

Zhongping Tao, Gregor von Bochmann, Rachida Dssouli: A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. MONET 2(3): 259-269 (1997)

Stefan Fischer, Abdelhakim Hafid, Gregor von Bochmann, Hermann de Meer: Cooperative QoS Management for Multimedia Applications. ICMCS 1997: 303-310

Petre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krämer: Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. Integrated Network Management 1997: 553-564

Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga: Automating the process of test derivation from SDL specifications. SDL Forum 1997: 261-276

Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao: On Fault Coverage of Tests for Finite State Specifications. Computer Networks and ISDN Systems 29(1): 81-106 (1996)

Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli: Testing in context: framework and test derivation. Computer Communications 19(14): 1236-1249 (1996)

Christian Kant, Teruo Higashino, Gregor von Bochmann: Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing 10(1): 29-47 (1996)

Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann: Fault Models for Testing in Context. FORTE 1996: 163-178

Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS 1996: 230-238

Abdelhakim Hafid, Gregor von Bochmann, Brigitte Kerhervé: A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications. HPDC 1996: 330-339

Gregor von Bochmann, Rachida Dssouli, Omar Rafiq (Eds.): Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. IFIP Conference Proceedings 43, Chapman & Hall 1996, isbn 0-412-73270-X

Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval: Object-Oriented Design for Distributed Systems: The OSI Directory Example. Computer Networks and ISDN Systems 27(4): 571-590 (1995)

Ferhat Khendek, Gregor von Bochmann: Merging Behavior Specifications. Formal Methods in System Design 6(3): 259-293 (1995)

Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei: Distributed Multimedia and QOS: A Survey. IEEE MultiMedia 2(2): 10-19 (1995)

Issam A. Hamid, Mohammed Erradi, Gregor von Bochmann, Setsuo Ohsuga: Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language. IEICE Transactions 78-D(4): 363-382 (1995)

Petre Dini, Gregor von Bochmann: Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment. FIW 1995: 115-126

Z. P. Tao, Gregor von Bochmann, Rachida Dssouli: An efficient method for protocol conversion. ICCCN 1995: 40

Zhongping Tao, Gregor von Bochmann, Rachida Dssouli: Verification and diagnosis of testing equivalence and reduction relation. ICNP 1995: 14-21

Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite: Validation of distributed algorithms and protocols. ICNP 1995: 110-117

Ahmed Khoumsi, Gregor von Bochmann: Protocol synthesis using basic Lotos and global variables. ICNP 1995: 126-

Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: Modeling basic LOTOS by FSMs for conformance testing. PSTV 1995: 137-152

S. Alan Ezust, Gregor von Bochmann: An Automatic Trace Analysis Tool Generator for Estelle Specifications. SIGCOMM 1995: 175-184

Teruo Higashino, Gregor von Bochmann: Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. IEEE Trans. Software Eng. 20(1): 29-42 (1994)

Gang Luo, Anindya Das, Gregor von Bochmann: Software Testing Based on SDL Specifications with Save. IEEE Trans. Software Eng. 20(1): 72-87 (1994)

Gang Luo, Gregor von Bochmann, Alexandre Petrenko: Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. IEEE Trans. Software Eng. 20(2): 149-162 (1994)

Abdelhakim Hafid, Jan de Meer, Axel Rennoch, Gregor von Bochmann, Rachida Dssouli: Quality of service verification experiments. CASCON 1994: 23

Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei: Distributed multimedia applications and quality of service: a survey. CASCON 1994: 71

Andreas Vogel, Gregor von Bochmann, Petre Dini, Andreas Polze: Configuration in the framework of open distributed processing. CDS 1994: 106-111

Gregor von Bochmann: Object-Oriented Modelling and Development of Distributed Systems. COODBSE 1994: 90-113

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. FORTE 1994: 399-414

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM 1994: 768-775

Gregor von Bochmann, Alexandre Petrenko: Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA 1994: 109-124

Brigitte Kerhervé, Andreas Vogel, Gregor von Bochmann, Rachida Dssouli, Jan Gecsei, Abdelhakim Hafid: On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation. Protocols for High-Speed Networks 1994: 21-37

Reinhard Gotzhein, Gregor von Bochmann: Specialization in Estelle. PSTV 1994: 21-36

Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200

Mahamat Guiagoussou, Anindya Das, Gregor von Bochmann: An Overview of Fault Management in Telecommunication Networks. Advanced Information Processing Techniques for LAN and MAN Management 1993: 69-85

Michel Barbeau, Gregor von Bochmann: A Subset of Lotos with the Computational Power of Place/Transition-Nets. Application and Theory of Petri Nets 1993: 49-68

Ferhat Khendek, Gregor von Bochmann: Formal specifications design, evolution and reuse. CASCON 1993: 184-193

Gregor von Bochmann: Specification Languages for Communication Protocols. CHDL 1993: 379-396

Ferhat Khendek, Gregor von Bochmann: Incremental Construction Approach for Distributed System Specifications. FORTE 1993: 87-102

Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli: Diagnosis of Single Transition Faults in Communicating Finite State Machines. ICDCS 1993: 157-166

D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham: Modeling and Formal Specification of the Personal Communication Service. INFOCOM 1993: 756-765

Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli: Multiple Fault Diagnostics for Finite State Machines. INFOCOM 1993: 782-791

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Conformance Testing of Protocol Machines without Reset. PSTV 1993: 241-256

Gang Luo, Anindya Das, Gregor von Bochmann: Generating Tests for Control Portion of SDL Specifications. Protocol Test Systems 1993: 51-66

Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi: Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Protocol Test Systems 1993: 139-153

Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli: Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178

Ming Yu Yao, Gregor von Bochmann: Testing for a Conformance Relation Based on Acceptance. TAPSOFT 1993: 519-528

Cheng Wu, Gregor von Bochmann, Ming Yu Yao: Fairness of N-party Synchronization and Its Implementation in a Distributed Environment. WDAG 1993: 279-293

Gregor von Bochmann, David K. Probst (Eds.): Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Lecture Notes in Computer Science 663, Springer 1993, isbn 3-540-56496-9

S. V. Raghavan, Gregor von Bochmann, Guy Pujolle (Eds.): Computer Networks, Architecture and Applications, Proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture and Applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992. IFIP Transactions C-13, North-Holland 1993, isbn 0-444-89968-5

Gregor von Bochmann, Rachida Dssouli, Anindya Das (Eds.): Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992. IFIP Transactions C-11, North-Holland 1993, isbn 0-444-89980-4

Gang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu: Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions. Inf. Process. Lett. 44(6): 333-343 (1992)

Elspeth Cusack, Gregor von Bochmann: Formal object-oriented methods in communication standards. OOPS Messenger 3(2): 7-8 (1992)

Ferhat Khendek, Gregor von Bochmann: A formalization of the CORDS Process Model using Mondel. CASCON 1992: 351-360

Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui: Model-Checking for Real-Time Systems Specified in Lotos. CAV 1992: 288-301

Abderrazak Ghedamsi, Gregor von Bochmann: Test Result Analysis and Diagnostics for Finite State Machines. ICDCS 1992: 244-251

Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann: Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems 1992: 105-116

Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi: Test System for a Restricted Class of LOTOS Expressions with Data Parameters. Protocol Test Systems 1992: 205-216

Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval: Object-Oriented Design for Distributed Systems and OSI Standards. ULPAA 1992: 265-280

Reine Fournier, Gregor von Bochmann: The Equivalence in the DCP Model. Theor. Comput. Sci. 87(1): 97-114 (1991)

Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi: Test Selection Based on Finite State Models. IEEE Trans. Software Eng. 17(6): 591-603 (1991)

Michel Barbeau, Gregor von Bochmann: The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. CAV 1991: 103-113

Cheng Wu, Gregor von Bochmann: Fairness in LOTOS. FORTE 1991: 543-558

Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval: Object-Oriented Design for ODP. Open Distributed Processing 1991: 435-439

Nathalie Rico, Gregor von Bochmann: Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. PSTV 1991: 199-213

Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo: Fault Models in Testing. Protocol Test Systems 1991: 17-30

Martin Dubuc, Rachida Dssouli, Gregor von Bochmann: TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. Protocol Test Systems 1991: 195-206

Susumu Fujiwara, Gregor von Bochmann: Testing Non-Deterministic State Machines with Fault Coverage. Protocol Test Systems 1991: 267-280

Behçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann: Method of analysing extended finite-state machine specifications. Computer Communications 13(2): 83-92 (1990)

Gregor von Bochmann, Pierre Mondain-Monval: Design Principles for Communication Gateways. IEEE Journal on Selected Areas in Communications 8(1): 12-21 (1990)

Gregor von Bochmann: Deriving protocol converters for communications gateways. IEEE Transactions on Communications 38(9): 1298-1300 (1990)

Reinhard Gotzhein, Gregor von Bochmann: Deriving Protocol Specifications from Service Specifications Including Parameters. ACM Trans. Comput. Syst. 8(4): 255-283 (1990)

Michel Barbeau, Gregor von Bochmann: Extension of the Karp and Miller Procedure to Lotos Specifications. CAV 1990: 333-342

Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba: Translation from TTCN to LOTOS and the Validation of Test Cases. FORTE 1990: 141-155

Rachida Dssouli, Reine Fournier, Gregor von Bochmann: Distributed Observation and FIFO Queues. FORTE 1990: 303-310

Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld: ASN.1 and Estelle Implementation Support Tools. FORTE 1990: 531-534

Gregor von Bochmann: Protocol Specification for OSI. Computer Networks and ISDN Systems 18(3): 167-184 (1989)

Gregor von Bochmann: Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques. Computer Networks and ISDN Systems 18(5): 335-377 (1989)

Gregor von Bochmann, Rachida Dssouli, J. R. Zhao: Trace Analysis for Conformance and Arbitration Testing. IEEE Trans. Software Eng. 15(11): 1347-1356 (1989)

Gregor von Bochmann, Qiang Gao, Cheng Wu: On the Distributed Implementation of LOTOS. FORTE 1989: 133-146

Gregor von Bochmann, Michel Deslauriers: Combining ASN1 Support with the LOTOS Language. PSTV 1989: 175-186

Ferhat Khendek, Gregor von Bochmann, Christian Kant: New Results on Deriving Protocol Specifications from Service Specifications. SIGCOMM 1989: 136-145

Gregor von Bochmann: Delay-Independent Design for Distributed Systems. IEEE Trans. Software Eng. 14(8): 1229-1237 (1988)

Gregor von Bochmann, Jean-Pierre Verjus: Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols. IEEE Trans. Software Eng. 13(4): 501-505 (1987)

Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny: A Test Design Methodology for Protocol Testing. IEEE Trans. Software Eng. 13(5): 518-531 (1987)

Gregor von Bochmann, George Walter Gerber, Jean-Marc Serre: Semiautomatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 13(9): 989-1000 (1987)

Gregor von Bochmann: Usage of Protocol Development Tools: The Results of a Survey. PSTV 1987: 139-161

Gregor von Bochmann, Reinhard Gotzhein: Deriving protocol specifications from service specifications. SIGCOMM 1986: 148-156

Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural: Use of Prolog for building protocol design tools. PSTV 1985: 131-147

Rachida Dssouli, Gregor von Bochmann: Error detection with multiple observers. PSTV 1985: 483-494

Gregor von Bochmann: Formal Description Techniques for OSI: an Example. INFOCOM 1984: 312-317

Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre: Use of Formal Specifications for Protocol Design, Implementation and Testing. PSTV 1984: 137-144

Gregor von Bochmann: Concepts for distributed systems design. Springer 1983, isbn 978-0-387-12049-2, pp. I-XI, 1-259

Claude Jard, Gregor von Bochmann: An approach to testing specifications. Journal of Systems and Software 3(4): 315-323 (1983)

Gregor von Bochmann, Michel Raynal: Structured Specification of Communicating Systems. IEEE Trans. Computers 32(2): 120-133 (1983)

Philip M. Merlin, Gregor von Bochmann: On the Construction of Submodule Specifications and Communication Protocols. ACM Trans. Program. Lang. Syst. 5(1): 1-25 (1983)

Gregor von Bochmann: Specification in Distributed Systems. Advanced Course: Local Area Networks 1983: 470-497

Gregor von Bochmann: Hardware Specification with Temporal Logic: En Example. IEEE Trans. Computers 31(3): 223-231 (1982)

Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya: Some Experience with the Use of Formal Specifications. PSTV 1982: 171-185

Behçet Sarikaya, Gregor von Bochmann: Some Experience with Test Sequence Generation for Protocols. PSTV 1982: 555-567

Gregor von Bochmann: Architecture of Distributed Computer Systems. Lecture Notes in Computer Science 77, Springer 1979, isbn 3-540-09723-6

Gregor von Bochmann: Distributed Synchronization and Regularity. Computer Networks 3: 36-43 (1979)

Gregor von Bochmann: Semantic equivalence of covering attribute grammars. International Journal of Parallel Programming 8(6): 523-539 (1979)

Gregor von Bochmann, Joachim Tankoano: Development and Structure of an X.25 Implementation. IEEE Trans. Software Eng. 5(5): 429-439 (1979)

Gregor von Bochmann, P. Ward: Compiler Writing System for Attribute Grammars. Comput. J. 21(2): 144-148 (1978)

Gregor von Bochmann: Finite State Description of Communication Protocols. Computer Networks 2: 361-372 (1978)

Gregor von Bochmann: Compile Time Memory Allocation for Parallel Processes. IEEE Trans. Software Eng. 4(6): 517-520 (1978)

Gregor von Bochmann: Synchronization in Distributed System Modules. Berkeley Workshop 1978: 322-339

Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann: Corrigendum: ``A Sampler of Formal Definitions''. ACM Comput. Surv. 9(2): 168 (1977)

Gregor von Bochmann, Jan Gecsei: A Unified Method for the Specification and Verification of Protocols. IFIP Congress 1977: 229-234

Gregor von Bochmann: Semantic Evaluation from Left to Right. Commun. ACM 19(2): 55-62 (1976)

Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann: A Sampler of Formal Definitions. ACM Comput. Surv. 8(2): 191-276 (1976)

Gregor von Bochmann: Comments on Monitor Definition and Implementation. Inf. Process. Lett. 5(4): 116-117 (1976)

Gregor von Bochmann: Communication protocols and error recovery procedures. Operating Systems Review 9(3): 45-50 (1975)

Olivier Lecarme, Gregor von Bochmann: A (Truly) Usable and Portable Compiler Writing System. IFIP Congress 1974: 218-221

Gregor von Bochmann: Multiple Exits from a Loop Without the GOTO. Commun. ACM 16(7): 443-444 (1973)