Hierarchical language definition. - Gregor v. Bochmann (SIGPLAN-SIGOPS Interface Meeting, 1973)

Multiple Exits from a Loop Without the GOTO. - Gregor von Bochmann (Commun. ACM, 1973)

Compiler generation for attribute grammars. - Gregor v. Bochmann (ACM SIGPLAN Notices, 1973)

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

Communication protocols and error recovery procedures. - Gregor von Bochmann (SIGCOMM/SIGOPS Workshop on Interprocess Communications, 1975)

Semantic Evaluation from Left to Right. - Gregor von Bochmann (Commun. ACM, 1976)

A Sampler of Formal Definitions. - Michael Marcotty; Henry F. Ledgard; Gregor von Bochmann (ACM Comput. Surv., 1976)

Comments on Monitor Definition and Implementation. - Gregor von Bochmann (Inf. Process. Lett., 1976)

A Unified Method for the Specification and Verification of Protocols. - Gregor von Bochmann; Jan Gecsei (IFIP Congress, 1977)

Operating system design with computer network communication protocols. - Wilfried G. Probst; Gregor v. Bochmann (SIGCOMM, 1977)

Notes on the X.25 procedures for virtual call establishment and clearing. - Gregor v. Bochmann (Comput. Commun. Rev., 1977)

Corrigendum: "A Sampler of Formal Definitions". - Michael Marcotty; Henry F. Ledgard; Gregor von Bochmann (ACM Comput. Surv., 1977)

Synchronization in Distributed System Modules. - Gregor von Bochmann (Berkeley Workshop, 1978)

Compiler Writing System for Attribute Grammars. - Gregor von Bochmann; P. Ward (Comput. J., 1978)

Finite State Description of Communication Protocols. - Gregor von Bochmann (Comput. Networks, 1978)

Compile Time Memory Allocation for Parallel Processes. - Gregor von Bochmann (IEEE Trans. Software Eng., 1978)

Architecture of Distributed Computer Systems - Gregor von Bochmann (Springer, 1979)

Message link protocol (MLP): functional specification. - Gregor v. Bochmann; Friedrich H. Vogt (Comput. Commun. Rev., 1979)

Distributed Synchronization and Regularity. - Gregor von Bochmann (Comput. Networks, 1979)

Semantic equivalence of covering attribute grammars. - Gregor von Bochmann (Int. J. Parallel Program., 1979)

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

Videotex Networks. - Alan J. S. Ball; Gregor von Bochmann; Jan Gecsei (Computer, 1980)

A General Transition Model for Protocols and Communication Services. - Gregor v. Bochmann (IEEE Trans. Commun., 1980)

Formal Methods in Communication Protocol Design. - Gregor v. Bochmann; Carl A. Sunshine (IEEE Trans. Commun., 1980)

Special Feature: Data Structuring Facilities for Interactive Videotex Systems. - Frank Wm. Tompa; Jan Gecsei; Gregor von Bochmann (Computer, 1981)

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

Some Experience with Test Sequence Generation for Protocols. - Behçet Sarikaya; Gregor von Bochmann (PSTV, 1982)

Hardware Specification with Temporal Logic: En Example. - Gregor von Bochmann (IEEE Trans. Computers, 1982)

Experience with Formal Specifications Using an Extended State Transition Model. - Gregor von Bochmann; Eduard Cerny; Michel Gagné; Claude Jard; Alain Léveillé; Clement Lacaille; Michel Maksud; K. S. Raghunathan; Behçet Sarikaya (IEEE Trans. Commun., 1982)

Concepts for distributed systems design. - Gregor von Bochmann (Springer, 1983)

Specification in Distributed Systems. - Gregor von Bochmann (Advanced Course: Local Area Networks, 1983)

Higher-level protocols are not necessary end-to-end. - Gregor v. Bochmann (SIGCOMM, 1983)

Relationship between performance parameters for transport and network services. - K. S. Raghunathan; J. A. Barchanski; Gregor von Bochmann (SIGCOMM, 1983)

Synchronization issues in protocol testing. - Behçet Sarikaya; Gregor von Bochmann (SIGCOMM, 1983)

An approach to testing specifications. - Claude Jard; Gregor von Bochmann (J. Syst. Softw., 1983)

Structured Specification of Communicating Systems. - Gregor von Bochmann; Michel Raynal (IEEE Trans. Computers, 1983)

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

Formal Description Techniques for OSI: an Example. - Gregor von Bochmann (INFOCOM, 1984)

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

Synchronization and Specification Issues in Protocol Testing. - Behçet Sarikaya; Gregor von Bochmann (IEEE Trans. Commun., 1984)

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

Error detection with multiple observers. - Rachida Dssouli; Gregor von Bochmann (PSTV, 1985)

Deriving protocol specifications from service specifications. - Gregor von Bochmann; Reinhard Gotzhein (SIGCOMM, 1986)

Usage of Protocol Development Tools: The Results of a Survey. - Gregor von Bochmann (PSTV, 1987)

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

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

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

Delay-Independent Design for Distributed Systems. - Gregor von Bochmann (IEEE Trans. Software Eng., 1988)

On the Distributed Implementation of LOTOS. - Gregor von Bochmann; Qiang Gao 004; Cheng Wu (FORTE, 1989)

Combining ASN1 Support with the LOTOS Language. - Gregor von Bochmann; Michel Deslauriers (PSTV, 1989)

New Results on Deriving Protocol Specifications from Service Specifications. - Ferhat Khendek; Gregor von Bochmann; Christian Kant (SIGCOMM, 1989)

Protocol Specification for OSI. - Gregor von Bochmann (Comput. Networks ISDN Syst., 1989)

Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques. - Gregor von Bochmann (Comput. Networks ISDN Syst., 1989)

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

Extension of the Karp and Miller Procedure to Lotos Specifications. - Michel Barbeau; Gregor von Bochmann (CAV, 1990)

ASN.1 and Estelle Implementation Support Tools. - Gregor von Bochmann; Daniel Ouimet; Gerald W. Neufeld (FORTE, 1990)

Distributed Observation and FIFO Queues. - Rachida Dssouli; Reine Fournier; Gregor von Bochmann (FORTE, 1990)

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

Method of analysing extended finite-state machine specifications. - Behçet Sarikaya; Vassilios N. Koukoulidis; Gregor von Bochmann (Comput. Commun., 1990)

Design Principles for Communication Gateways. - Gregor von Bochmann; Pierre Mondain-Monval (IEEE J. Sel. Areas Commun., 1990)

Deriving protocol converters for communications gateways. - Gregor von Bochmann (IEEE Trans. Commun., 1990)

Deriving Protocol Specifications from Service Specifications Including Parameters. - Reinhard Gotzhein; Gregor von Bochmann (ACM Trans. Comput. Syst., 1990)

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

Fairness in LOTOS. - Cheng Wu; Gregor von Bochmann (FORTE, 1991)

Object-Oriented Design for ODP. - Gregor von Bochmann; Stéphane Poirier; Pierre Mondain-Monval (Open Distributed Processing, 1991)

Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. - Nathalie Rico; Gregor von Bochmann (PSTV, 1991)

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

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

Testing Non-Deterministic State Machines with Fault Coverage. - Susumu Fujiwara; Gregor von Bochmann (Protocol Test Systems, 1991)

The Equivalence in the DCP Model. - Reine Fournier; Gregor von Bochmann (Theor. Comput. Sci., 1991)

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

A formalization of the CORDS Process Model using Mondel. - Ferhat Khendek; Gregor von Bochmann (CASCON, 1992)

Model-Checking for Real-Time Systems Specified in Lotos. - Nathalie Rico; Gregor von Bochmann; Omar Cherkaoui (CAV, 1992)

Test Result Analysis and Diagnostics for Finite State Machines. - Abderrazak Ghedamsi; Gregor von Bochmann (ICDCS, 1992)

A framework for dynamic evolution of object-oriented specifications. - Mohammed Erradi; Gregor von Bochmann; Rachida Dssouli (ICSM, 1992)

Control-flow based testing of Prolog programs. - Gang Luo; Gregor von Bochmann; Behçet Sarikaya; Michel Boyer (ISSRE, 1992)

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

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

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

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

Formal object-oriented methods in communication standards. - Elspeth Cusack; Gregor von Bochmann (OOPS Messenger, 1992)

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

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

Formal specifications design, evolution and reuse. - Ferhat Khendek; Gregor von Bochmann (CASCON, 1993)

Specification Languages for Communication Protocols. - Gregor von Bochmann (CHDL, 1993)

Incremental Construction Approach for Distributed System Specifications. - Ferhat Khendek; Gregor von Bochmann (FORTE, 1993)

Diagnosis of Single Transition Faults in Communicating Finite State Machines. - Abderrazak Ghedamsi; Gregor von Bochmann; Rachida Dssouli (ICDCS, 1993)

Modeling and Formal Specification of the Personal Communication Service. - D. Desbiens; Gregor von Bochmann; Anindya Das; Joumana Dargham (INFOCOM, 1993)

Multiple Fault Diagnostics for Finite State Machines. - Abderrazak Ghedamsi; Gregor von Bochmann; Rachida Dssouli (INFOCOM, 1993)

Conformance Testing of Protocol Machines without Reset. - Ming Yu Yao; Alexandre Petrenko; Gregor von Bochmann (PSTV, 1993)

Generating Tests for Control Portion of SDL Specifications. - Gang Luo; Anindya Das; Gregor von Bochmann (Protocol Test Systems, 1993)

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

Conformance Relations and Test Derivation. - Alexandre Petrenko; Gregor von Bochmann; Rachida Dssouli (Protocol Test Systems, 1993)

Testing for a Conformance Relation Based on Acceptance. - Ming Yu Yao; Gregor von Bochmann (TAPSOFT, 1993)

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

Quality of service verification experiments. - Abdelhakim Hafid; Jan de Meer; Axel Rennoch; Gregor von Bochmann; Rachida Dssouli (CASCON, 1994)

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

Configuration in the framework of open distributed processing. - Andreas Vogel 002; Gregor von Bochmann; Petre Dini; Andreas Polze (CDS, 1994)

Object-Oriented Modelling and Development of Distributed Systems. - Gregor von Bochmann (COODBSE, 1994)

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

Fault Coverage Analysis in Respect to an FSM Specification. - Ming Yu Yao; Alexandre Petrenko; Gregor von Bochmann (INFOCOM, 1994)

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

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

Specialization in Estelle. - Reinhard Gotzhein; Gregor von Bochmann (PSTV, 1994)

On specifying services and synthesizing protocols for real-time applications. - Ahmed Khoumsi; Gregor von Bochmann; Rachida Dssouli (PSTV, 1994)

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

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

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

Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment. - Petre Dini; Gregor von Bochmann (FIW, 1995)

An efficient method for protocol conversion. - Z. P. Tao; Gregor von Bochmann; Rachida Dssouli (ICCCN, 1995)

Validation of distributed algorithms and protocols. - Qiang Gao 004; Roland Groz; Gregor von Bochmann; Joumana Dargham; E. Houssain Htite (ICNP, 1995)

Protocol synthesis using basic Lotos and global variables. - Ahmed Khoumsi; Gregor von Bochmann (ICNP, 1995)

Verification and diagnosis of testing equivalence and reduction relation. - Zhongping Tao; Gregor von Bochmann; Rachida Dssouli (ICNP, 1995)

Modeling basic LOTOS by FSMs for conformance testing. - Q. M. Tan; Alexandre Petrenko; Gregor von Bochmann (PSTV, 1995)

An Automatic Trace Analysis Tool Generator for Estelle Specifications. - S. Alan Ezust; Gregor von Bochmann (SIGCOMM, 1995)

Object-Oriented Design for Distributed Systems: The OSI Directory Example. - Gregor von Bochmann; Stéphane Poirier; Pierre Mondain-Monval (Comput. Networks ISDN Syst., 1995)

Merging Behavior Specifications. - Ferhat Khendek; Gregor von Bochmann (Formal Methods Syst. Des., 1995)

Distributed Multimedia and QOS: A Survey. - Andreas Vogel 002; Brigitte Kerhervé; Gregor von Bochmann; Jan Gecsei (IEEE Multim., 1995)

Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language. - Issam A. Hamid; Mohammed Erradi; Gregor von Bochmann; Setsuo Ohsuga (IEICE Trans. Inf. Syst., 1995)

Fault Models for Testing in Context. - Alexandre Petrenko; Nina Yevtushenko 001; Gregor von Bochmann (FORTE, 1996)

A Framework for Conformance Testing of Systems Communicating through Rendezvous. - Q. M. Tan; Alexandre Petrenko; Gregor von Bochmann (FTCS, 1996)

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

Architectural design of adaptive distributed multimedia systems. - Gregor von Bochmann; Brigitte Kerhervé; Abdelhakim Hafid; Petre Dini; Anne Pons (MMSD, 1996)

Metadata Modeling for Quality of Service Management in Distributed Multimedia Systems. - Brigitte Kerhervé; Anne Pons; Gregor v. Bochmann; Abdelhakim Hafid (MD, 1996)

On Fault Coverage of Tests for Finite State Specifications. - Alexandre Petrenko; Gregor von Bochmann; Ming Yu Yao (Comput. Networks ISDN Syst., 1996)

Testing in context: framework and test derivation. - Alexandre Petrenko; Nina Yevtushenko 001; Gregor von Bochmann; Rachida Dssouli (Comput. Commun., 1996)

Deriving Protocol Specifications from Service Specifications Written in LOTOS. - Christian Kant; Teruo Higashino; Gregor von Bochmann (Distributed Comput., 1996)

Cooperative QoS Management for Multimedia Applications. - Stefan Fischer 001; Abdelhakim Hafid; Gregor von Bochmann; Hermann de Meer (ICMCS, 1997)

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

Automating the process of test derivation from SDL specifications. - Gregor von Bochmann; Alexandre Petrenko; O. Bellal; S. Maguiraga (SDL Forum, 1997)

Forte '95. - Gregor von Bochmann; Rachida Dssouli; Omar Rafiq (Comput. Networks ISDN Syst., 1997)

Some principles for quality of service management. - Gregor von Bochmann; Abdelhakim Hafid (Distributed Syst. Eng., 1997)

Enabling Technology for Distributed Multimedia Applications. - Johnny W. Wong; Kelly A. Lyons; David Evans 003; Rolf J. Velthuys; Gregor von Bochmann; Eric Dubois 002; Nicolas D. Georganas; Gerald W. Neufeld; M. Tamer Özsu; Jeff Brinskelle; Abdelhakim Hafid; Norman C. Hutchinson; et al. (IBM Syst. J., 1997)

A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. - Zhongping Tao; Gregor von Bochmann; Rachida Dssouli (Mob. Networks Appl., 1997)

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

Distributed Objects with Sense of Direction. - Gregor von Bochmann; Paola Flocchini; D. Ramazani (WDAS, 1998)

A Pattern System for Network Management Interfaces. - Rudolf K. Keller; Jean Tessier; Gregor von Bochmann (Commun. ACM, 1998)

A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. - Abdelhakim Hafid; Gregor von Bochmann; Rachida Dssouli (Comput. Networks, 1998)

Quality-of-Service Adaptation in Distributed Multimedia Applications. - Abdelhakim Hafid; Gregor von Bochmann (Multim. Syst., 1998)

QoS Aware Distributed Query Processing. - Haiwei Ye; Brigitte Kerhervé; Gregor von Bochmann (DEXA Workshop, 1999)

Object Composition: A Case Study. - D. Ramazani; Gregor von Bochmann (FMOODS, 1999)

Protocol Synthesis for Real-Time Applications. - Ahmed Khoumsi; Gregor von Bochmann; Rachida Dssouli (FORTE, 1999)

Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF. - Gregor von Bochmann; Zhen Yang (IDMS, 1999)

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

A Framework for Alarm Correlation and Fault Diagnostics. - Mahamat Guiagoussou; Raouf Boutaba; Gregor von Bochmann (Netw. Inf. Syst. J., 1999)

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

Diagnosing Multiple Faults in Communicating Finite State Machines. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (FORTE, 2001)

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

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

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

Data Distribution Strategies for Providing Database Scalability in E-commerce Applications. - Haiwei Ye; Brigitte Kerhervé; Gregor von Bochmann; Don Bourne (WECWIS, 2001)

Submodule Construction and Supervisory Control: A Generalization. - Gregor von Bochmann (CIAA, 2001)

Submodule Construction for Specifications with Input Assumptions and Output Guarantees. - Gregor von Bochmann (FORTE, 2002)

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

FSM-based Re-Testing Methods. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (TestCom, 2002)

Integrating Quality of Service into Database Systems. - Haiwei Ye; Brigitte Kerhervé; Gregor von Bochmann (DEXA, 2003)

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

Revisiting Join Site Selection in Distributed Database Systems. - Haiwei Ye; Brigitte Kerhervé; Gregor von Bochmann (Euro-Par, 2003)

Methods for Designing SIP Features in SDL with Fewer Feature Interactions. - Ken Y. Chan; Gregor von Bochmann (FIW, 2003)

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

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

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

An experimental prototype for scalable server selection. - Mohamed-Vall O. Mohamed-Salem; J. Chen; Gregor von Bochmann; Johnny W. Wong (IPCCC, 2003)

Agent Support for Context-Aware Services and Personal Mobility. - Khalil El-Khatib; Gregor von Bochmann (MATA, 2003)

Performance Evaluation of the Preemptive Bandwidth Allocation Protocol. - Nawel Chefaï; Gregor von Bochmann; Nicolas D. Georganas (MIPS, 2003)

Fault Diagnosis in Extended Finite State Machines. - Khaled El-Fakih; Svetlana Prokopenko; Nina Yevtushenko 001; Gregor von Bochmann (TestCom, 2003)

Modeling IETF Session Initiation Protocol and Its Services in SDL. - Ken Y. Chan; Gregor von Bochmann (SDL Forum, 2003)

Scalability of Web-based electronic commerce systems. - Gregor von Bochmann; Johnny W. Wong; David Evans 003; Terence C. Lau; Don Bourne; Brigitte Kerhervé; Mohamed-Vall M. Salem; Haiwei Ye (IEEE Commun. Mag., 2003)

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. - Hirozumi Yamaguchi; Khaled El-Fakih; Gregor von Bochmann; Teruo Higashino (Distributed Comput., 2003)

Comparison of Methods for Supervisory Control and Submodule Construction. - Gregor von Bochmann; Bassel Daou (ACSD, 2004)

A Bandwidth Allocation Scheme in Optical TDM. - Abdelilah Maach; Hassan Zeineddine; Gregor von Bochmann (HSNMC, 2004)

A Trust Model with Statistical Foundation. - Jianqiang Shi; Gregor von Bochmann; Carlisle M. Adams (Formal Aspects in Security and Trust, 2004)

Shared Protection for Time Slotted Optical Networks. - Abdelilah Maach; Gregor von Bochmann; Hussein T. Mouftah (NCA, 2004)

A QoS-Based Framework for Distributed Content Adaptation. - Khalil El-Khatib; Gregor von Bochmann; Abdulmotaleb El-Saddik (QSHINE, 2004)

QoS-based Distributed Query Processing. - Haiwei Ye; Brigitte Kerhervé; Gregor von Bochmann (Ingénierie des Systèmes d Inf., 2004)

High-level design for user and component interfaces. - Gregor von Bochmann (Knowl. Based Syst., 2004)

Congestion Control and Contention Elimination in Optical Burst Switching. - Abdelilah Maach; Gregor von Bochmann; Hussein T. Mouftah (Telecommun. Syst., 2004)

FSM-Based Incremental Conformance Testing Methods. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (IEEE Trans. Software Eng., 2004)

Personal and service mobility in ubiquitous computing environments. - Khalil El-Khatib; Zhen E. Zhang; N. Hadibi; Gregor von Bochmann (Wirel. Commun. Mob. Comput., 2004)

An optimal shared protection scheme for optical networks. - Abdelilah Maach; Gregor von Bochmann; Hussein T. Mouftah (AICCSA, 2005)

Hierarchical Inter-Domain Management for Networks with Condo-Switches. - Gregor von Bochmann (Communication Systems and Applications, 2005)

Submodule Construction for Extended State Machine Models. - Bassel Daou; Gregor von Bochmann (FORTE, 2005)

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

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

Customer-managed end-to-end lightpath provisioning. - Jing Wu 001; Michel Savoie; Scott Campbell; Hanxi Zhang; Gregor von Bochmann; Bill St. Arnaud (Int. J. Netw. Manag., 2005)

Generalizing the Submodule Construction Techniques for Extended State Machine Models. - Bassel Daou; Gregor von Bochmann (FORTE, 2006)

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

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

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

Protecting the privacy of user's QoS preferences for multimedia applications. - Khalil El-Khatib; Gregor von Bochmann (WMuNeP, 2006)

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

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

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

Petri net-based protocol synthesis with minimum communication costs. - Khaled El-Fakih; Hirozumi Yamaguchi; Gregor von Bochmann; Teruo Higashino (J. Frankl. Inst., 2006)

Progressive solutions to a parallel automata equation. - Khaled El-Fakih; Nina Yevtushenko 001; Sergey Buffalov; Gregor von Bochmann (Theor. Comput. Sci., 2006)

Realizability of Collaboration-based Service Specifications. - Humberto Nicolás Castejón Martínez; Rolv Bræk; Gregor von Bochmann (APSEC, 2007)

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

A QoS-based Service Composition for Content Adaptation. - Khalil El-Khatib; Gregor von Bochmann; Abdulmotaleb El-Saddik (ICDE Workshops, 2007)

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

Deriving protocol specifications from service specifications written as Predicate/Transition-nets. - Hirozumi Yamaguchi; Khaled El-Fakih; Gregor von Bochmann; Teruo Higashino (Comput. Networks, 2007)

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

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

Grade-of-service differentiated static resource allocation schemes in WDM networks. - James Yiming Zhang; Jing Wu 001; Gregor von Bochmann; Michel Savoie (Opt. Switch. Netw., 2008)

Using First-Order Logic to Reason about Submodule Construction. - Gregor von Bochmann (FMOODS/FORTE, 2009)

A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks. - Hassan Zeineddine; Gregor von Bochmann (ICC, 2009)

Differentiated Static Resource Allocation in WDM Networks. - James Yiming Zhang; Jing Wu 001; Gregor von Bochmann; Michel Savoie (ICC, 2009)

Resource Criticality Analysis of Static Resource Allocations in WDM Networks. - James Yiming Zhang; Jing Wu 001; Gregor von Bochmann; Michel Savoie (ICC, 2009)

A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems. - Ying Qiao; Gregor von Bochmann (ICPADS, 2009)

Deploying agile photonic networks over reconfigurable optical networks. - Sofia A. Paredes; Gregor von Bochmann; Trevor J. Hall (ISCC, 2009)

Towards a global online reputation. - Hui Li; Morad Benyoucef; Gregor von Bochmann (MEDES, 2009)

Testing k-Safe Petri Nets. - Gregor von Bochmann; Guy-Vincent Jourdan (TestCom/FATES, 2009)

On Testing 1-Safe Petri Nets. - Guy-Vincent Jourdan; Gregor von Bochmann (TASE, 2009)

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

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

A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem. - James Yiming Zhang; Jing Wu 001; Gregor von Bochmann; Michel Savoie (IEEE Commun. Lett., 2009)

Resource Criticality Analysis of Static Resource Allocations and Its Applications in WDM Network Planning. - James Yiming Zhang; Jing Wu 001; Gregor v. Bochmann; Michel Savoie (JOCN, 2009)

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

Some notes on the history of protocol engineering. - Gregor von Bochmann; Dave Rayner; Colin H. West (Comput. Networks, 2010)

Corrections to "Lightpath (Wavelength) Routing in Large WDM Networks" and "Dynamic Routing and Assignment of Wavelength Algorithms in Multifiber Wavelength Division Multiplexing Networks". - Shen Yu; Jing Wu 001; James Yiming Zhang; Gregor von Bochmann (IEEE J. Sel. Areas Commun., 2010)

CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT. - Shah Asaduzzaman; Ying Qiao; Gregor von Bochmann (Peer-to-Peer Netw. Appl., 2010)

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

Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services. - Ying Qiao; Gregor von Bochmann (AIMS, 2011)

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

Improved Usage Model for Web Application Reliability Testing. - Gregor von Bochmann; Guy-Vincent Jourdan; Bo Wan (ICTSS, 2011)

Transforming dynamic behavior specifications from activity diagrams to BPEL. - Nasser Mousa Faleh. Mustafa; Gregor von Bochmann (SOSE, 2011)

Performance modeling of distributed collaboration services. - Toqeer Israr; Gregor von Bochmann (ICPE, 2011)

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

Evaluating Reliability-Testing Usage Models. - Bo Wan; Gregor von Bochmann; Guy-Vincent Jourdan (COMPSAC, 2012)

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

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

Load balancing in peer-to-peer systems using a diffusive approach. - Ying Qiao; Gregor von Bochmann (Computing, 2012)

Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control. - Jing Wu 001; James Yiming Zhang; Gregor von Bochmann; Michel Savoie (J. Netw. Syst. Manag., 2012)

FSM-based testing from user defined faults adapted to incremental and mutation testing. - Khaled El-Fakih; Rita Dorofeeva; Nina Yevtushenko 001; Gregor von Bochmann (Program. Comput. Softw., 2012)

Dist-RIA Crawler: A Distributed Crawler for Rich Internet Applications. - Seyed M. Mirtaheri; Di Zou; Gregor von Bochmann; Guy-Vincent Jourdan; Iosif-Viorel Onut (3PGCIC, 2013)

A brief history of web crawlers. - Seyed M. Mirtaheri; Mustafa Emre Dinçtürk; Salman Hooshmand; Gregor von Bochmann; Guy-Vincent Jourdan; Iosif-Viorel Onut (CASCON, 2013)

Building Rich Internet Applications Models: Example of a Better Strategy. - Suryakant Choudhary; Mustafa Emre Dincturk; Seyed M. Mirtaheri; Guy-Vincent Jourdan; Gregor von Bochmann; Iosif-Viorel Onut (ICWE, 2013)

Distributed Query Processing in an Ad-hoc Semantic Web Data Sharing System. - Jing Zhou 004; Gregor von Bochmann; Zhongzhi Shi (IPDPS Workshops, 2013)

Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus. - Toqeer Israr; Gregor von Bochmann (NiM-ALP@MoDELS, 2013)

Stochastic Performance Analysis of Distributed Activities. - Toqeer Israr; Gregor von Bochmann (NiM-ALP@MoDELS, 2013)

Distributed B-Tree with Weak Consistency. - Gregor von Bochmann; Shah Asaduzzaman (NETYS, 2013)

A proof of wavelength conversion not improving Lagrangian bounds of the sliding scheduled RWA problem. - James Yiming Zhang; Jing Wu 001; Gregor von Bochmann (Comput. Commun., 2013)

Using logic to solve the submodule construction problem. - Gregor von Bochmann (Discret. Event Dyn. Syst., 2013)

On the realizability of collaborative services. - Humberto Nicolás Castejón Martínez; Gregor von Bochmann; Rolv Bræk (Softw. Syst. Model., 2013)

A Scalable P2P RIA Crawling System with Partial Knowledge. - Khaled Ben Hafaiedh; Gregor von Bochmann; Guy-Vincent Jourdan; Iosif-Viorel Onut (NETYS, 2014)

GDist-RIA Crawler: A Greedy Distributed Crawler for Rich Internet Applications. - Seyed M. Mirtaheri; Gregor von Bochmann; Guy-Vincent Jourdan; Iosif-Viorel Onut (NETYS, 2014)

Associativity between Weak and Strict Sequencing. - Gregor von Bochmann (SAM, 2014)

PDist-RIA Crawler: A Peer-to-Peer Distributed Crawler for Rich Internet Applications. - Seyed M. Mirtaheri; Gregor von Bochmann; Guy-Vincent Jourdan; Iosif-Viorel Onut (WISE (2), 2014)

Supporting Decentralized SPARQL Queries in an Ad-Hoc Semantic Web Data Sharing System. - Jing Zhou 004; Gregor von Bochmann; Zhongzhi Shi (Int. J. Netw. Comput., 2014)

Model-Based Rich Internet Applications Crawling: "Menu" and "Probability" Models. - Suryakant Choudhary; Mustafa Emre Dincturk; Seyed M. Mirtaheri; Gregor von Bochmann; Guy-Vincent Jourdan; Iosif-Viorel Onut (J. Web Eng., 2014)

A Model-Based Approach for Crawling Rich Internet Applications. - Mustafa Emre Dincturk; Guy-Vincent Jourdan; Gregor von Bochmann; Iosif-Viorel Onut (ACM Trans. Web, 2014)

Workshop on the application of security and testing to rich internet applications. - Guy-Vincent Jourdan; Gregor von Bochmann; Ettore Merlo; James Miller 001; Vio Onut; Lin Tan 001 (CASCON, 2015)

Synthesizing Controllers for Multi-lane Traffic Maneuvers. - Gregor von Bochmann; Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog (SETTA, 2015)

D-ForenRIA: a distributed tool to reconstruct user sessions for rich internet applications. - Salman Hooshmand; Muhammad Faheem 002; Gregor von Bochmann; Guy-Vincent Jourdan; Russell Couturier; Iosif-Viorel Onut (CASCON, 2016)

Reconstructing Interactions with Rich Internet Applications from HTTP Traces. - Sara Baghbanzadeh; Salman Hooshmand; Gregor von Bochmann; Guy-Vincent Jourdan; Seyed M. Mirtaheri; Muhammad Faheem 002; Iosif-Viorel Onut (IFIP Int. Conf. Digital Forensics, 2016)

Fault Tolerant P2P RIA Crawling. - Khaled Ben Hafaiedh; Gregor von Bochmann; Guy-Vincent Jourdan; Iosif-Viorel Onut (NETYS, 2016)

Conformance Testing with Respect to Partial-Order Specifications. - Gregor von Bochmann (ICTSS, 2016)

D-ForenRIA: Distributed Reconstruction of User-Interactions for Rich Internet Applications. - Salman Hooshmand; Akib Mahmud; Gregor von Bochmann; Muhammad Faheem 002; Guy-Vincent Jourdan; Russ Couturier; Iosif-Viorel Onut (WWW (Companion Volume), 2016)

Tracking Phishing Attacks Over Time. - Qian Cui; Guy-Vincent Jourdan; Gregor von Bochmann; Russell Couturier; Iosif-Viorel Onut (WWW, 2017)

Synthesizing and verifying controllers for multi-lane traffic maneuvers. - Gregor von Bochmann; Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog (Formal Aspects Comput., 2017)

Using URL shorteners to compare phishing and malware attacks. - Sophie Le Page; Guy-Vincent Jourdan; Gregor von Bochmann; Jason Flood; Iosif-Viorel Onut (eCrime, 2018)

Phishing Attacks Modifications and Evolutions. - Qian Cui; Guy-Vincent Jourdan; Gregor von Bochmann; Iosif-Viorel Onut; Jason Flood (ESORICS (1), 2018)

Using AP-TED to Detect Phishing Attack Variations. - Sophie Le Page; Gregor von Bochmann; Qian Cui; Jason Flood; Guy-Vincent Jourdan; Iosif-Viorel Onut (PST, 2018)

Realizability of Service Specifications. - Mohammad F. Al-hammouri; Gregor von Bochmann (SAM, 2018)

Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces. - Salman Hooshmand; Gregor von Bochmann; Guy-Vincent Jourdan; Russell Couturier; Iosif-Viorel Onut (J. Internet Serv. Appl., 2018)

The "Game Hack" Scam. - Emad Badawi; Guy-Vincent Jourdan; Gregor von Bochmann; Iosif-Viorel Onut; Jason Flood (ICWE, 2019)

Domain Classifier: Compromised Machines Versus Malicious Registrations. - Sophie Le Page; Guy-Vincent Jourdan; Gregor von Bochmann; Iosif-Viorel Onut; Jason Flood (ICWE, 2019)

Deriving Distributed Design Models from Global State Machines Requirements. - Mohammad F. Al-hammouri; Gregor von Bochmann (SAM, 2019)

Automatic Detection and Analysis of the "Game Hack" Scam. - Emad Badawi; Guy-Vincent Jourdan; Gregor von Bochmann; Iosif-Viorel Onut (J. Web Eng., 2019)

SemanticPhish: A Semantic-based Scanning System for Early Detection of Phishing Attacks. - Qian Cui; Guy-Vincent Jourdan; Gregor v. Bochmann; Iosif-Viorel Onut (eCrime, 2020)

An Automatic Detection and Analysis of the Bitcoin Generator Scam. - Emad Badawi; Guy-Vincent Jourdan; Gregor von Bochmann; Iosif-Viorel Onut (EuroS&P Workshops, 2020)

Proactive Detection of Phishing Kit Traffic. - Qian Cui; Guy-Vincent Jourdan; Gregor v. Bochmann; Iosif-Viorel Onut (ACNS (2), 2021)

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers. - Khaled El-Fakih; Gregor v. Bochmann (IEEE Trans. Software Eng., 2021)